Brandon Moore

typetitle sort iconauthorlast post
StoryLightweight Static Capabilities Paul Snively2021-12-02 13:45
Forum topicRank-0 Intersection Type System Keean Schupke2014-06-15 11:52
StoryGarbage Collection Without Paging neelk2012-07-25 00:39
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
StoryA Language-Based Approach to Unifying Events and Threads shapr2011-11-21 12:53
Forum topicData, Codata, and Their Implications for Equality, and Serialization Douglas McClean2011-10-14 15:45
Forum topicAn Accidental Simula User, Luca Cardelli Isaac Gouy2011-09-15 12:44
StoryDelimited dynamic binding Chung-chieh Shan2011-08-03 11:51
StoryFinding and Understanding Bugs in C Compilers James Iry2011-04-02 07:31
StoryMemory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Z-Bo2011-03-14 05:47
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
Forum topicThe AST Typing Problem shap2011-01-19 03:15
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
StoryA Preliminary Survey on Functional Programming Ehud Lamm2010-12-14 05:28
Forum topicArticles on Precise GC with Parametric Polymorphism scottmcl2010-12-08 20:52
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
StoryOmega - Language of the Future Manuel J. Simoni2010-10-01 13:17
Forum topicMildly Extended MixFix shap2010-09-23 02:15
Forum topicWhat are the properties of "Functional Programming Languages"? kaveh.shahbazian2010-09-13 17:38
Forum topicOverlapping Instances + Functional Dependencies Unsound? shap2010-08-08 15:11
Forum topicThe Rust Language Noel2010-07-27 23:17
StoryScribble: Closing the Book on Ad Hoc Documentation Tools Manuel J. Simoni2010-07-23 23:54
Forum topicAny multi-threaded interpreters? Pinku Surana2010-06-26 23:58
Forum topicParser that allow syntax extensions serras2010-01-24 03:08
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48