Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Sozeau, Matthieu - Laboratoire Preuves, Programmes et Systèmes, INRIA Paris
Program-ing in Coq Matthieu Sozeau
Subset coercions in Coq Matthieu Sozeau
Program-ing Dependent Finger Trees In Coq Matthieu Sozeau
A New Look At Generalized Rewriting in Type Theory
Programing in Coq Matthieu Sozeau
Equations: a dependent pattern-matching Matthieu Sozeau
Program-ing in Coq Matthieu Sozeau
No d'ordre : 9279 UNIVERSITE DE PARIS-SUD 11
A New Look at Generalized Rewriting in Type Theory
Program-ing in Coq Matthieu Sozeau
Coq: An Environment for Proving and Programming
Equations: a dependent pattern-matching Matthieu Sozeau
Programming with Dependent Types in Coq Matthieu Sozeau
Program-ing Finger Trees In Coq or How To Morph Endo Using Type Theory
Equations: a dependent pattern-matching Matthieu Sozeau
Elaborations in Type Theory Matthieu Sozeau
Equations: a dependent pattern-matching Matthieu Sozeau
An Environment for Programming with Dependent Types (in Coq)
A Dependent Pattern-Matching Compiler Matthieu Sozeau
PROGRAM-ing Finger Trees in COQ Matthieu Sozeau
Subset coercions in COQ MATTHIEU SOZEAU
A New Look at Generalized Rewriting in Type Theory
An Environment for Programming with Dependent Types (in Coq)
Master Parisien de Recherche en Informatique Universite Paris VII
A journey with Russell: Programing Dependent Finger Trees
Programing in Coq Matthieu Sozeau
Under consideration for publication in J. Functional Programming 1 A dependently-typed formalization of
Russell's Metatheoretic Study -Notes Matthieu Sozeau
Equations: a dependent pattern-matching Matthieu Sozeau
Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive
A Dependent Pattern-Matching Suite Matthieu Sozeau
