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