@joeerl @FrancescoC Has there been any research into static, strong, structural typing for Erlang?
-
-
Replying to @viktorklang
@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 …1 reply 0 retweets 0 likes -
Replying to @FrancescoC
@FrancescoC Thanks! Now I need to track @PhilipWadler down and appeal to pick his brain on that topic :) /cc@simonmar2 replies 0 retweets 0 likes
Replying to @viktorklang
@viktorklang See section 4.17 http://webcem01.cem.itesm.mx:8005/erlang/cd/downloads/hopl_erlang.pdf … Other work not worth mentioning.
0 replies
1 retweet
1 like
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.