Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Fixed points considered harmful	625	9 years 45 weeks ago by Hewitt	9 years 39 weeks ago by Thomas Lord
	Mathematics self-proves its own Consistency (contra Gödel et. al.)	470	11 years 38 weeks ago by Hewitt	9 years 43 weeks ago by Ross Angle
	Nullable type is needed to fix Tony Hoare's "billion dollar mistake".	383	9 years 35 weeks ago by Hewitt	9 years 33 weeks ago by Keean Schupke
	Experiment	366	10 years 46 weeks ago by Ehud Lamm	10 years 29 weeks ago by raould
	how many lines of code can civilization support?	303	10 years 4 weeks ago by Thomas Lord	10 years 1 week ago by Rys McCusker
	Types are fundamental to both logic and computation	283	10 years 6 days ago by Hewitt	9 years 46 weeks ago by Keean Schupke
	Strengthening Process Calculi	274	9 years 44 weeks ago by raould	9 years 41 weeks ago by Andrew Moss
	Buried Treasure - No Fluff Just Stuff	248	18 years 47 weeks ago by Isaac Gouy	18 years 45 weeks ago by Paul Snively
	What will programming look like in 2020?	247	12 years 18 weeks ago by Sean McDirmid	12 years 7 weeks ago by Rys McCusker
	Why do we need modules at all?	246	10 years 24 weeks ago by Sean McDirmid	10 years 19 weeks ago by dmbarbour
	Big questions	242	9 years 35 weeks ago by Ehud Lamm	9 years 34 weeks ago by Bruce Rennie
	Aha! Programming Language	233	12 years 45 weeks ago by rmovchan	12 years 26 weeks ago by rmovchan
	Quantitative comparison of unit testing vs. static typing?	231	13 years 3 weeks ago by lmeyerov	12 years 43 weeks ago by Cyril
	Different approaches to letting a programmer define interface implementations.	224	11 years 16 weeks ago by Kannan Goundan	11 years 14 weeks ago by dmbarbour
	Objective scientific proof of OOP's validity? Don't need no stinkun' proof.	219	19 years 37 weeks ago by Riaan Moll	19 years 35 weeks ago by Jonathan Tang
	Research vs implementation, theory vs practice, and LtU	218	9 years 40 weeks ago by Blaisorblade	9 years 38 weeks ago by Keean Schupke
	expressivity of "idiomatic C++"	217	20 years 3 weeks ago by el-vadimo	14 years 23 weeks ago by Josh Stern
	Seeking thoughtful criticisms of functional programming and languages	217	15 years 4 days ago by scottmcl	12 years 3 weeks ago by Michael Moser
	What do you believe about Programming Languages (that you can't prove (yet))?	215	18 years 51 weeks ago by John Carter	15 years 47 weeks ago by dmbarbour
	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps	215	10 years 22 weeks ago by Rys McCusker	10 years 14 weeks ago by Rys McCusker
	The Next Mainstream Programming Languages	197	19 years 11 weeks ago by Per Vognsen	15 years 12 weeks ago by smoore3
	From Programming Language Design (PLD) to Programmer Experience Design (PXD)	196	9 years 49 weeks ago by Sean McDirmid	9 years 48 weeks ago by marco
	Why type systems are interesting	187	20 years 40 weeks ago by Anton van Straaten	15 years 6 weeks ago by Ray Dillinger
	PL vs. PX	185	9 years 32 weeks ago by Sean McDirmid	9 years 25 weeks ago by raould
	Compilation to C, a definitive guide?	183	15 years 28 weeks ago by naasking	9 years 41 weeks ago by johnwcowan
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