Lambda the Ultimate

• Active forum discussions.
• Login to post a new forum topic.

	Topic	Replies	Created	Last reply
	ML Modules in C#	0	18 years 23 weeks ago by naasking	n/a
	Module Level Purity	2	18 years 24 weeks ago by kaveh.shahbazian	18 years 24 weeks ago by kaveh.shahbazian
	PLT online?	1	18 years 24 weeks ago by Gergely Buday	18 years 24 weeks ago by Jeremy
	functions, statements, expressions	80	18 years 26 weeks ago by Jason Dusek	18 years 24 weeks ago by kaveh.shahbazian
	A Growable Language Manifesto	43	18 years 27 weeks ago by RobJellinghaus	18 years 24 weeks ago by Tess Foley
	Origin of the term Multimethod	14	18 years 26 weeks ago by Eric J Schwarzenbach	18 years 24 weeks ago by naasking
	Concurrency with Scheme	10	18 years 25 weeks ago by vieiro	18 years 24 weeks ago by vieiro
	Anyone read: Semantics with Applications: by Nielson and Nielson?	5	18 years 25 weeks ago by markt	18 years 24 weeks ago by Sriram Srinivasan
	The work of Atsushi Ohori	2	18 years 40 weeks ago by Derek Elkins	18 years 25 weeks ago by Derek Elkins
	Table Tool System	1	18 years 26 weeks ago by M Sandin	18 years 26 weeks ago by Matt Hellige
	Haskell, Turned Up To Eleven	4	18 years 26 weeks ago by Jason Dusek	18 years 26 weeks ago by NeilMitchell
	Weak normalisation theorem for typed lambda-calculus	4	18 years 27 weeks ago by ilSignorCarlo	18 years 26 weeks ago by Roly Perera
	Connecting the first steps	6	18 years 27 weeks ago by rmlinden	18 years 27 weeks ago by Andreas Rossberg
	Monadic and Substructural Type Systems for Region-Based Memory Management	27	18 years 27 weeks ago by naasking	18 years 27 weeks ago by naasking
	Joe-E TechTalk	3	18 years 27 weeks ago by naasking	18 years 27 weeks ago by Ehud Lamm
	Parsimony Principles for Software Components and Metalanguages	0	18 years 27 weeks ago by Bryan O Sullivan	n/a
	On the Importance of Purity	142	18 years 33 weeks ago by naasking	18 years 27 weeks ago by Peter Russell
	What have I created?	4	18 years 28 weeks ago by James W Hofmann	18 years 27 weeks ago by barsoap
	Derivation trees for lambda-calculus	5	18 years 28 weeks ago by ilSignorCarlo	18 years 28 weeks ago by ilSignorCarlo
	A survey and discussion of taming effects	14	18 years 28 weeks ago by naasking	18 years 28 weeks ago by naasking
	OMeta: an Object-Oriented Language for Pattern Matching	11	18 years 37 weeks ago by Manuel J. Simoni	18 years 28 weeks ago by Alex Warth
	Universal Type System	40	18 years 31 weeks ago by Akhilesh Mritunjai	18 years 28 weeks ago by Akhilesh Mritunjai
	PL research & grad schools?	30	18 years 32 weeks ago by dataangel	18 years 29 weeks ago by Gergely Buday
	Petition for adding garbage collection to C++.	116	19 years 50 weeks ago by Achilleas Margaritis	18 years 29 weeks ago by mental
	The simplest mechanism with Turing-equivalent power to date ...	15	18 years 33 weeks ago by Mario B.	18 years 29 weeks ago by fruehr
first page previous page 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