Lambda the Ultimate

type	title	author	last post
Forum topic	Abstraction Tiers of Notations Labeled bigraphs, SUO-KIF, do they qualify ? by Damien Guichard	const	2021-03-30 16:43
Forum topic	Print release of a textbook on the Coq proof assistant Dependently typed Red-Black trees by Damien Guichard	Adam Chlipala	2014-01-15 13:50
Forum topic	Pointer-Free Parallel Programming Show us the parallel-toolbox please by Damien Guichard	sttaft	2013-01-11 15:58
Story	π: a pattern language How does it relate to pattern calculus ? by Damien Guichard	Allan McInnes	2009-11-03 21:49
Forum topic	Eastwest: a new programming language and structure editor Fanstatic demo by Damien Guichard Downloaded and tested by Damien Guichard Eastwest is more than just smart edition by Damien Guichard Keyboard support by Damien Guichard Deriv example by Damien Guichard A quite refreshing programming environment by Damien Guichard	Jacques Le Normand	2009-09-18 23:37

---

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