David Rajchenbach-Teller

type sort icontitleauthorlast post
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34
Forum topicBrendan Eich, CEO of mozilla Sean McDirmid2014-04-13 18:55
StoryOpa Ehud Lamm2011-10-28 01:42
Forum topicEero, an Objective-C Dialect andyarvanitis2011-05-21 20:33
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
Forum topicTypes vs classes: what is the difference? caustic2010-03-18 19:39
Forum topicTesting release of a platform for hosting pure functional web applications Adam Chlipala2010-02-26 23:30
Forum topicSystem-level Static Analysis David Rajchenbach-Teller2009-07-25 00:53
Forum topicThe Church-Turing Thesis: Breaking the Myth naasking2009-07-18 00:45
StoryJoshua Bloch: "Nearly All Binary Searches Broken" Ehud Lamm2009-05-15 15:20
Forum topicsource code conversion bokel2009-05-03 14:49
StoryAutomated Code Review Tools for Security Ehud Lamm2009-01-09 20:00
Forum topicChoice of OS of LtU readers marco2008-10-21 11:00
Forum topicIs API evolution of exceptions special? Jaroslav Tulach2008-10-02 16:17
Forum topicclosure-based object-oriented programming languages Tony Finch2008-10-02 14:35
StorySimon Peyton Jones Interview Chris Rathman2008-10-01 19:42
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
Forum topicWriting a new language - ideas? windozer2008-06-24 16:47
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
StoryCERT C Secure Coding Standard Ehud Lamm2008-03-31 17:49
Forum topicTeaching oneself Abstract Interpretation ? David Rajchenbach-Teller2008-03-29 09:16
StoryEriskay: a Programming Language Based on Game Semantics neelk2008-03-26 16:54
StoryWhat do you mean by studying "programming languages"? Ehud Lamm2008-01-22 18:34
Forum topicUniversal Type System Akhilesh Mritunjai2007-11-24 18:01
StoryECMAScript 4 overview paper doublec2007-11-07 04:52