Index of /research/publications

	Name	Last modified	Size	Description
	Parent Directory		-
	A_New_Look_at_Generalized_Rewriting_in_Type_Theory-Coq09-210809.pdf	23-Aug-2009 07:51	351K
	A_New_Look_at_Generalized_Rewriting_in_Type_Theory-TYPES09-130509.pdf	17-Aug-2009 08:36	362K
	A_New_Look_at_Generalized_Rewriting_in_Type_Theory.pdf	15-Jul-2009 15:55	328K
	An_Environment_for_Programming_with_Dependent_Types-LRI-081208.pdf	14-Dec-2008 08:41	1.3M
	An_Environment_for_Programming_with_Dependent_Types-Nijmegen-200109.pdf	21-Jan-2009 07:30	1.0M
	An_Environment_for_Proving_and_Programming-LIFO-260109.pdf	26-Jan-2009 12:27	1.2M
	Classes_de_types_de_premiere_classe.pdf	01-Feb-2009 10:15	93K
	Coercion_par_prédicats_en_Coq.pdf	14-Dec-2008 08:41	440K
	Coq_with_Classes-IMDEA-201011.pdf	24-Oct-2011 06:48	347K
	Coq_with_Classes-JFLA-040212.pdf	07-Feb-2012 19:47	547K
	Coq_with_Classes-Kent-071111.pdf	31-Jan-2012 12:53	347K
	Coq_with_Classes-PPS-050911.pdf	24-Oct-2011 06:48	317K
	Dependent_Finger_Trees-dtp08-180208.pdf	14-Dec-2008 08:41	232K
	Elaborations_in_Type_Theory-DTP10-100710-demo.v	12-Jul-2010 20:51	2.4K
	Elaborations_in_Type_Theory-DTP10-100710.pdf	12-Jul-2010 20:51	672K
	Equations:_A_Dependent_Pattern-Matching_Compiler-Chalmers-190111.pdf	18-Aug-2011 04:52	321K
	Equations:_A_Dependent_Pattern-Matching_Compiler-ITP10-140710.pdf	19-Jul-2010 11:41	333K
	Equations:_A_Dependent_Pattern-Matching_Compiler-PPS-130110.pdf	22-Jan-2010 11:47	307K
	Equations:_A_Dependent_Pattern-Matching_Compiler-Shonan-150911.pdf	24-Oct-2011 06:48	760K
	Equations:_A_Dependent_Pattern-Matching_Compiler-TYPES10-151010.pdf	18-Oct-2010 10:17	328K
	Equations:_A_Dependent_Pattern-Matching_Compiler-UPenn-240910.pdf	14-Oct-2010 06:36	341K
	Equations:_A_Dependent_Pattern-Matching_Compiler.pdf	12-Jul-2010 20:51	300K
	First-Class_Type_Classes-GDR_GPL-300109.pdf	01-Feb-2009 10:15	346K
	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-nottingham-150208.pdf	12-Jan-2009 18:44	880K
	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
	Programming_with_Dependent_Types_in_Coq-PPS-260209.pdf	25-Feb-2009 17:38	1.2M
	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	26-Feb-2009 17:41	1.9M
	drafts/	18-Aug-2011 04:52	-
	master-sozeau.pdf	14-Dec-2008 08:41	440K
	thesis-sozeau.pdf	26-Feb-2009 17:41	1.9M