Lambda the Ultimate

type	title	author	last post
Forum topic	Proof system for learning basic algebra Re: Nice feature of the interface by Edwin Zacharias	Edwin Zacharias	2018-05-25 20:27
Forum topic	New simple proof system Re: A deep inference Hilbert proof system by Edwin Zacharias	Edwin Zacharias	2017-08-13 22:29
Forum topic	Transparent Persistence Erlang by Edwin Zacharias	playergiro	2006-12-20 17:31
Forum topic	Why type systems are interesting - part II Type Systems for Language Designers by Edwin Zacharias	Ehud Lamm	2006-12-08 01:38
Forum topic	Ralph Griswold died Snobol by Edwin Zacharias	Boyko Bantchev	2006-10-22 23:39
Story	Deconstructing Process Isolation What is the advantage over hardware? by Edwin Zacharias	Ehud Lamm	2006-04-26 22:36
Forum topic	Avoiding worst case GC with large amounts of data? You are in good company. by Edwin Zacharias	James Hague	2005-02-04 17:45
Forum topic	Advanced Topics in Types and Programming Languages Chapter 7 Online by Edwin Zacharias	Josef Svenningsson	2005-01-25 02:44

---

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