Home » user account

Sam Tobin-Hochstadt

typetitleauthorlast post sort icon
StorySemantics of Memory Management for Polymorphic Languages James Iry2009-04-16 00:08
StoryEnsuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types Paul Snively2009-03-05 17:51
StoryParameterized Notions of Computation neelk2009-02-17 19:38
Story2008 In Review - What Happened with Programming Languages? James Iry2009-01-28 12:15
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topicWeb application shootout? Adam Chlipala2008-11-15 13:21
Forum topicOn the (perceived) equivalence of static and dynamically typed reflective programming languages Ran2008-10-28 23:49
Forum topicHelp with Mixfix in Bison? shap2008-10-09 16:00
StoryFirst-class Macros James Iry2008-09-24 03:54
StoryScaling Type Inference Noel2008-07-02 02:56
StorySimply efficient functional reactivity Matt Hellige2008-04-10 05:53
StoryScheme macro systems Manuel J. Simoni2008-04-07 19:52
StoryThe Design and Implementation of Typed Scheme Ehud Lamm2008-02-08 03:56
Forum topicReally un-mutable Scheme raould2008-01-29 22:20
StoryPLT Redex operational semantics for Scheme Ehud Lamm2007-11-14 17:13
Forum topicExtremely static language? viergroupie2006-12-09 01:28
StoryDraft R6RS available Dave Herman2006-09-23 09:01
StoryScheme Language Steering Committee Report to the Community Anton van Straaten2006-06-26 23:14
Forum topicUsing continuations in Web applications is patented Josef Svenningsson2006-03-24 00:39
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01
Forum topicChapel: "Solving the parallel programming problem" Sean Leather2005-10-09 18:53
StoryEducational Pearl: Automata as Macros Ehud Lamm2005-08-24 21:08
Story2005 Programming Languages Day at Watson Ehud Lamm2005-04-27 13:14