@joeerl @FrancescoC Has there been any research into static, strong, structural typing for Erlang?
@viktorklang @joeerl The work of @PhilipWadler and @simonmar is the closest I can think of http://homepages.inf.ed.ac.uk/wadler/papers/erlang/erlang.pdf …
-
-
@FrancescoC Thanks! Now I need to track @PhilipWadler down and appeal to pick his brain on that topic :) /cc@simonmar -
@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.