Concepedia

Sam Tobin-Hochstadt

ST

27

Publications

1.7K

Citations

22

H-Index

2006

Active since

Affiliations

Northeastern University(Current)

University of Utah

Indiana University

Indiana University Bloomington

Northwestern University

Sam Tobin-Hochstadt is an author at Northeastern University specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringProgram AnalysisFormal MethodsComputer ScienceSoftware AnalysisSoftware EngineeringFormal VerificationAutomated ReasoningSoftware DesignLinguistics

Publications per year

2006–2019

27

Publications

27

The design and implementation of typed scheme

Sam Tobin-Hochstadt, Matthias Felleisen · 2008 · 310 citations

Software Maintenance, Engineering, Type Theory +20

Interlanguage migration

Sam Tobin-Hochstadt, Matthias Felleisen · 2006 · 204 citations

Engineering, Generic Programming, Program Analysis +13

Logical types for untyped languages

Sam Tobin-Hochstadt, Matthias Felleisen · 2010 · 130 citations

Reasoning, Engineering, Automated Reasoning +14

Languages as libraries

Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper et al. · ACM SIGPLAN Notices · 2011 · 122 citations

Rich Type System, Engineering, Multilingualism +23

Languages as libraries

Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper et al. · 2011 · 114 citations

Engineering, Multilingualism, Software Engineering +23

Rows per page

1–5 of 27