Sam Tobin-Hochstadt

Citované v

	Všetky	Od 2020
Citácie	3424	1033
h-index	29	20
i10-index	42	32

340

170

255

2006200720082009201020112012201320142015201620172018201920202021202220232024202526 50 68 88 102 118 165 158 178 265 256 259 261 323 197 224 191 189 212 20

Verejný prístup

všetky položky

18 článkov

0 článkov

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityOverená e-mailová adresa na: felleisen.org
Matthew FlattProfessor, School of Computing, University of UtahOverená e-mailová adresa na: cs.utah.edu
Robert Bruce FindlerNorthwestern UniversityOverená e-mailová adresa na: cs.northwestern.edu
Sukyoung RyuProfessor, School of Computing, KAISTOverená e-mailová adresa na: kaist.ac.kr
David Van HornUniversity of MarylandOverená e-mailová adresa na: cs.umd.edu
Vincent St-AmourPLT @ Northwestern UniversityOverená e-mailová adresa na: eecs.northwestern.edu
T. E. S. StricklandGoogleOverená e-mailová adresa na: google.com
Eric AllenIndependent ResearcherOverená e-mailová adresa na: allen-research.com
Jan-Willem MaessenOverená e-mailová adresa na: alum.mit.edu
Jay McCarthyAssociate Professor of Computer Science, UMass LowellOverená e-mailová adresa na: cs.uml.edu
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityOverená e-mailová adresa na: indiana.edu
Victor LuchangcoCatholic Institute of TechnologyOverená e-mailová adresa na: alum.mit.edu
Phúc C. NguyễnUniversity of MarylandOverená e-mailová adresa na: cs.umd.edu
Christos DimoulasPLT @ Northwestern UniversityOverená e-mailová adresa na: northwestern.edu
Guy L. Steele Jr.Oracle LabsOverená e-mailová adresa na: oracle.com
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityOverená e-mailová adresa na: cs.brown.edu
Ryan NewtonMIT, Purdue University, Meta PlatformsOverená e-mailová adresa na: indiana.edu
Ryan CulpepperCzech Technical University in PragueOverená e-mailová adresa na: fit.cvut.cz
Carl Friedrich Bolz-TereickHeinrich-Heine-Universität DüsseldorfOverená e-mailová adresa na: uni-duesseldorf.de
Christine H. FloodJulia ComputingOverená e-mailová adresa na: juliacomputing.com

Sledovať

Sam Tobin-Hochstadt

Associate Professor, Indiana University

Overená e-mailová adresa na: cs.indiana.edu - Domovská stránka

Programming Languages Software Engineering


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
The design and implementation of typed scheme S Tobin-Hochstadt, M Felleisen Symposium on Principles of Programming Languages, 395-406, 2008	414	2008
The Fortress language specification E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... Sun Microsystems 139, 140, 2005	392*	2005
Interlanguage migration: From scripts to programs S Tobin-Hochstadt, M Felleisen Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming …, 2006	260	2006
Languages as libraries S Tobin-Hochstadt, V St-Amour, R Culpepper, M Flatt, M Felleisen Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011	237	2011
Logical types for untyped languages S Tobin-Hochstadt, M Felleisen International Conference on Functional Programming, 117-128, 2010	161	2010
Run your research: on the effectiveness of lightweight mechanization C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ... Symposium on Principles of Programming Languages, 285-296, 2012	146	2012
A programmable programming language M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ... Communications of the ACM 61 (3), 62-71, 2018	118	2018
The Racket Manifesto M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ... 1st Summit on Advances in Programming Languages (SNAPL 2015)} 32, 113-128, 2015	112	2015
Chaperones and impersonators: run-time support for reasonable interposition TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt OOPSLA 47 (10), 943-962, 2012	107	2012
The Fortress language specification version 1.0 E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... March, 2008	104	2008
Method and apparatus for expressing and checking relationships between types S Ryu, EE Allen, VM Luchangco, JJ Hallett III, SY Tobin-Hochstadt US Patent 8,225,294, 2012	99	2012
Gradual typing for first-class classes A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen OOPSLA 47 (10), 793-810, 2012	95	2012
Complete monitors for behavioral contracts C Dimoulas, S Tobin-Hochstadt, M Felleisen Programming Languages and Systems: 21st European Symposium on Programming …, 2012	93	2012
Monotonic references for efficient gradual typing JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia Programming Languages and Systems: 24th European Symposium on Programming …, 2015	88	2015
Pycket: a tracing JIT for a functional language S Bauman, CF Bolz, R Hirschfeld, V Kirilichev, T Pape, JG Siek, ... International Conference on Functional Programming 50 (9), 22-34, 2015	74	2015
Higher-Order Symbolic Execution via Contracts S Tobin-Hochstadt, D Van Horn OOPSLA 2012, 2012	70	2012
Soft contract verification PC Nguyen, S Tobin-Hochstadt, D Van Horn International Conference on Functional Programming, 139-152, 2014	69	2014
Towards practical gradual typing A Takikawa, D Feltey, E Dean, M Flatt, RB Findler, S Tobin-Hochstadt, ... European Conference on Object Oriented Programming 37, 2015	53	2015
Practical Optional Types for Clojure A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt Programming Languages and Systems LNCS 9632, 68, 2016	52	2016
Migratory typing: Ten years later S Tobin-Hochstadt, M Felleisen, R Findler, M Flatt, B Greenman, AM Kent, ... 2nd Summit on Advances in Programming Languages (SNAPL 2017), 17: 1-17: 17, 2017	51	2017

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori