@joeerl @FrancescoC Has there been any research into static, strong, structural typing for Erlang?
@viktorklang The work of Kostis Sagonas at Uppsala U, with Dialyzer and Typer is the defacto winner resulting in tools and a type notation.
-
-
@FrancescoC Is Kostis still in Uppsala? (Since I live there it'd be a good opportunity to meet and talk) -
@viktorklang Splitting his time with Institute of Communications and Computer Systems in Athens. Seeing him tonight, will mention it. -
@FrancescoC Excellent, thank you!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.