Skip to main content
Theoretical Computer Science
Sam Tobin-Hochstadt's user avatar
Sam Tobin-Hochstadt's user avatar
Sam Tobin-Hochstadt's user avatar
Sam Tobin-Hochstadt
  • Member for 14 years, 1 month
  • Last seen more than 1 year ago
Profile Activity
Stats
1,897
reputation
52k
reached
23
answers
0
questions
Communities
View all
About

I'm an Associate 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.

Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
21
bronze badges
Top tags
View all tags
120
Score
16
Posts
70
Posts %
42
Score
5
Posts
22
Posts %
40
Score
3
Posts
13
Posts %
25
Score
2
Posts
9
Posts %
24
Score
3
Posts
13
Posts %
17
Score
3
Posts
13
Posts %
Top posts
View all questions and answers
answer
37
Most memorable CS paper titles
Oct 22, 2014
answer
23
Is there an expressiveness hierarchy for type systems?
Sep 15, 2011
answer
19
Historic Relationship between Typed Lambda Calculus and Lisp?
Jun 25, 2014
answer
11
Research on call-site based type inference?
Nov 28, 2011
answer
11
Is there a survey of the semantics of various programming language features?
Apr 6, 2011
answer
10
Is there any programming language theory describing foreign function interfaces (FFI) and multiple language bindings?
Apr 6, 2011
answer
10
Applications of Game theory in computer science?
Jan 23, 2013
answer
9
Are register based machines on von neumann architecture diametrically opposed to functional programming style?
Jan 31, 2012
answer
8
Beautiful results in TCS
Feb 28, 2012
answer
8
Automatic proofs or model checking in an extremely simplified functional language
Jan 27, 2012
Top Meta posts
1
0
6
Are we migrating too readily?
Top network posts
View all network posts
42
How can I get perf to find symbols in my program
22
How to eval strings in racket
19
Racket reader macros
18
Including an external file in racket
17
What are the similarities and differences between the typing features in Typed Racket and the type-like features in Clojure?