Allan McInnes

type sort icontitleauthorlast post
StoryPunctuated equilibrium in the large scale evolution of programming languages Allan McInnes2015-07-20 01:13
Forum topicWho can make LtU2? raould2015-07-19 21:56
Forum topicLamport: Interprocess Communication Allan McInnes2015-07-07 08:06
Forum topicStrengthening Process Calculi raould2015-07-06 12:07
Forum topicXKCD on type theory... Ray Dillinger2015-06-16 21:32
Forum topicThe evolution of Rust qznc2015-06-07 16:54
Forum topicmessage, stream and protocol typing Rys McCusker2015-05-25 23:37
Forum topicExperiment Ehud Lamm2014-10-01 17:10
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