Lambda the Ultimate

type	title	author	last post
Forum topic	How do Java generics correspond to System F-(omega)? Covariant, contraviant, blah by Paul Cantrell No, no, no, no, no. by Paul Cantrell Weird restrictions are due to arrays by Paul Cantrell	Chung-chieh Shan	2006-07-12 22:39

---

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