Lambda the Ultimate

type	title	author	last post
Story	Gilad Is Right You're thinking of by carter Judging by the slides, it by carter	Erik Meijer	2014-03-23 13:38
Forum topic	Cost of provably-correct code I do agree that the price is by carter	Ehud Lamm	2013-07-06 19:56
Forum topic	10 Years of Purely Functional Data Structures I've seen it on many a bookshelf by carter	Chris Okasaki	2012-08-04 01:52
Story	A Language-Based Approach to Unifying Events and Threads the scheduler I'd think. by carter	shapr	2011-11-21 12:53
Forum topic	The Next Mainstream Programming Languages I'm not quite following by carter But what if the abstractions by carter	Per Vognsen	2010-01-24 13:32
Story	Don Box: Teaching my kids to program Why must games be the draw? by carter	Ehud Lamm	2009-02-27 00:12
Forum topic	Functional anti-memoization Thats more like an optimizati by carter	Greg Buchholz	2009-01-26 17:46
Forum topic	Typing a function which includes its axioms? umm, i think that you can by carter	Bryan Turner	2008-09-17 22:35
Story	Types Considered Harmful thats not really viewing it by carter I think the core message of by carter	Chris Rathman	2008-06-06 17:06
Story	Grady Booch: Software Engineering Grand Challenges wrong by carter	Ehud Lamm	2008-04-27 18:35
Forum topic	Higher-Order Programming without Closures? it looks like you're trying by carter	naasking	2008-04-27 01:18
Forum topic	Teaching oneself Abstract Interpretation ? read the papers by cousot by carter	David Teller	2008-03-29 09:16
Forum topic	Qis of the Future It doesn't seem to be really by carter	raould	2008-02-15 21:52
Forum topic	Yearning for a practical scheme You are conflating compile time and run time by carter	Nathan Sobo	2007-08-27 03:37
Forum topic	Current "best books on FP"? look up SICM, the structure by carter	vputz	2007-07-29 18:19
Forum topic	Expressing usage constraints within the language hrm, i'd suggest checking by carter	naasking	2007-05-15 18:27
Forum topic	Type inference and union types i think there may be some by carter	Thomas_C	2007-04-29 19:36
Story	Gilad Bracha on tuples actually the use of tuples by carter	Ehud Lamm	2007-03-12 11:18
Forum topic	Alloy - The Book Again, I strongly recommend by carter Alloy can not model PL semantics by carter	Isaac Gouy	2006-12-19 13:50
Forum topic	Why type systems are interesting - part II perhaps you mean structural S by carter	Ehud Lamm	2006-12-08 01:38
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram I would think that seperate by carter actually, i think theres a by carter I should point out that the by carter ooops, I was imprecise in by carter Agreed. I have to say though by carter The first half of the paper by carter	Niels Hoogeveen	2006-10-02 18:13
Forum topic	Implementing arrays thats sort of trivially by carter	dataangel	2006-09-02 09:52
Forum topic	Apple: procedural -> OO -> AOP -> advanced procedural the problem with constraint s by carter	Isaac Gouy	2006-08-28 13:35
Forum topic	Expressing the Type of a While Loop have you looked at any of by carter	cdiggins	2006-08-06 20:39
Forum topic	Managing missing information through Condition Propagation How about you read the paper by carter This sounds like an odd by carter	n8allan	2006-08-03 16:31
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