Lambda the Ultimate

type	title	author	last post
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
Forum topic	Garbage Collection as a Lazy Algorithm I see a problem with this by carter	Greg Buchholz	2005-09-19 23:23
Forum topic	Haskell and creative freedom Look for the paper by Matthia by carter	Nathan Sobo	2005-09-16 00:08
Forum topic	Combining Theorem Proving and Programming	carter	2005-09-09 22:32
Forum topic	Does Abstraction add Fuzziness? Everyone's been implying this by carter	mansu	2005-08-29 20:17
Forum topic	Expressivity For a formal look at expressivity of programming languages.. by carter Not a new idea by carter	David B. Held	2005-08-11 17:17
Forum topic	A question about subtypes inference look at F sub by carter	kilrati	2005-08-10 18:51
Forum topic	ML without GC check out regions by carter	ehrlich	2005-07-28 15:33
Forum topic	Ook? Is this inspired by the Librarian in the Discworld book? by carter	marco	2005-07-02 10:26
Story	Language Design 101 But doesn't that rule out sta by carter	Ehud Lamm	2005-06-03 12:27
Forum topic	R6RS Scheme Status Report which would finally put an en by carter	Matthew Morgan	2005-05-05 04:07
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