Lambda the Ultimate

type	title	author	last post
Forum topic	What is a Proposition? ok, thnaks. i'll have a by andrew cooke intro to logic by andrew cooke for every axiomatization of a by andrew cooke i may as well go ahead anyway by andrew cooke The incompleteness theorem do by andrew cooke what does the "no" at the sta by andrew cooke not directly related to what by andrew cooke doesn't godel's theorem say ( by andrew cooke yeah, thanks. got it now i t by andrew cooke wow. thanks. much clearer ( by andrew cooke ...	andrew cooke	2006-02-03 17:04
Forum topic	What is a monad, why should I use it, and when is it appropriate? thanks! you've no idea how by andrew cooke For example, say you wanted by andrew cooke	Jonathan Allen	2006-02-03 10:54
Forum topic	U, a small model ok, so looking at it again, by andrew cooke the optional implicit parens by andrew cooke	cyarvin	2006-02-01 20:37
Forum topic	A-Posteriori Subtyping: Which Languages? you can modify the class by andrew cooke	cdiggins	2006-01-31 03:52
Forum topic	Referentially Transparent Scheme you might want to look at cha by andrew cooke	mjstahl	2006-01-23 21:14
Forum topic	Bruce Tate: Technologies that may challenge Java kind of lost the thread there by andrew cooke i'm not creating classes dyna by andrew cooke i'm currently writing code in by andrew cooke	shahbaz	2006-01-12 06:01
Forum topic	The Language Machine - a toolkit for language and grammar ambiguity and efficiency? by andrew cooke	Peri Hankey	2005-11-30 10:32
Forum topic	Jakarta Commons Monad, er, Chain [snipped pointless sarcasm] by andrew cooke	Andris Birkmanis	2005-11-03 21:12
Story	Does Visual Studio Rot the Mind? OK, so rants are meant to be by andrew cooke	Ehud Lamm	2005-11-02 15:37
Story	XNHTML i suspect you know the follow by andrew cooke	Ehud Lamm	2005-10-13 08:27
Story	NetKernel - XML processing pipeline Say I just had my best idea e by andrew cooke	andrew cooke	2005-09-27 05:48
Forum topic	Genetic algorithms vs. genetic programming - PLT perspective? my (amateur, non-biologist) u by andrew cooke oh, and you can also rewrite by andrew cooke ok, here's my take: by andrew cooke one final comment - the "rhyt by andrew cooke remember that a node may have by andrew cooke concatenative languages might by andrew cooke	Andris Birkmanis	2005-09-15 00:51
Story	Every language you never wanted to know	andrew cooke	2005-09-12 07:51
Forum topic	Combining Theorem Proving and Programming iirc there's work on the cost by andrew cooke	carter	2005-09-09 22:32
Story	CodeProfiles.java - CODeDOC 2002 i think it depends on the sca by andrew cooke	andrew cooke	2005-08-31 08:02
Forum topic	Learning to Program with Alice (not Mozart/Oz ML) syntax neutral by andrew cooke	Isaac Gouy	2005-08-31 00:31
Forum topic	Deikto user interface in Erasmatron storytelling engine not really related, but not w by andrew cooke	Neil Madden	2005-08-30 14:04
Forum topic	Filtering Threads i know that running a communi by andrew cooke - another one - perhaps somet by andrew cooke ok, so that wasn't the most c by andrew cooke not me. fwiw i find the inte by andrew cooke	Ethan Aubin	2005-08-27 21:19
Forum topic	New Server and, of course, and despite m by andrew cooke i was hoping to post a new fr by andrew cooke	Anton van Straaten	2005-08-27 19:46
Story	Causal Nets ok. thanks. by andrew cooke haven't looked at the paper y by andrew cooke	Andris Birkmanis	2005-08-08 21:37
Forum topic	BitC, a new OS implementation language it doesn't. who said it does by andrew cooke i thought the lisp-with-infer by andrew cooke what's with the syntax? they by andrew cooke	Alexandre Richer	2005-07-25 19:48
Story	Generics are a mistake? The problem, as far as I can by andrew cooke	Anton van Straaten	2005-07-17 18:25
Forum topic	Embedded Languages in Java indeedy. in fact the present by andrew cooke If you're debating architectu by andrew cooke now that you point it out, i' by andrew cooke thanks. i'm about to email y by andrew cooke thanks, but that's too "compl by andrew cooke for example, in haskell the s by andrew cooke sorry, i wasn't clear. i l by andrew cooke	andrew cooke	2005-07-12 16:24
Forum topic	Martin Fowler on Language Workbenches and DSLs it's important to understand by andrew cooke	marco	2005-07-10 18:30
Forum topic	Dynamic Languages Journal? don't we all (want this)? is by andrew cooke	Ovid	2005-07-07 12:48
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