Lambda the Ultimate

type	title	author	last post
Forum topic	Virtual Machine and Runtime Framework Living in a box by marco 31 bits by marco	Nicolas Cannasse	2005-04-29 13:41
Story	Computer generates verifiable mathematics proof Uhuh by marco Perhaps they should care (2) by marco I wonder: Does anyone see m by marco	Ehud Lamm	2005-04-27 10:44
Forum topic	Chemistry, Graph Tranformation and Programming Languages Oops, I did it again by marco You sure? by marco Mathematics of organic chemistry? by marco	gmol	2005-04-25 18:22
Forum topic	House , hOp - the Haskell Operating System From the Tunes project by marco	shapr	2005-04-21 11:32
Story	On the Unusual Effectiveness of Logic in Computer Science Mochito! by marco Ah well, bad hair day by marco Got a hammer but lost my nail by marco	Charles A Stewart	2005-04-21 11:14
Story	Fold Must Fold! Fold? by marco	Noel	2005-04-02 03:13
Forum topic	Halting program density? Good show by marco Yeah by marco Short question by marco	Greg Buchholz	2005-03-23 15:27
Forum topic	Journals and papers? Probably not needed by marco	BigZaphod	2005-03-22 17:56
Story	Proof and Counterexample Cool typesetting by marco	Ehud Lamm	2005-02-28 13:47
Forum topic	A question for the theory guys NF by marco	Klaus Ostermann	2005-02-06 16:15
Forum topic	Avoiding worst case GC with large amounts of data? If so, it's a strong, strong by marco	James Hague	2005-02-04 17:45
Forum topic	Neologism Preemptive bootstrapping? by marco	John Stracke	2005-02-04 13:37
Forum topic	Dynamic Eager Haskell present, past and future by marco	Greg Buchholz	2005-01-19 15:18
Forum topic	HM-style type inference with non-unique selectors? Relax, we understand j00 by marco The larch by marco Don't understand the problem by marco	ihamsa	2005-01-18 18:04
Story	Absence Condolences by marco	Ehud Lamm	2004-12-25 10:35
Forum topic	Definition of Type To the extreme by marco constructive+ intuitionistic = ... by marco Meaningless meaningfull programs by marco Every argument can be countered... by marco	cdiggins	2004-12-09 11:42
Forum topic	What's a definition of "type" that beginners can understand? Peircian semiotics? by marco	Toby Donaldson	2004-12-06 00:33
Forum topic	Laszlo - So good, I had to change my underwear Ha! by marco	andrew cooke	2004-10-19 19:05
Forum topic	Dijkstra on analogies and anthropomorphism Yes, it is by marco You sure, must be trolling... I hope by marco Issunboushi! by marco Oretachi Hyokinzoku by marco	Frank Atanassow	2004-09-26 13:39
Story	Use real names Anonymity vs. Pseudonymity - the bet by marco Couldn't agree more. I have s by marco	Ehud Lamm	2004-09-24 02:05
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