Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Emscripten now (sort of) self-hosting	6	13 years 30 weeks ago by shap	13 years 30 weeks ago by dmbarbour
	Minimally typed programs?	20	13 years 35 weeks ago by Mihai Christodorescu	13 years 30 weeks ago by Mihai Christodorescu
	"Fortress Wrapping Up"	22	13 years 47 weeks ago by Alan Eliasen	13 years 30 weeks ago by George Fraser
	Incremental computation with divide and conquer memoization	11	13 years 31 weeks ago by Robbert van Dalen	13 years 31 weeks ago by gasche
	How to handle errors	74	13 years 37 weeks ago by Mats	13 years 31 weeks ago by rmovchan
	Let's fix spreadsheets	17	13 years 33 weeks ago by Robbert van Dalen	13 years 32 weeks ago by Andrew Moss
	Barbara Liskov, Greg Morrisett, Guy Steele keynoting ACM conference on High Integrity Language Technology in Boston, Dec. 2012	1	13 years 35 weeks ago by sttaft	13 years 32 weeks ago by sttaft
	Solving the dependency hell	4	13 years 33 weeks ago by Robbert van Dalen	13 years 32 weeks ago by Robbert van Dalen
	Axiomatic Language	1	13 years 32 weeks ago by Walter W. Wilson	13 years 32 weeks ago by dmbarbour
	Annual Peter Landin Semantics Seminar, 3 December, BCS London:Unifying Theories of programming, Professor Sir Tony Hoare, London	0	13 years 33 weeks ago by paulboca	n/a
	The SPREAD programming language	12	13 years 33 weeks ago by Robbert van Dalen	13 years 33 weeks ago by Sean McDirmid
	The Terms language	10	13 years 34 weeks ago by Enrique Perez Arnaud	13 years 34 weeks ago by Enrique Perez Arnaud
	Aha! Programming Language	233	14 years 1 week ago by rmovchan	13 years 34 weeks ago by rmovchan
	Real-Time Programming and the Big Ideas of Computational Literacy	6	13 years 34 weeks ago by Sean McDirmid	13 years 34 weeks ago by Sean McDirmid
	Binary relations, endorelations and transitive closures	0	13 years 34 weeks ago by hbrandl	n/a
	Strongly-Typed Language Support for Internet-Scale Information Sources: F# Type Providers	5	13 years 35 weeks ago by Charles Torre	13 years 34 weeks ago by dmbarbour
	DRAKON-Erlang: Visual Functional Programming	40	13 years 36 weeks ago by Stepan Mitkin	13 years 35 weeks ago by Jules Jacobs
	P = NP question	75	13 years 37 weeks ago by Carter Cheng	13 years 35 weeks ago by dmbarbour
	How to type polymorphic variants with open generic functions?	5	13 years 35 weeks ago by Manuel J. Simoni	13 years 35 weeks ago by naasking
	In defense of semicolon	37	13 years 38 weeks ago by Sean McDirmid	13 years 35 weeks ago by raould
	Most web developers prefer dynamic languages	15	13 years 38 weeks ago by Henri Binsztok	13 years 35 weeks ago by raould
	The programming language of crash test dummies.	16	13 years 37 weeks ago by Ray Dillinger	13 years 36 weeks ago by Ray Dillinger
	Other free theorems	14	14 years 33 weeks ago by Matt M	13 years 36 weeks ago by marco
	Proposed extension to C - array size declarations	21	13 years 46 weeks ago by John Nagle	13 years 37 weeks ago by Carter Cheng
	Designing a languge — what theory is a must?	41	14 years 27 weeks ago by pgregory	13 years 37 weeks ago by naasking
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