Lambda the Ultimate

type	title	author	last post
Forum topic	Today's Status of Functional Programming Languages for Verification Tools ? Done, I tried to remove unusu by Dmitri Kondratiev	Dmitri Kondratiev	2005-06-06 11:54
Story	Two Thank Yous for Peter van Roy How about "Functional program by Dmitri Kondratiev	Philip Wadler	2005-05-29 05:41
Forum topic	What are The Atoms of Programming Languages? re: Function vs. lambda by Dmitri Kondratiev Re: Common denominators by Dmitri Kondratiev A reasonable idea, but... by Dmitri Kondratiev E- and I- languages by Dmitri Kondratiev Points of execution by Dmitri Kondratiev Type, scope and points of execution ? by Dmitri Kondratiev What exactly is hiding behind Names? by Dmitri Kondratiev Objects and Names by Dmitri Kondratiev I agree, one or another varia by Dmitri Kondratiev Term “feature” dose not m by Dmitri Kondratiev	Dmitri Kondratiev	2005-02-23 13:07
Story	Barbara Partee: Reflections of a Formal Semanticist as of Feb 2005 I agree with the strength of by Dmitri Kondratiev The Atoms of Programming Language by Dmitri Kondratiev	Ehud Lamm	2005-02-18 00:29
Forum topic	Distributed Functional Programming But after reading the rest of by Dmitri Kondratiev	Dmitri Kondratiev	2004-10-19 09:57

---

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