Claude Kirchner
3
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 3
- 3
- 3
- 1
- 1
- 1
- 1
|
Decidable Type Inference for the Polymorphic Rewriting Calculus17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Communication dans un congrès
inria-00000817v1
|
|
The rho cube : some results, some problemsFirst International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
Communication dans un congrès
inria-00099411v1
|
|
Types for REWERSE reasoning and query languages I3-D42005, 71p
Autre publication scientifique
hal-01149625v1
|