Lambda the Ultimate

type	title	author	last post
Forum topic	Does anyone know of work done on co-data-types? Maybe I will have one - sort of by Enrique Vetere	David Minor	2009-01-30 22:27
Story	Top N Papers 2005 Why Dependent Types Matter by Enrique Vetere	Matt Hellige	2006-01-03 20:33

---

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