robertjohnsimmons's profile

About me

Username:	robertjohnsimmons
Name:	Robert J. Simmons
Job title:	Graduate Student
Affiliation:	Carnegie Mellon University
Web page:	http://www.cs.cmu.edu/~rjsimmon
Joined:	2009-06-30

Research Fields^NEW

None specified

What I do

Not specified

Interests

Not specified

Recent Activity

2009-11-27

15:33: added a comment to group forum thread [CLOSED] Volume 0?

2009-11-25

23:15: added a group forum thread [CLOSED] Volume 0?
15:19: posted Strictly declarative specification of sophisticated points-to analyses

2009-11-24

19:45: posted Testing Concurrent Systems: An Interpretation of Intuitionistic Logic

2009-11-23

16:48: posted The Principal Type-Scheme of an Object in Combinatory Logic
16:14: posted A theory of type polymorphism in programming

2009-11-21

00:12: posted Queue Logic: An Undisplayable Logic?

2009-11-20

07:28: posted A Coverage Checking Algorithm for LF

2009-11-19

23:58: posted On understanding data abstraction, revisited