Home » user account

Sam Tobin-Hochstadt

typetitleauthorlast post sort icon
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
StoryThe Fortress Language Spec v0.618 Dave Herman2010-12-13 04:24
Forum topicWhy are objects so unintuitive? Lee Chou2010-11-19 19:07
Forum topicDesign Principles Behind Smalltalk el-vadimo2010-11-09 17:15
Forum topicLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language Peter Michaux2010-10-28 11:03
Forum topicMildly Extended MixFix shap2010-09-23 02:15
Forum topicThe Halting Problem on Turing Machines johne2010-09-21 23:36
StoryFortifying Macros Manuel J. Simoni2010-09-17 15:51