Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented.	29	11 years 26 weeks ago by Ray Dillinger	11 years 25 weeks ago by Sean McDirmid
	Lisps are fun	1	11 years 25 weeks ago by raould	11 years 25 weeks ago by simon.stapleton
	Whither Flow Analysis?	37	11 years 28 weeks ago by raould	11 years 25 weeks ago by neelk
	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud	7	12 years 13 weeks ago by chrisoliver	11 years 26 weeks ago by chrisoliver
	DARPA funds $11 million tool that will make coding a lot easier	2	11 years 26 weeks ago by Sean McDirmid	11 years 26 weeks ago by Sean McDirmid
	Opposing Hierarchies of Complexity	105	11 years 29 weeks ago by Keean Schupke	11 years 26 weeks ago by Keean Schupke
	EigenCFA: Accelerating Flow Analysis with GPUs	3	11 years 28 weeks ago by Alex1	11 years 27 weeks ago by lmeyerov
	Virgil: a statically-typed language balancing functional and OO features	44	13 years 4 weeks ago by Kartik Agaram	11 years 28 weeks ago by Ben L. Titzer
	pLucid original interpreter available.	1	18 years 7 weeks ago by Rahul Gopinath	11 years 28 weeks ago by marcel
	Programming with Managed Time	32	12 years 6 weeks ago by Sean McDirmid	11 years 28 weeks ago by Sean McDirmid
	Concatenative Language Kont	111	20 years 39 weeks ago by Chris	11 years 28 weeks ago by Dave
	Jonathan Blow's next foray into game language design	56	11 years 31 weeks ago by jdougan	11 years 28 weeks ago by Keean Schupke
	Eve development diary	4	11 years 29 weeks ago by jamii	11 years 29 weeks ago by ibdknox
	Taking Back Control (Flow) of Reactive Programming	13	11 years 30 weeks ago by Sean McDirmid	11 years 29 weeks ago by Sean McDirmid
	Tools for layered languages?	1	11 years 29 weeks ago by raould	11 years 29 weeks ago by ibdknox
	automatic test discovery without reflection?	1	11 years 29 weeks ago by Talin	11 years 29 weeks ago by dmbarbour
	BNFT (Backus Naur Form Transformation) rerelease	0	11 years 29 weeks ago by Poul Krogh	n/a
	On constness	89	11 years 31 weeks ago by Talin	11 years 30 weeks ago by Matt M
	SNAPL, a new PL conference on "big-picture questions and long-running research programs"	4	11 years 30 weeks ago by gasche	11 years 30 weeks ago by Sean McDirmid
	Preaching to the already converted: Om	4	11 years 30 weeks ago by raould	11 years 30 weeks ago by raould
	A question of separation logic and monads	4	11 years 31 weeks ago by Eric Biederman	11 years 31 weeks ago by Ohad Kammar
	CFP: Off-the-Beaten-Track (OBT) workshop at POPL 2015	1	11 years 31 weeks ago by emery	11 years 31 weeks ago by Ehud Lamm
	Experiment	366	11 years 49 weeks ago by Ehud Lamm	11 years 31 weeks ago by raould
	Twitter feed recommendation: Meredith Patterson	0	11 years 32 weeks ago by Charles Stewart	n/a
	doing letrec with lambdas	20	17 years 35 weeks ago by jimdesu	11 years 32 weeks ago by MingyanGuo
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