Home » user account

Sam Tobin-Hochstadt

typetitleauthorlast post sort icon
Forum topicModule Initialization and Ordering - Another Module Question scottmcl2009-11-22 23:04
Forum topicI Seek a Reasonable Survey on the Concept of "Module System" scottmcl2009-11-18 15:51
Forum topicfunctions vs procedures.. ceti3312009-08-20 18:05
Forum topicResolved Debates in Syntax Design ? gasche2009-08-13 00:06
Forum topicDefinition of Functional Programming Language vag2009-08-07 22:39
Forum topicSemantics: Logic vs. PL Ohad Kammar2009-06-27 14:17
Forum topicRight on! Ehud Lamm2009-06-27 03:44
Forum topicPreventing downcasting and adding a universal variant cdiggins2009-06-16 22:17
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
Forum topicStatic typing may require runtime type checking? sidhu2009-05-06 15:18
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