http://existentialtype.wordpress.com/2011/03/15/getting-started/ Abstract types are existential types. Tue, 29 Jan 2013 15:10:50 +0000 hourly 1 http://wordpress.com/ http://existentialtype.wordpress.com/2011/03/15/getting-started/#comment-141 Thu, 24 Mar 2011 23:30:27 +0000 http://existentialtype.wordpress.com/?p=7#comment-141 He’s Robert Harper, professor at CMU.

]]> http://existentialtype.wordpress.com/2011/03/15/getting-started/#comment-138 Thu, 24 Mar 2011 11:37:53 +0000 http://existentialtype.wordpress.com/?p=7#comment-138 Excellent to see you, Bob. You’re predictably stirring up quite a fuss among some of my Facebook friends.
I’ve now spent more than ten years on the dark side – Lisp and Python – because it was basically impossible to get anything done in SML due to lack of library support and low levels of SML understanding out there in the real world. But I often yearn for a real type system.
[I might appear here as 'climatecode' but I'm Nick Barnes]

]]> http://existentialtype.wordpress.com/2011/03/15/getting-started/#comment-12 Fri, 18 Mar 2011 18:46:16 +0000 http://existentialtype.wordpress.com/?p=7#comment-12 But… who are you? Someone pointed me to a post on this blog, but no where on this blog does it say who you are! Please consider adding an “About me” page.

]]>