Lambda the Ultimate

type	title	author	last post
Story	Type Classes as Objects and Implicits Optimize by augustss	Paul Snively	2010-08-26 06:09
Forum topic	Haskell Type Constraints Unleashed Previous work by augustss	Greg Buchholz	2009-11-11 14:40
Story	Djinn, a theorem prover in Haskell, for Haskell. It looks deep. I doubt it co by augustss Well by augustss Not quite by augustss Missing libraries by augustss Waving hands by augustss	shapr	2006-01-24 18:58

---

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