dblp.uni-trier.dewww.uni-trier.de

Paul Govereau

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
3EEAleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90
2008
2EEAleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
2005
1EENorman Ramsey, Kathleen Fisher, Paul Govereau: An expressive language of signatures. ICFP 2005: 27-40

Coauthor Index

1Lars Birkedal [2]
2Kathleen Fisher [1]
3J. Gregory Morrisett (Greg Morrisett) [2] [3]
4Aleksandar Nanevski [2] [3]
5Norman Ramsey [1]
6Avraham Shinnar [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)