A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Theoretical Computer Science
Meta user
Network profile
1,827
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
~41k
people reached
  • Bloomington, IN
  • samth.github.io
  • Member for 9 years, 2 months
  • 402 profile views
  • Last seen Dec 3 '19 at 14:24

Communities (11)

Top Meta Posts
1
0

Top network posts

Top tags (34)

Score 116
Posts 16
Posts % 70
Score 39
Posts 5
Score 39
Posts 3
Score 23
Posts 2
Score 22
Posts 3
Score 17
Posts 2
View all tags →

Top posts (23) All Questions Answers | Votes Newest

37 Most memorable CS paper titles Oct 22 '14
22 Is there an expressiveness hierarchy for type systems? Sep 15 '11
17 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 →