Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Algorithmically Unbounded Journal of Mathematical Truths	2	21 years 25 weeks ago by Philip Dorrell	21 years 25 weeks ago by Chris Rathman
	Colorful dominoes game hides an exercise in propositional logic	3	16 years 15 weeks ago by jasha123	16 years 15 weeks ago by jasha123
	Compiler Technology for Scalable Architectures	6	20 years 8 weeks ago by OwcA	20 years 7 weeks ago by Nuno Cruces
	FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software	2	18 years 16 weeks ago by drcode	18 years 15 weeks ago by Ehud Lamm
	FringeDC Informal Meeting Saturday Nov 10	0	18 years 24 weeks ago by drcode	n/a
	Lisaac: The power of simplicity at work for operating systems	18	18 years 10 weeks ago by naasking	17 years 30 weeks ago by destrella
	Looking for a little advice with implementing recursion.	22	13 years 10 weeks ago by Clarkd	13 years 5 weeks ago by rmovchan
	Monad Description For Imperative Programmer	58	18 years 38 weeks ago by kaveh.shahbazian	18 years 34 weeks ago by greg travis
	Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest	1	15 years 45 weeks ago by Morten Kromberg	15 years 45 weeks ago by paddy3118
	Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus	0	9 years 50 weeks ago by raould	n/a
	SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?	5	17 years 44 weeks ago by hWnd	17 years 43 weeks ago by Burton Samograd
	System F with Type Equality Coercions	2	20 years 1 week ago by genneth	20 years 1 week ago by genneth
	The hits and misses of Microsoft	33	17 years 42 weeks ago by Ehud Lamm	17 years 40 weeks ago by Leon P Smith
	"A Theory of Interprocess Communication" -- Leslie Lamport	5	15 years 27 weeks ago by Thomas Lord	15 years 26 weeks ago by el-vadimo
	"applicative" vs."functional"	3	20 years 43 weeks ago by bdenckla	20 years 43 weeks ago by Anton van Straaten
	"Critical code studies"	56	15 years 49 weeks ago by Travis Brown	15 years 48 weeks ago by Andrew Moss
	"Crutches in language design", accidental complexity and feature overlap	33	14 years 27 weeks ago by gasche	14 years 23 weeks ago by skaller
	"Declarative" or "Functional"	6	19 years 2 weeks ago by kaveh.shahbazian	19 years 3 days ago by Chas Emerick
	"Don't become a scientist" discussion at HN	4	18 years 8 weeks ago by hhm	18 years 8 weeks ago by hhm
	"Down with Lambda-Lifting"	5	20 years 3 days ago by dbfaken	12 years 8 weeks ago by gasche
	"dynamic" generative programming?	9	20 years 43 weeks ago by bdenckla	20 years 42 weeks ago by bdenckla
	"Fog Cutter" model illustrates Actor Model issues	4	12 years 19 weeks ago by Hewitt	12 years 19 weeks ago by Hewitt
	"Folding"/FP traversal over trees	10	19 years 19 weeks ago by dbfaken	19 years 19 weeks ago by dbfaken
	"Fortress Wrapping Up"	22	13 years 39 weeks ago by Alan Eliasen	13 years 23 weeks ago by George Fraser
	"Future of Programming Languages" panel	15	15 years 21 weeks ago by puredanger	15 years 18 weeks ago by Tom Novelli
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