Lambda the Ultimate

type	title	author	last post
Forum topic	Common Lisp Exception Handling Can Erlang be this convenient, too? by Thomas Schilling	SamK	2008-10-20 00:55
Forum topic	GADT vs. Type Classes GADTs are closed? by Thomas Schilling	Greg Buchholz	2008-01-28 17:38
Forum topic	Lectures on the Curry-Howard Isomorphism Link dead? by Thomas Schilling	Ehud Lamm	2007-08-28 17:18
Story	VamOz: Visual Abstract Machine for Oz Screenshots? by Thomas Schilling	Andris Birkmanis	2007-08-25 17:45
Forum topic	Type Theories Formalizing by Thomas Schilling	sciomako	2007-08-17 06:56
Story	Theorem proving support in programming language semantics Very neat indeed! by Thomas Schilling	Charles Stewart	2007-08-03 22:27
Forum topic	Parser that allow syntax extensions D-Expressions by Thomas Schilling	serras	2007-04-04 14:39
Forum topic	What Makes Erlang Processes Tick? I know no Erlang internals, but ... by Thomas Schilling	mjstahl	2007-01-29 19:09
Forum topic	Practical Laziness Some Keywords by Thomas Schilling	jimdesu	2006-12-04 23:47
Story	Testing Telecoms Software with Quviq QuickCheck Maybe this is of interest by Thomas Schilling	Luke Gorrie	2006-11-18 01:08
Story	Practical OCaml Details? by Thomas Schilling	Matt Hellige	2006-11-14 13:41
Story	A rationale for semantically enhanced library languages Template Haskell by Thomas Schilling Which Meta-programming? by Thomas Schilling	Ehud Lamm	2006-11-06 07:50
Forum topic	Delevoping a new language... Textual description? by Thomas Schilling Ah ... by Thomas Schilling	D.G.Gaev	2006-10-27 07:42
Forum topic	The US Torture Bill as C code Hm, if I were a pacifist (or by Thomas Schilling	Ehud Lamm	2006-10-15 11:09
Forum topic	Designing a Programming Textbook OO: Java?! by Thomas Schilling	cdiggins	2006-10-02 19:26
Forum topic	emulation for Erlang style processes That's not quite new ... by Thomas Schilling	rys	2006-06-11 03:01
next page last page

---

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