Matt Hellige

typetitleauthorlast post sort icon
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
Forum topicProgramming by poking: why MIT stopped teaching SICP Sean McDirmid2016-05-20 04:50
StoryProgramming with Algebraic Effects and Handlers Matt Hellige2015-12-04 03:11
Forum topicCompilation to C, a definitive guide? naasking2015-07-05 19:00
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicMaking implicits less powerful? Vladimir Slepnev2015-02-20 16:07
StoryMorrow & First-class Labels Frank Atanassow2014-12-28 20:26
Forum topicLet's kick continuations around for a while... Ray Dillinger2014-12-26 18:05
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
Forum topicLooking for a good online forum on compiler design and implementation Talin2014-12-03 22:33
Forum topicCode Completion for Generic Programming Keean Schupke2014-11-24 17:37
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicOptimisation by repeated beta- and eta-reduction L Spice2014-09-22 01:00
Forum topicRequest For Advice and Guidance On Writing a Scheme To C Compiler? Alex12014-09-13 23:33
Forum topicrequest for namespace binding service terminology Rys McCusker2014-07-21 19:12
Forum topicAmbiguous language namespaces Sean McDirmid2014-07-04 03:31
Forum topicstates in stateless machine Ivan Vodišek2014-06-06 22:12
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 topicInquiry into the nature of software complexity. bryanedds2014-04-24 20:30
Story.NET Compiler Platform ("Roslyn") Ehud Lamm2014-04-22 23:53
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
Forum topicDisallow shadowing? Y2014-02-25 02:06
StoryThe origin of zero-based array indexing Ehud Lamm2013-12-23 09:24