adrieng

typetitle sort iconauthorlast post
StoryDraining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development gasche2015-08-22 15:22
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-08-19 02:04
Forum topicBranch Prediction and the Performance of Interpreters - Don’t Trust Folklore adrieng2015-08-18 16:42
StoryFacebook open sources "Infer", static program analysis tool Z-Bo2015-07-28 18:54
Forum topicFunctors are Type Refinement Systems adrieng2015-06-12 20:12
Forum topicPaper journals are in bad shape; priority established in HAL ... Hewitt2015-06-07 15:39
Forum topicmessage, stream and protocol typing Rys McCusker2015-05-25 23:37
Forum topicTrouble understanding Danvy's functional unparsing jezng2015-05-18 13:35
StoryType soundness and race freedom for Mezzo gasche2015-05-07 13:14
Forum topicPony Actor/OO with Deny Capabilities raould2015-05-05 16:19
Forum topichow many lines of code can civilization support? Thomas Lord2015-04-09 22:07
Forum topicFuture of Programming Videos, final program Sean McDirmid2014-12-12 14:09
Forum topicOptimisation by repeated beta- and eta-reduction L Spice2014-09-22 01:00
StoryApple Introduces Swift bashyal2014-08-21 17:54
Forum topicBrendan Eich, CEO of mozilla Sean McDirmid2014-04-13 18:55
Forum topicMinimal implementation of state machines giuseppemag2014-02-01 05:12
StoryWhat needs to be done? Ehud Lamm2011-11-07 05:29
StoryMemory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Z-Bo2011-03-14 05:47
Forum topicI've run out of programming languages to study Josh Griggs2011-02-27 03:20
Forum topicClojure's Solutions to the Expression Problem fogus2010-11-27 07:21
Forum topicLucid, Gipsy paper raould2009-08-08 20:55
Forum topicsubjective but hopefully less flamebaid-lame raould2009-06-30 17:39
Forum topicTeaching oneself Abstract Interpretation ? David Teller2008-03-29 09:16
Forum topicDeliverable code? Hank Thediek2007-04-16 11:52