Share - Bookmark
-
- Download from
-
-
1. Armstrong. Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, 2007.
2. Dahl, Dijkstra, Hoare. Structured Programming. Academic Press, London, 1972.
3. De Bruijn, Govert. A survey of the project AUTOMATH. In Hindley and Seldin (editors), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, 1980.
4. Jones, Wadler. Imperative Functional Programming. ACM Symposium on Principles of Programming Languages, 1993, pp 71-74.
5. Milner; Tofte, Harper, MacQueen. The Definition of Standard ML. MIT Press, 1997.
6. Odersky, Spoon, Venners. Programming in Scala. Artima Press, 2008.
7. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, Programming Concepts and Methods. North Holland, Amsterdam, 1990.
8. Babel-17. http://www.babel-17.com
9. Mini Babel-17. http://www.babel-17.com/Mini-Babel-17
10. Isabelle. http://isabelle.in.tum.de