Kevin Watkins

According to our database, Kevin Watkins authored at least 5 papers between 1996 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Monadic concurrent linear logic programming.

Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004

Specifying Properties of Concurrent Computations in CLF.

Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

2003

A Concurrent Logical Framework: The Propositional Fragment.

Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2001

On Regions and Linear Types.

David Walker, Kevin Watkins

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

1996

Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels.

Ran Libeskind-Hadas, Kevin Watkins, Thomas Hehre

Proceedings of the Second International Symposium on High-Performance Computer Architecture, 1996