Lambda the Ultimate

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