Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	On the (Alleged) Value of Proof for Assurance	21	1 day 6 hours ago by shap	2 hours 38 min ago by Steven Obua
	Type system design choices	7	4 days 15 hours ago by Michiel Helvensteijn	4 hours 23 min ago by Andreas Rossberg
	Advantages of Purity	47	2 weeks 3 days ago by giuseppemag	10 hours 8 min ago by dmbarbour
	determining subsumption of regular languages	7	1 day 1 hour ago by andrew johnson	11 hours 4 min ago by andrew johnson
	functional equivalance?	34	2 weeks 6 days ago by raould	17 hours 49 min ago by vrijz
	Have tracing JIT compilers won?	105	1 week 2 days ago by Peter Michaux	21 hours 48 min ago by Z-Bo
	a "thank you" to You	15	2 weeks 5 days ago by raould	2 days 3 hours ago by Rehno Lindeque
	The Myth of the Genius Programmer	37	40 weeks 5 days ago by Leon P Smith	3 days 20 hours ago by Andy Wingo
	Urbit: Functional programming from scratch	4	5 days 17 hours ago by Matt Brubeck	4 days 7 hours ago by Stanislav Datskovskiy
	[ANN] Code Generation 2010 program available	0	4 days 17 hours ago by Mark Dalgarno	n/a
	Should let be generalized?	7	1 week 19 hours ago by Douglas McClean	5 days 15 hours ago by Ray Dillinger
	Small PL Thought Experiment	46	4 weeks 18 hours ago by scottmcl	6 days 18 hours ago by Z-Bo
	LISP basis for computable functions on S-Expressions.	15	1 week 5 days ago by Dr.GEorGE	1 week 1 day ago by Rehno Lindeque
	A Wiki for LaTeX (LaTiKi)	0	1 week 1 day ago by Stuart Beard	n/a
	Reactive Extensions for .NET released this week	31	16 weeks 6 days ago by Wolf Logan	1 week 1 day ago by naasking
	Fighting Bit Rot with Types (Scala Collections)	7	1 week 2 days ago by raould	1 week 1 day ago by bashyal
	Alternative method for defining statically typed variables	10	1 week 4 days ago by Josh-Meredith	1 week 1 day ago by Stephan Houben
	Multiple overloads of the bind operator	3	1 week 3 days ago by giuseppemag	1 week 2 days ago by raould
	plt vs. something else for programming in the large?	43	3 weeks 18 hours ago by raould	1 week 2 days ago by Z-Bo
	Why type systems are interesting	187	5 years 35 weeks ago by Anton van Straaten	1 week 2 days ago by Ray Dillinger
	Create Your Own Programming Language (book)	13	27 weeks 19 hours ago by msimoni	1 week 3 days ago by John Shutt
	large-scale programming systems inspired by ecological and market systems	20	2 weeks 4 days ago by Ray Dillinger	1 week 4 days ago by t6wer4ad
	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"	61	1 year 7 weeks ago by raould	1 week 5 days ago by t6wer4ad
	Functional Pearls	5	2 years 45 weeks ago by Derek Elkins	2 weeks 10 hours ago by Phil Miess
	Unifying map and mapM through subtyping?	3	2 weeks 6 days ago by Douglas McClean	2 weeks 3 days ago by Jacques Carette
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