Lambda the Ultimate

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

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