Computer Science PhD student interested in theory of programming languages.
New York, United States
Member for 7 years, 11 months
0 profile views
Last seen Nov 4 '13 at 0:05
- Computer Science 1.6k 1.6k 99 silver badges1717 bronze badges
- Stack Overflow 1.4k 1.4k 11 gold badge1313 silver badges3434 bronze badges
- Mathematics 331 331 22 silver badges1010 bronze badges
- Theoretical Computer Science 266 266 11 gold badge55 silver badges1010 bronze badges
- Academia 131 131 22 bronze badges
- View network profile
Top network posts
- 35 Research and open challenges in Programming Language Theory
- 15 Mutation Observers---subtree
- 12 Do we create a programming language by writing a compiler?
- 10 Are total recursive functions recursively enumerable?
- 10 Halting problem without self-reference
- 10 Denotational semantics of object-oriented languages
- 9 Type inference + overloading
- View more network posts →