Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Programmer Archeologists	40	14 years 24 weeks ago by Sean McDirmid	14 years 23 weeks ago by Kay Schluehr
	Run Your Research: On the Effectiveness of Mechanization	1	14 years 24 weeks ago by lmeyerov	14 years 24 weeks ago by el-vadimo
	Interview [Video] -> Simon Peyton-Jones - Closer to Nirvana	13	14 years 26 weeks ago by Charles Torre	14 years 24 weeks ago by johnwcowan
	2 Misconcepts About Functional Programming (relating to context and monad)	17	14 years 27 weeks ago by Henry Luo	14 years 24 weeks ago by gasche
	iPhone PL lockdown	152	16 years 10 weeks ago by Sean McDirmid	14 years 25 weeks ago by skaller
	General purpose as a special case?	49	14 years 28 weeks ago by Wendell	14 years 26 weeks ago by JeffB
	What is this type of type called?	9	14 years 26 weeks ago by Steven StewartGallus	14 years 26 weeks ago by Matt Hellige
	Pathological Problems in Parsing	5	14 years 27 weeks ago by disnesquick	14 years 26 weeks ago by judofyr
	John McCarthy has passed	20	14 years 33 weeks ago by Thomas Lord	14 years 26 weeks ago by Jack Waugh
	Models for distributed parallelism	30	14 years 30 weeks ago by Victor Eijkhout	14 years 27 weeks ago by Rys McCusker
	Elm cross-platform functional-reactive	2	14 years 27 weeks ago by raould	14 years 27 weeks ago by raould
	Proofs of a type system's safety?	6	14 years 28 weeks ago by Steven StewartGallus	14 years 27 weeks ago by Charles Stewart
	REPL-schmepl?	26	14 years 30 weeks ago by el-vadimo	14 years 27 weeks ago by Thomas Lord
	Abstraction Driven (MDA++)	3	14 years 28 weeks ago by raould	14 years 28 weeks ago by raould
	Delimited continuations for C/C++	4	14 years 28 weeks ago by tilk	14 years 28 weeks ago by tilk
	LazyK example doesn't work	3	14 years 29 weeks ago by Dmytro	14 years 28 weeks ago by Dmytro
	Actors all the way down	10	14 years 29 weeks ago by Hewitt	14 years 29 weeks ago by Hewitt
	Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext.	18	14 years 32 weeks ago by Kannan Goundan	14 years 29 weeks ago by johnwcowan
	Candle 0.10 Beta Release - introducing a new object notation	2	14 years 29 weeks ago by Henry Luo	14 years 29 weeks ago by Henry Luo
	Inconsistency Robustness 2011 at Stanford	11	14 years 50 weeks ago by Hewitt	14 years 29 weeks ago by Hewitt
	"We Really Don't Know How to Compute!" by Gerald Sussman	178	14 years 33 weeks ago by puredanger	14 years 30 weeks ago by Sean McDirmid
	Share: a programming environment for loosely bound cooperation	1	14 years 30 weeks ago by Sean McDirmid	14 years 30 weeks ago by gasche
	math proofs are more robust than computer proofs	7	14 years 31 weeks ago by raould	14 years 30 weeks ago by el-vadimo
	Flash and cross platform mobile web technologies	6	14 years 30 weeks ago by JeffB	14 years 30 weeks ago by naasking
	SPLASH 2011 Video Conversations on Channel 9	0	14 years 31 weeks ago by Charles Torre	n/a
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