Lambda the Ultimate

type	title	author	last post
Forum topic	Erasure and Polymorphism in Pure Type Systems Very promising by Artyom Shalkhakov	gasche	2010-10-29 11:36
Forum topic	Reading advice on memory management Linear logic? by Artyom Shalkhakov	giuseppemag	2010-08-25 14:13
Forum topic	Logic programming based GUI framework Temporal and linear LP for GUIs by Artyom Shalkhakov	Tegiri Nenashi	2010-07-30 22:01
Forum topic	The Rust Language Nobody asked this, so I'll by Artyom Shalkhakov	Noel	2010-07-27 23:17
Forum topic	Embedded Domain-Specific Editors Tangible Functional Programming by Artyom Shalkhakov	Caleb Reach	2010-02-26 21:13

---

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