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