Lambda the Ultimate

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

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