andrew cooke

typetitleauthorlast post sort icon
StoryJon Udell: Multi-language runtimes Ehud Lamm2006-03-02 16:06
Forum topic Compiler Technology for Scalable Architectures OwcA2006-03-02 01:52
Forum topicMcBride Derivative paper keithb2006-02-28 23:33
StoryAn Expressive Language of Signatures Ehud Lamm2006-02-28 18:22
StorySpecifying C++ Concepts Ehud Lamm2006-02-28 16:06
Forum topicInterval Datatype Derek Elkins2006-02-26 19:28
StoryInterval Computations Ehud Lamm2006-02-22 21:34
Forum topicline breaks? raould2006-02-13 11:27
Forum topicPackaging Data And Methods SamK2006-02-08 01:11
Forum topicG'Caml comes of age Jim Apple2006-02-05 19:55
Forum topicWhat is a Proposition? andrew cooke2006-02-03 17:04
Forum topicWhat is a monad, why should I use it, and when is it appropriate? Jonathan Allen2006-02-03 10:54
Forum topicU, a small model cyarvin2006-02-01 20:37
Forum topicA-Posteriori Subtyping: Which Languages? cdiggins2006-01-31 03:52
Forum topicReferentially Transparent Scheme mjstahl2006-01-23 21:14
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01
Forum topicThe Language Machine - a toolkit for language and grammar Peri Hankey2005-11-30 10:32
Forum topicJakarta Commons Monad, er, Chain Andris Birkmanis2005-11-03 21:12
StoryDoes Visual Studio Rot the Mind? Ehud Lamm2005-11-02 15:37
StoryXNHTML Ehud Lamm2005-10-13 08:27
StoryNetKernel - XML processing pipeline andrew cooke2005-09-27 05:48
Forum topicGenetic algorithms vs. genetic programming - PLT perspective? Andris Birkmanis2005-09-15 00:51
StoryEvery language you never wanted to know andrew cooke2005-09-12 07:51
Forum topicCombining Theorem Proving and Programming carter2005-09-09 22:32
StoryCodeProfiles.java - CODeDOC 2002 andrew cooke2005-08-31 08:02