Lambda the Ultimate

type	title	author	last post
Story	Theorem proving support in programming language semantics Very neat indeed! by Thomas Schilling	Charles Stewart	2007-08-03 22:27
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 McCusker	2006-06-11 03:01
first page previous page

---

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