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