Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta user
Network profile
1,807
reputation
10
20

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
~40k
people reached
  • Bloomington, IN
  • samth.github.io
  • Member for 8 years, 7 months
  • 397 profile views
  • Last seen Dec 15 '18 at 18:39

Communities (11)

Top Meta Posts
1
0

Top network posts

Top tags (34)

Score 115
Posts 16
Posts % 70
Score 38
Posts 5
Score 38
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

35 Most memorable CS paper titles Oct 22 '14
21 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
9 Are register based machines on von neumann architecture diametrically opposed to functional programming style? Jan 31 '12
9 Applications of Game theory in computer science? Jan 23 '13
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 (30)

Gold

—

Silver

10

Rarest

Bronze

20

Rarest

View all badges →