Sam Tobin-Hochstadt

Citat de

	Toate	Din 2020
Referințe bibliografice	3427	1036
h-index	29	20
i10-index	42	32

340

170

255

2006200720082009201020112012201320142015201620172018201920202021202220232024202526 50 68 88 102 118 167 156 178 265 256 259 261 323 197 224 191 189 212 23

Acces public

Afișați-le pe toate

18 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresă de e-mail confirmată pe felleisen.org
Matthew FlattProfessor, School of Computing, University of UtahAdresă de e-mail confirmată pe cs.utah.edu
Robert Bruce FindlerNorthwestern UniversityAdresă de e-mail confirmată pe cs.northwestern.edu
Sukyoung RyuProfessor, School of Computing, KAISTAdresă de e-mail confirmată pe kaist.ac.kr
David Van HornUniversity of MarylandAdresă de e-mail confirmată pe cs.umd.edu
Vincent St-AmourPLT @ Northwestern UniversityAdresă de e-mail confirmată pe eecs.northwestern.edu
T. E. S. StricklandGoogleAdresă de e-mail confirmată pe google.com
Eric AllenIndependent ResearcherAdresă de e-mail confirmată pe allen-research.com
Jan-Willem MaessenAdresă de e-mail confirmată pe alum.mit.edu
Jay McCarthyAssociate Professor of Computer Science, UMass LowellAdresă de e-mail confirmată pe cs.uml.edu
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityAdresă de e-mail confirmată pe indiana.edu
Victor LuchangcoCatholic Institute of TechnologyAdresă de e-mail confirmată pe alum.mit.edu
Phúc C. NguyễnUniversity of MarylandAdresă de e-mail confirmată pe cs.umd.edu
Christos DimoulasPLT @ Northwestern UniversityAdresă de e-mail confirmată pe northwestern.edu
Guy L. Steele Jr.Oracle LabsAdresă de e-mail confirmată pe oracle.com
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityAdresă de e-mail confirmată pe cs.brown.edu
Ryan CulpepperCzech Technical University in PragueAdresă de e-mail confirmată pe fit.cvut.cz
Ryan NewtonMIT, Purdue University, Meta PlatformsAdresă de e-mail confirmată pe indiana.edu
Carl Friedrich Bolz-TereickHeinrich-Heine-Universität DüsseldorfAdresă de e-mail confirmată pe uni-duesseldorf.de
Christine H. FloodJulia ComputingAdresă de e-mail confirmată pe juliacomputing.com

Urmăriți

Sam Tobin-Hochstadt

Associate Professor, Indiana University

Adresă de e-mail confirmată pe cs.indiana.edu - Pagina de pornire

Programming Languages Software Engineering


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
The design and implementation of typed scheme S Tobin-Hochstadt, M Felleisen Symposium on Principles of Programming Languages, 395-406, 2008	415	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	261	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	238	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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori