Stack Exchange

Rob Simmons

Pittsburgh, PA

cs.cmu.edu/~rjsimmon

Age: 30

Graduate student at Carnegie Mellon University's Computer Science Department.

top accounts reputation activity favorites subscriptions
Top Questions
Top Answers
15
What is the most powerful kind of parser?
cstheory.stackexchange.com

12
Curriculum: Logical/Formal Methods in Security
cstheory.stackexchange.com

11
Type inference for imperative statements other than assignment
cstheory.stackexchange.com

9
What's the difference between term rewriting and pattern matching?
cstheory.stackexchange.com

9
Commutative operators in unification
cstheory.stackexchange.com

8
Logic Programming: Transforming B:-A C:-A to B,C:-A
cstheory.stackexchange.com

8
Closed term and alpha-conversion
cstheory.stackexchange.com

8
Automated theorem proving in linear logic
cstheory.stackexchange.com

7
What do we know about restricted versions of the halting problem
cstheory.stackexchange.com

7
What are the relationships between Functional Reactive Programming, Automatic Differentiation, Self-Adjusting Computation and Partial Evaluation?
cstheory.stackexchange.com

7
Functions that typed lambda calculus cannot compute
cstheory.stackexchange.com

7
Unification-based elimination rule for equality
cstheory.stackexchange.com

6
When a process spawns another process
cstheory.stackexchange.com

6
Database query languages for efficient queries
cstheory.stackexchange.com

6
Example problems with polynomial and exponential solutions, and tiny footprint?
cstheory.stackexchange.com

6
Chomsky normal form method: CYK parser performance implications?
cstheory.stackexchange.com

5
A question in constraint based analysis
cstheory.stackexchange.com

5
Characterizing closure under expansion/reduction for big-step semantics?
cstheory.stackexchange.com