Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	(Very) Simpleminded kind question	9	16 years 46 weeks ago by jimdesu	16 years 46 weeks ago by Adam Chlipala
	System-level Static Analysis	5	19 years 34 weeks ago by David Teller	16 years 46 weeks ago by naasking
	Finding Landin's "The Mechanical Evaluation of Expressions"	7	19 years 21 weeks ago by A B Carter	16 years 46 weeks ago by Rob Simmons
	Q tutorial	12	18 years 49 weeks ago by Albert Graef	16 years 46 weeks ago by Albert Graef
	Lambda Cube and programming languages	4	16 years 47 weeks ago by Gregory Propf	16 years 46 weeks ago by gasche
	Approaches to dependent types(DT)	0	16 years 46 weeks ago by Patrick Browne	n/a
	Question on top-level (and other) environments	0	16 years 46 weeks ago by Manuel J. Simoni	n/a
	FringeDC Meeting: Introduction to Prolog by Conrad Barski, July 25th 2009 at 1PM	0	16 years 46 weeks ago by drcode	n/a
	Human Factors Research On Programming Language Syntax	13	20 years 5 days ago by Peter J. Wasilko	16 years 46 weeks ago by Fred LeMaster
	First-class Polymorphism	6	18 years 45 weeks ago by naasking	16 years 47 weeks ago by Charles Stewart
	Human language and machine language	0	16 years 47 weeks ago by kusimari	n/a
	The Church-Turing Thesis: Breaking the Myth	87	20 years 35 weeks ago by naasking	16 years 47 weeks ago by cdtw
	Most powerful terminating semantics?	142	16 years 50 weeks ago by dataangel	16 years 47 weeks ago by dmbarbour
	Trade-offs with abstraction	44	16 years 48 weeks ago by Charles Stewart	16 years 47 weeks ago by Roly Perera
	Explaining database query or constraint-satisfaction failures	6	16 years 49 weeks ago by Will Benton	16 years 48 weeks ago by Z-Bo
	A Possible Future of Software Development	9	16 years 50 weeks ago by Winheim Raulsh	16 years 48 weeks ago by Ehud Lamm
	Soccer-Fun: Teaching Functional Programming	0	16 years 48 weeks ago by Isaac Gouy	n/a
	Top 200 Blogs for Developers	6	16 years 49 weeks ago by Leon P Smith	16 years 48 weeks ago by Z-Bo
	Help, this is driving me mad!	9	16 years 49 weeks ago by paul_butcher	16 years 49 weeks ago by paul_butcher
	Fully Encapsulated Languages? Are there any out there?	48	16 years 50 weeks ago by John Carter	16 years 49 weeks ago by dmbarbour
	A programming language with extensible syntax	14	17 years 7 weeks ago by metaprogrammer	16 years 49 weeks ago by raould
	subjective but hopefully less flamebaid-lame	16	16 years 50 weeks ago by raould	16 years 49 weeks ago by raould
	GRS vs LTRS	37	16 years 52 weeks ago by vag	16 years 49 weeks ago by vag
	Semantics: Logic vs. PL	27	17 years 1 day ago by Ohad Kammar	16 years 50 weeks ago by Hank Thediek
	Total functional language self interpreter?	44	17 years 32 weeks ago by jason stumpf	16 years 50 weeks ago by Matt M
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