Lambda the Ultimate

type	title	author	last post
Forum topic	Designing a languge — what theory is a must? Some things seem tricky to translate by Steven StewartGallus	pgregory	2012-09-28 19:01
Forum topic	What work in FRP models programs which can change the type of output and input they have?	Steven StewartGallus	2012-03-12 15:14
Forum topic	What is this type of type called? That example was a simplification by Steven StewartGallus	Steven StewartGallus	2011-12-17 03:35
Forum topic	Proofs of a type system's safety? Doh! So it's universal quantification, not existential. by Steven StewartGallus I'm not sure this is what I'm looking for by Steven StewartGallus	Steven StewartGallus	2011-12-07 13:24

---

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