Z-Bo

typetitleauthorlast post sort icon
Forum topicThe Architecture of Open Source Applications Manuel J. Simoni2011-05-25 23:15
StoryAsynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit neelk2011-05-23 20:26
Forum topicEero, an Objective-C Dialect andyarvanitis2011-05-21 20:33
Forum topicArtificial Grammar Reveals Inborn Language Sense Rehno Lindeque2011-05-19 09:35
StoryPatterns in Functional Programming Ehud Lamm2011-05-18 11:43
Forum topicData Representation Synthesis lmeyerov2011-05-17 02:32
Forum topicGenerative Grammar-based Computation dmbarbour2011-05-08 06:50
StoryWhy I invented Kinetic Rule Language (KRL)? Ehud Lamm2011-05-03 01:57
Forum topicElephants don't play chess Sean McDirmid2011-05-01 20:24
Forum topicBuild Your Own Blocks (BYOB) lmeyerov2011-04-28 08:47
Forum topicThe Grafwegen Hi Compiler named Hic release 0.1 marco2011-04-24 10:41
Forum topicStaking Claims: A History of Programming Language Design Claims and Evidence Sean McDirmid2011-04-19 23:40
Forum topicProgramming with touch? Sean McDirmid2011-04-13 23:03
StoryFinding and Understanding Bugs in C Compilers James Iry2011-04-02 07:31
Forum topicContinuations that store the heap? cdiggins2011-03-25 04:47
Forum topicBeyond the concept of coupling M Riccobene2011-03-23 17:31
Forum topicdoes your language need a memory model? el-vadimo2011-03-22 03:31
Forum topicLingua Lambda loldrup2011-03-16 16:13
StoryMemory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Z-Bo2011-03-14 05:47
Forum topicInfoQ video + transcript of Rob Pike on Go raould2011-03-11 00:14
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
Forum topicCan contracts provide the features of type classes, bounded quantification and effect systems? Jules Jacobs2011-02-28 20:50
Forum topicI've run out of programming languages to study Josh Griggs2011-02-27 03:20
StorySimplicial Databases neelk2011-02-22 19:16
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52