Philip Wadler Faith, evolution, and programming languages: from Haskell to Java to links. 508 2006 conf/oopsla/2006c OOPSLA Companion http://doi.acm.org/10.1145/1176617.1176623 db/conf/oopsla/oopsla2006c.html#Wadler06