Allan McInnes

typetitleauthorlast post sort icon
Forum topicA StackExchange Site for Programming Language Theory aaditmshah2014-09-27 15:30
Forum topicLanguages without operator precedence Douglas McClean2014-09-10 20:40
StorySafely Composable Type-Specific Languages Allan McInnes2014-08-13 18:09
Forum topicReactive Programming J Storrs Hall2014-08-06 03:32
Forum topicNotation for debugging type derivations. Keean Schupke2014-06-06 19:04
Forum topicAnnouncing Lang.NEXT 2014 - Registration is Free and Now Open Charles Torre2014-06-04 00:59
Forum topictype theory about programming language? Rys McCusker2014-05-21 23:10
Forum topicGiant list of visual PLs Manuel J. Simoni2014-05-02 16:09
Forum topicIntroduction to processes (Tony Hoare's CSP processes) hbrandl2014-04-29 21:48
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
StoryDeterminism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading Allan McInnes2014-03-05 19:33
Forum topicProving running times of algorithms jason stumpf2013-09-13 02:43
StoryWhy Did M.I.T. Switch from Scheme to Python? Leon P Smith2013-09-12 17:06
Forum topicBeyond FRP: physics-inspired programming abstractions? Sean McDirmid2013-08-22 19:13
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
StoryGoogle Blockly Lets You Hack With No Keyboard Allan McInnes2012-06-13 07:36
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
Forum topicCareer paths and concerns Jonathan Schuster2012-03-31 18:04
Forum topicHow to Generate (Hard) Real-Time Code from Declarative Programming Languages? bryanedds2012-03-29 23:06
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryComputing Needs Time Allan McInnes2012-03-05 19:35
StoryA Language-Based Approach to Unifying Events and Threads shapr2011-11-21 12:53
StoryThe Weird World of Bi-Directional Programming Ehud Lamm2011-10-07 21:43
StorySpecification and Verification: The Spec# Experience Allan McInnes2011-06-10 04:46