Computer Science PhD student interested in theory of programming languages.
New York, United States
Member for 7 years, 7 months
1 profile view
Last seen Aug 24 '14 at 2:06
- Computer Science 1.6k 1.6k 99 silver badges1717 bronze badges
- Stack Overflow 1.3k 1.3k 11 gold badge1313 silver badges3434 bronze badges
- Mathematics 331 331 22 silver badges1010 bronze badges
- Theoretical Computer Science 276 276 11 gold badge55 silver badges1010 bronze badges
- Academia 131 131 22 bronze badges
- View network profile
Top network posts
- 34 Research and open challenges in Programming Language Theory
- 14 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 →