Home » user account

Sam Tobin-Hochstadt

typetitleauthorlast post sort icon
Forum topicC-Machine marco2010-06-15 19:46
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
StoryExtending the Scope of Syntactic Abstraction Manuel J. Simoni2010-03-05 04:14
StorySuper and Inner — Together at Last! Andris Birkmanis2010-02-13 00:09
Forum topicGenericity over tuples Alex Rubinsteyn2010-02-03 21:04
StoryDelimited Control in OCaml, Abstractly and Concretely, System Description Paul Snively2010-01-26 14:22
StoryNo more tail calls in Javascript? Noel2009-12-23 08:32
Forum topicIs Small Still Beautiful? scottmcl2009-12-11 21:05
StoryScheme to be split into two languages Manuel J. Simoni2009-11-26 16:54
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