Theoretical Computer Science
Sam Tobin-Hochstadt
Profile Activity
Stats
1,887
reputation
46k
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 34 tags
119
Score
16
Posts
70
Posts %
41
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
2
Posts
9
Posts %
Top posts
View all questions and answers
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
19
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
Top Meta posts
1
0
6
Are we migrating too readily?
Top network posts
View all
29
How can I get perf to find symbols in my program
19
Racket reader macros
18
How to eval strings in racket
17
What are the similarities and differences between the typing features in Typed Racket and the type-like features in Clojure?
16
Including an external file in racket
14
Should macros have side effects?
13
How do I get the type of a value in Scheme?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.