Lambda the Ultimate

type	title	author	last post
Forum topic	hot topics in type theorem I would list the following by Martin Berger	Zsolt Szalai	2010-04-16 17:36
Story	Pattern Calculus Nested Pattern by Martin Berger	Jacques Carette	2009-12-17 02:14
Story	John Hughes on Erlang and Haskell Basis of Comparison by Martin Berger	James Iry	2009-12-02 10:16
Story	Branching Time vs. Linear Time: Semantical Perspective Re: Buy Lynch? by Martin Berger Re: The meaning of equivalence by Martin Berger Which Traces Though? by Martin Berger	Allan McInnes	2009-10-02 06:02
Story	Types are Calling Conventions Structure of Interaction by Martin Berger	James Iry	2009-05-20 01:01
Story	Parameterized Notions of Computation How about discussing ... by Martin Berger	neelk	2009-02-17 19:38

---

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