Lambda the Ultimate

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

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