Lambda the Ultimate

type	title	author	last post
Forum topic	Google's Dart announced Is proper variance compatible with objects/classes? by Dan Doel	vieiro	2012-12-30 17:29
Forum topic	Erasure and Polymorphism in Pure Type Systems ICC by Dan Doel Two types of erasure by Dan Doel	gasche	2010-10-29 11:36
Story	Objects to Unify Type Classes and GADTs Dependent records --> Haskell Type Classes by Dan Doel	naasking	2010-03-26 20:36
Story	A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions What's the use? by Dan Doel	cdiggins	2009-10-23 11:46

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation