Paul Govereau

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

Coauthor Index

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

Colors in the list of coauthors