Hacker News
- Practical Type Inference Based on Success Typings (2006) [pdf] http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf 3 comments
Lambda the Ultimate
- Bit Stream Programing in Erlang http://www.it.uu.se/research/group/hipe/papers/padl07.pdf 3 comments Functional
- Practical Type Inference Based on Success Typings http://www.it.uu.se/research/group/hipe/dialyzer/ 7 comments Type Theory
- The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs http://www.it.uu.se/research/group/hipe/dialyzer/ 0 comments Software Engineering