Sam Tobin-Hochstadt

Identifiers

• name variant Sam Tobin-Hochstadt 0.60 · backfill

Papers (11)

1. Practical Optional Types for Clojure cs.PL · 2018 · author #3
2. Size-Change Termination as a Contract cs.PL · 2018 · author #3
3. From high-level inference algorithms to efficient code cs.PL · 2018 · author #4
4. Soft Contract Verification for Higher-Order Stateful Programs cs.PL · 2017 · author #3
5. Occurrence Typing Modulo Theories cs.PL · 2015 · author #3
6. Higher-order symbolic execution for contract verification and refutation cs.PL · 2015 · author #2
7. Soft Contract Verification cs.PL · 2013 · author #2
8. Extensible Pattern Matching in an Extensible Language cs.PL · 2011 · author #1
9. The Design and Implementation of Typed Scheme: From Scripts to Programs cs.PL · 2011 · author #1
10. Semantic Solutions to Program Analysis Problems cs.PL · 2011 · author #1
11. Higher-Order Symbolic Execution via Contracts cs.PL · 2011 · author #1

Mentions

• 1511.07033 #3 · backfill · confidence 0.70 Sam Tobin-Hochstadt
• 1507.04817 #2 · backfill · confidence 0.70 Sam Tobin-Hochstadt
• 1307.6239 #2 · backfill · confidence 0.70 Sam Tobin-Hochstadt
• 1106.2578 #1 · backfill · confidence 0.70 Sam Tobin-Hochstadt
• 1106.2575 #1 · backfill · confidence 0.70 Sam Tobin-Hochstadt
• 1105.0106 #1 · backfill · confidence 0.70 Sam Tobin-Hochstadt
• 1103.1362 #1 · backfill · confidence 0.70 Sam Tobin-Hochstadt

Frequent Coauthors

• David Van Horn 6 shared papers
• Phuc C. Nguyen 4 shared papers
• Thomas Gilray 2 shared papers
• Ambrose Bonnaire-Sergeant 1 shared papers
• Andrew M. Kent 1 shared papers
• Chung-chieh Shan 1 shared papers
• David Kempe 1 shared papers
• Jacques Carette 1 shared papers
• Matthias Felleisen 1 shared papers
• Praveen Narayanan 1 shared papers
• Rajan Walia 1 shared papers
• Rowan Davies 1 shared papers