Allan McInnes

type sort icontitleauthorlast post
Forum topicModeration on LtU gasche2015-09-05 11:34
Forum topicNullable type is needed to fix Tony Hoare's "billion dollar mistake". Hewitt2015-09-04 10:12
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