Allan McInnes

typetitle sort iconauthorlast post
Story"8th" - a gentle introduction to a modern Forth Allan McInnes2017-10-14 05:08
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryC is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Allan McInnes2016-03-25 19:25
Forum topicNeed to Talk marco2016-02-02 05:56
Forum topicBrightScript (Just what we needed: yet another scripting language) raould2015-12-15 21:01
StoryCompilers as Assistants bashyal2015-12-04 15:35
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
Forum topicOcaPic: Programming PIC microcontrollers in OCaml Allan McInnes2015-10-12 22:15
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