Sam Tobin-Hochstadt

Tree

PhD Candidate in Programming Languages at Northeastern University.

PLT, PRL, CCIS, NEU

Office: West Village H, Room 308
Email: samth ccs neu edu

Research

My research focuses on the development of Typed Scheme, a statically-typed dialect of PLT Scheme, with an expressive type system that captures a wide variety of common Scheme idioms, as well as allowing types in only portions of the program.

You can help with Typed Scheme, by contributing wrapper modules. See here for more information.

In the past, I've worked on the Fortress language, at Sun Microsystems, a language designed for scientific computing.

Teaching

I am currently teaching CSU 211, Introduction to Programming and Computing.

Software

I've also contributed to a variety of free software projects:

Papers

Variable-arity Polymorphism. T. Stephen Strickland, Sam Tobin-Hochstadt and Matthias Felleisen.
ESOP, 2009. Paper [pdf]

The Design and Implementation of Typed Scheme. Sam Tobin-Hochstadt and Matthias Felleisen.
POPL, 2008. Paper [pdf] Models [Isabelle/HOL Source] [PLT Redex Source]

Advanced Macrology and the Implementation of Typed Scheme. Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt.
Scheme Workshop, 2007. Paper [pdf].

Interlanguage Migration: From Scripts to Programs. Sam Tobin-Hochstadt and Matthias Felleisen.
Dynamic Languages Symposium (DLS), 2006. Paper [pdf]. Talk [pdf].

The Fortress Language Specification. Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy Steele and Sam Tobin-Hochstadt.
Sun Microsystems Technical Report, Version 1.0, 2008. [pdf].

A Core Calculus of Metaclasses. Sam Tobin-Hochstadt and Eric Allen.
Foundations of Object-Oriented Languages (FOOL), 2005. Paper [pdf].

Life

In the rest of my life, I play Ultimate and I go outside.

My wife, Katherine Edmonds, is a graduate student in the Wagner lab at the Harvard Medical School.