Allan McInnes

typetitleauthor sort iconlast post
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
StoryPassing a Language through the Eye of a Needle Allan McInnes2011-05-19 08:05
Forum topicGo or Unladen Swallow? Srikumar Subramanian2011-02-07 08:56
Forum topicSeeking papers that unify control theory and programming language design Z-Bo2011-01-26 22:41
Forum topicA Brief History of Scala Isaac Gouy2011-01-17 05:41
Forum topicTolerant vs. Demanding Software kclancy2010-12-30 04:44
StoryHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Ehud Lamm2010-12-29 19:26
StoryContinuation-Passing C: Compiling threads to events through continuations Allan McInnes2010-12-18 16:46
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
Forum topicNew Dataflow Programming Language ad1mt2010-11-30 01:24
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56