Lambda the Ultimate

type	title	author	last post
Forum topic	HM-style type inference with non-unique selectors? nominal vs. structural by rlaemmel OOHaskell vs. TREX and structural vs. nominal type equivalence by rlaemmel HM + multi-parameter classes with fundeps by rlaemmel	ihamsa	2005-01-18 18:04

---

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