Sam Tobin-Hochstadt - Concepedia

Author

Sam Tobin-Hochstadt

Northeastern University ORCID

Also Known As

SAM TOBIN-HOCHSTADT, Sam Tobin-Hochstadt, Sam Tobin-hochstadt, Tobin-Hochstadt, Sam

Publications

2.1K

Citations

H-Index

Concepts

All Affiliations

Northeastern University University of Utah Indiana University Indiana University Bloomington Northwestern University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	26	1.7K
2	Language Studies	10	10	576
3	Social Sciences	2	2	128
4	Behavioral Sciences	2	2	44
5	Humanities	1	1	88

Sam Tobin-Hochstadt

Publications

1.7K

Citations

H-Index

Page 1

	Year	Citations
The design and implementation of typed scheme Sam Tobin-Hochstadt, Matthias Felleisen Software MaintenanceEngineeringType TheoryScripting LanguageSoftware Engineering	2008	310
Interlanguage migration Sam Tobin-Hochstadt, Matthias Felleisen EngineeringGeneric ProgrammingProgram AnalysisDependently Typed ProgrammingRich Type Systems	2006	204
Logical types for untyped languages Sam Tobin-Hochstadt, Matthias Felleisen ReasoningEngineeringAutomated ReasoningProgram AnalysisType Theory	2010	130
Languages as libraries Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, ACM SIGPLAN Notices Rich Type SystemEngineeringMultilingualismSoftware EngineeringLanguage Design	2011	122
Languages as libraries Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, EngineeringMultilingualismSoftware EngineeringLanguage Design BenefitsSemantics	2011	114
Chaperones and impersonators T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, EngineeringCompiler TechnologyHomosexualitySoftware AnalysisFormal Verification	2012	88
A programmable programming language Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Communications of the ACM Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisLanguage-oriented Programming	2018	71
Run your research Casey Klein, John Clements, Christos Dimoulas, ACM SIGPLAN Notices Programming Language CommunityEngineeringVerificationSoftware EngineeringModel Checking	2012	63
Gradual typing for first-class classes Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, EngineeringType TheorySoftware EngineeringSoftware AnalysisFormal Verification	2012	61
Run your research Casey Klein, John Clements, Christos Dimoulas, Programming Language CommunityEngineeringFormal ModelsVerificationSoftware Engineering	2012	59

Page 1