François Garillot

2007
3	EE	François Garillot, Benjamin Werner: Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs 2007: 368-382
2006
2	EE	Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23
1		Vladimir Gapeyev, François Garillot, Benjamin C. Pierce: Statically Typed Document Transformation: An Xtatic Experience. PLAN-X 2006: 2-13

Coauthor Index

1	Vincent Cremet	[2]
2	Vladimir Gapeyev	[1]
3	Sergueï Lenglet	[2]
4	Martin Odersky	[2]
5	Benjamin C. Pierce	[1]
6	Benjamin Werner	[3]

Colors in the list of coauthors