Sam Tobin-Hochstadt

31 papers and 345 indexed citations i.

About

Sam Tobin-Hochstadt has authored 31 papers that have received a total of 345 indexed citations. This includes 25 papers in Artificial Intelligence, 20 papers in Information Systems and 12 papers in Software. The topics of these papers are Logic, programming, and type systems (22 papers), Software Engineering Research (19 papers) and Parallel Computing and Optimization Techniques (11 papers). Sam Tobin-Hochstadt is often cited by papers focused on Logic, programming, and type systems (22 papers), Software Engineering Research (19 papers) and Parallel Computing and Optimization Techniques (11 papers) and collaborates with scholars based in United States, United Kingdom and Mexico. Sam Tobin-Hochstadt's co-authors include Matthias Felleisen, David Van Horn, Matthew Flatt, Jeremy G. Siek and Christos Dimoulas and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Journal of Functional Programming

In The Last Decade

Rankless by CCL
2025