Lambda the Ultimate

type	title	author	last post
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
Forum topic	What are the real benefits of FP? I'm sure other folks are in by carter	dataangel	2006-07-09 20:03
Forum topic	Amusing question What really launched me into by carter	Ehud Lamm	2006-07-08 19:19
Story	PLT Scheme GC Technology " * The new JIT essentially by carter	Ehud Lamm	2006-06-28 18:47
Story	Scheme Language Steering Committee Report to the Community I think it might be more by carter	Anton van Straaten	2006-06-26 23:14
Forum topic	Rules for Developing Safety-Critical Code Expressiveness by carter	Peter J. Wasilko	2006-06-25 21:26
Forum topic	Designing a Type Notation for a Stack Based Functional Language you should include a way of by carter	cdiggins	2006-05-12 20:02
Story	Djinn, a theorem prover in Haskell, for Haskell. I think even more than that w by carter	shapr	2006-01-24 18:58
Forum topic	Countering Trusting Trust through Diverse Double-Compiling ummm, if they're different c by carter	Curt Sampson	2005-12-28 22:50
Forum topic	Invariants/Contracts vs. types power of type theory and my current research by carter	dbfaken	2005-11-08 22:31
Forum topic	Most Productive FP Lang? I can see some straightforwar by carter	David B. Held	2005-09-26 03:14
first page previous page 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