BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Govereau:Paul

Contributed to:

PLDI 20112011
ICFP 20082008
ICFP 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.