Home » user account

marco

typetitle sort iconauthorlast post
Forum topicDyna: a weighted dynamic logic programming language marco2005-06-28 22:28
StoryHow To Read a Paper Ehud Lamm2005-06-27 11:09
Forum topicStatic Types vs. Partially Evaluated Latent Types Greg Buchholz2005-06-24 16:10
StoryTim Bray: On Threads Ehud Lamm2005-06-21 14:31
Forum topicBasic(er) Simple(r) Type Theory(?) jimdesu2005-06-18 20:25
Forum topicMultilinguals learning computer languages faster than monol. chien0122005-06-15 06:41
StoryConnecting The Dots Ehud Lamm2005-06-13 21:10
Forum topicPure bigraphs: structure and dynamics (by Robin Milner) shahbaz2005-06-12 06:46
Forum topicToday's Status of Functional Programming Languages for Verification Tools ? Dmitri Kondratiev2005-06-06 11:54
StoryJudy Stores Mark Evans2005-06-04 13:44
Forum topicWhat is so bad about compiling? Hank Thediek2005-06-03 15:44
Forum topicShort examples of complex use of state? neelk2005-06-01 19:44
StoryParameterized Unit Tests Ehud Lamm2005-05-27 01:31
Forum topicBest route for new language to be self-hosting Morris Johns2005-05-25 02:47
Forum topicFirst public release of PyPy Dave Benjamin2005-05-22 08:52
Forum topictail recursion rmalafaia2005-05-21 01:33
Forum topicCyc Knowledge Server marco2005-05-19 12:23
StoryRelating FFTW and Split-Radix Ehud Lamm2005-05-14 18:17
Story subtext: Uncovering the simplicity of programming Ehud Lamm2005-05-12 20:49
Forum topicLinks Philip Wadler2005-05-07 10:23
Forum topicVirtual Machine and Runtime Framework Nicolas Cannasse2005-04-29 13:41
StoryComputer generates verifiable mathematics proof Ehud Lamm2005-04-27 10:44
Forum topicChemistry, Graph Tranformation and Programming Languages gmol2005-04-25 18:22
Forum topicHouse , hOp - the Haskell Operating System shapr2005-04-21 11:32
StoryOn the Unusual Effectiveness of Logic in Computer Science Charles A Stewart2005-04-21 11:14