Index of /research/publications

	Name	Last modified	Size	Description
	Parent Directory		-
	An_Environment_for_Programming_with_Dependent_Types-LRI-081208.pdf	14-Dec-2008 08:41	1.3M
	Coercion_par_prédicats_en_Coq.pdf	14-Dec-2008 08:41	440K
	Dependent_Finger_Trees-dtp08-180208.pdf	14-Dec-2008 08:41	232K
	First-Class_Type_Classes-Gallium-031108.pdf	14-Dec-2008 08:41	346K
	First-Class_Type_Classes-LRI-030308.pdf	14-Dec-2008 08:41	189K
	First-Class_Type_Classes-TPHOLs-200808.pdf	14-Dec-2008 08:41	265K
	First-Class_Type_Classes.pdf	14-Dec-2008 08:41	210K
	Program-ing_Finger_Trees_in_Coq-icfp07-011007.pdf	14-Dec-2008 08:41	238K
	Program-ing_Finger_Trees_in_Coq-types07-040507.pdf	14-Dec-2008 08:41	601K
	Program-ing_Finger_Trees_in_Coq.pdf	14-Dec-2008 08:41	274K
	Program-ing_in_Coq-gallium-160307.pdf	14-Dec-2008 08:41	1.9M
	Program-ing_in_Coq-harvard-230108.pdf	14-Dec-2008 08:41	958K
	Program-ing_in_Coq-proval-090307.pdf	14-Dec-2008 08:41	1.6M
	Program-ing_in_Coq-psu-160108.pdf	14-Dec-2008 08:41	961K
	README.html	14-Dec-2008 10:07	119
	Subset_Coercions_in_Coq-types06-210406.pdf	14-Dec-2008 08:41	1.0M
	Subset_Coercions_in_Coq.pdf	14-Dec-2008 08:41	238K
	Un_environnement_pour_la_programmation_avec_types_dépendants.pdf	14-Dec-2008 08:41	1.9M
	drafts/	14-Dec-2008 09:55	-
	thesis-sozeau.pdf	14-Dec-2008 08:41	1.9M