Sam Tobin-Hochstadt

typetitleauthorlast post sort icon
Forum topicSF-calculus Barry Jay2013-08-30 18:42
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23
Forum topic"Fortress Wrapping Up" Alan Eliasen2012-11-11 23:51
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-06-22 02:59
Forum topicMatthew Flatt on Racket Submodules gasche2012-06-09 18:21
StoryAdding Delimited and Composable Control to a Production Programming Environment Manuel J. Simoni2012-04-22 23:57
Forum topicCertified Programming with Dependent Types: home stretch! Adam Chlipala2012-04-22 22:31
Forum topiciPhone PL lockdown Sean McDirmid2011-12-24 05:49
StoryWhy Object-Oriented Languages Need Tail Calls Leon P Smith2011-10-01 21:58
Forum topicWhat Does Functional Programming Mean? Denis Bredelet -jido2011-09-26 00:17
Forum topicForum Topics and Story Henry Luo2011-09-24 17:53
Forum topicFexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction Marc Coram2011-08-11 16:42
Forum topicWhy is tail call optimization an issue in GC'd languages? Sriram Srinivasan2011-08-02 09:20
Forum topicKnockout JS raould2011-07-28 05:57
Forum topicWhat is the best literate programming tool/environment/research work? Z-Bo2011-07-20 21:23
Forum topicMiddle History of Logic Programming Hewitt2011-06-28 02:49
Forum topicmodules are anti-modular el-vadimo2011-06-27 17:31
StoryOne Pass Real-Time Generational Mark-Sweep Garbage Collection James Iry2011-05-18 23:10
StoryKeyword and Optional Arguments in PLT Scheme Manuel J. Simoni2011-03-23 17:33
StoryGetting Started Ehud Lamm2011-03-16 17:43
Forum topicGo or Unladen Swallow? Srikumar Subramanian2011-02-07 08:56
Forum topicOracle, Sun, and Fortress mzraly2010-12-20 01:16
Storyprogram verification: the very idea el-vadimo2010-12-17 18:21
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44