Home » user account

Sam Tobin-Hochstadt

typetitleauthorlast post sort icon
Forum topicQuantitative comparison of unit testing vs. static typing? lmeyerov2012-04-26 21:34
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
Storythe gnu extension language Manuel J. Simoni2011-09-14 22:16
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
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2011-04-02 13:52
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 topicOn the (Alleged) Value of Proof for Assurance shap2010-12-15 14:59
Forum topicLambda the Ultimate seems an Overstatement (not) Ed Earl Ross2010-12-13 19:44
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
Forum topicWhy are objects so unintuitive? Lee Chou2010-11-19 19:07