Theoretical Computer Science
Profile Activity
Meta user
Network profile
1,877
reputation
11
21

Sam Tobin-Hochstadt

I'm an Assistant Professor at Indiana University working on programming languages. I'm also a developer of Racket and a member of ECMA TC39, the standards committee for JavaScript.

Follow me at @samth.

23
answers
0
questions
~44k
people reached
  • Bloomington, IN
  • samth.github.io
  • Member for 10 years, 2 months
  • 411 profile views
  • Last seen Sep 24 '20 at 14:02

Communities (11)

Top Meta Posts
1
0

Top network posts

Top tags (0)

This user has not participated in any tags.

Top posts (23)

All Questions Answers
Votes Newest
37 Most memorable CS paper titles Oct 22 '14
23 Is there an expressiveness hierarchy for type systems? Sep 15 '11
18 Historic Relationship between Typed Lambda Calculus and Lisp? Jun 25 '14
11 Research on call-site based type inference? Nov 28 '11
11 Is there a survey of the semantics of various programming language features? Apr 6 '11
10 Is there any programming language theory describing foreign function interfaces (FFI) and multiple language bindings? Apr 6 '11
10 Applications of Game theory in computer science? Jan 23 '13
9 Are register based machines on von neumann architecture diametrically opposed to functional programming style? Jan 31 '12
8 Beautiful results in TCS Feb 28 '12
8 Automatic proofs or model checking in an extremely simplified functional language Jan 27 '12
View all questions and answers →

Badges (32)

Gold

—

Silver

11

Rarest

Bronze

21

Rarest

View all badges →