Travelled to:1 × Canada
1 × Estonia
1 × USA
Collaborated with:G.Morrisett J.Tristan N.Ramsey K.Fisher A.Nanevski A.Shinnar L.Birkedal
Talks about:translat (1) signatur (1) program (1) languag (1) express (1) depend (1) valid (1) imper (1) graph (1) evalu (1)
Person: Paul Govereau
DBLP: Govereau:Paul
Contributed to:
2011
20082005Wrote 3 papers:
- PLDI-2011-TristanGM #validation
- Evaluating value-graph translation validation for LLVM (JBT, PG, GM), pp. 295–305.
- ICFP-2008-NanevskiMSGB #dependent type #imperative #named #source code
- Ynot: dependent types for imperative programs (AN, GM, AS, PG, LB), pp. 229–240.
- ICFP-2005-RamseyFG
- An expressive language of signatures (NR, KF, PG), pp. 27–40.