Paul Govereau

According to our database, Paul Govereau authored at least 4 papers between 2005 and 2011.

Collaborative distances:

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

2011

Evaluating value-graph translation validation for LLVM.

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2009

Towards type-theoretic semantics for transactional concurrency.

Aleksandar Nanevski, Paul Govereau, Greg Morrisett

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

2008

Ynot: dependent types for imperative programs.

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2005

An expressive language of signatures.

Norman Ramsey, Kathleen Fisher, Paul Govereau

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005