Allan McInnes

typetitleauthor sort iconlast post
Forum topicAnother "big" question Ehud Lamm2015-09-02 15:49
Forum topicBig questions Ehud Lamm2015-08-27 03:57
Forum topicImplementing the communication semantics of actors Andrew Moss2015-08-24 18:31
Forum topicAre Actors a Good Model for Computation. Keean Schupke2015-08-19 02:04
StoryTracking the Flow of Ideas through the Programming Languages Literature Allan McInnes2015-08-12 21:28
Forum topicResearch vs implementation, theory vs practice, and LtU Blaisorblade2015-07-28 16:57
Forum topicNew paper: Theory of Programs Bertrand_Meyer2015-07-27 16:21
Forum topicFunctor marco2015-07-27 09:23
Forum topic"Prep" in programming languages Hewitt2015-07-25 23:26
Storymbeddr: an Extensible C-based Programming Language and IDE for Embedded Systems Allan McInnes2015-07-24 21:05
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