Lambda the Ultimate

type	title	author	last post
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
Forum topic	Chemistry, Graph Tranformation and Programming Languages Interestingly enough, I have by carter	gmol	2005-04-25 18:22
Forum topic	Qi 6.1 released Is it just me, or does the ty by carter	Tayssir John Gabbour	2005-04-21 17:24
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