Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	A lambda calculus with arbitrary set primitives	29	15 years 50 weeks ago by Neil Toronto	15 years 49 weeks ago by Jacques Carette
	The Halting Problem and Program Proving Algorithms	4	15 years 50 weeks ago by johnnyb	15 years 49 weeks ago by Charles Torre
	An Eloquent Book	1	15 years 50 weeks ago by shahbaz	15 years 50 weeks ago by Leon P Smith
	Any multi-threaded interpreters?	17	18 years 34 weeks ago by Pinku Surana	15 years 50 weeks ago by Blaisorblade
	happy rebirth day, LtU NG!	15	15 years 51 weeks ago by el-vadimo	15 years 50 weeks ago by Z-Bo
	Athena: An efficient in-memory data structure supporting arbitrary boolean queries See README file below for more information	1	15 years 50 weeks ago by sanity	15 years 50 weeks ago by Jules Jacobs
	A Theory of Typed Hygienic Macros	5	15 years 51 weeks ago by Jacques Carette	15 years 51 weeks ago by Dave Herman
	Looking for a proof that eager reduction is as strong as lazy reduction	7	15 years 51 weeks ago by marco	15 years 51 weeks ago by John Shutt
	Evaluating code quality	5	15 years 51 weeks ago by True Konrads	15 years 51 weeks ago by scottmcl
	plt vs. something else for programming in the large?	93	16 years 15 weeks ago by raould	15 years 51 weeks ago by el-vadimo
	some critiques of the Semat initiative	17	16 years 6 days ago by el-vadimo	15 years 51 weeks ago by Robb Nebbe
	C-Machine	7	15 years 51 weeks ago by marco	15 years 51 weeks ago by Z-Bo
	Interpreter to compiler generator?	5	16 years 1 day ago by pdf23ds	16 years 16 hours ago by cdiggins
	Algebraic	15	16 years 1 week ago by morphir	16 years 1 day ago by Frank Atanassow
	Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest	1	16 years 4 days ago by Morten Kromberg	16 years 2 days ago by paddy3118
	Safer C Code Using ATS	1	16 years 1 week ago by Manuel J. Simoni	16 years 1 week ago by WolfTivy
	A Brief, Incomplete, and Mostly Wrong History of Programming Languages	2	16 years 1 week ago by David J Bailey	16 years 1 week ago by David J Bailey
	Call for Submissions : IBM Programming Languages Day 2010	0	16 years 1 week ago by Peter J. Wasilko	n/a
	Types/Ordering of canonical FP compiler transforms and optimizations?	10	16 years 2 weeks ago by scottmcl	16 years 1 week ago by naasking
	Lambda, The Ultimate TA, Benjamin C. Pierce, ICFP 2009	0	16 years 1 week ago by Marlene Miller	n/a
	Alan Kay's 70th	30	16 years 3 weeks ago by Z-Bo	16 years 1 week ago by dmbarbour
	Guppy: trying to make parsing simple, fun, and powerful	24	16 years 5 weeks ago by Joey Adams	16 years 1 week ago by John Shutt
	Inspiring Papers	14	17 years 35 weeks ago by SamK	16 years 2 weeks ago by el-vadimo
	A solution to the catcall problem in Eiffel	13	16 years 5 weeks ago by hbrandl	16 years 2 weeks ago by hbrandl
	The Glasgow Haskell Compiler and LLVM	3	16 years 3 weeks ago by hannes	16 years 2 weeks ago by hannes
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