Accéder directement au contenu

Claude Kirchner

10
Documents
Identifiants chercheurs

Présentation

Publications

lliquori
Image document

Decidable Type Inference for the Polymorphic Rewriting Calculus

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Communication dans un congrès inria-00000817v1
Image document

Pure Patterns Type Systems

 Gilles Barthe , Horatiu Cirstea , Claude Kirchner , Luigi Liquori
Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
Communication dans un congrès inria-00099463v2
Image document

Rewrite Strategies in the Rewriting Calculus

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
Communication dans un congrès inria-00099586v1
Image document

The rho cube : some results, some problems

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
First 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
Image document

Rewriting Calculus with(out) Types

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori
WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
Communication dans un congrès inria-00100858v1
Image document

The Rho Cube

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori
4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
Communication dans un congrès inria-00107877v1
Image document

Matching Power

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori
12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩
Communication dans un congrès inria-00107876v2
Image document

Types for REWERSE reasoning and query languages I3-D4

 Horatiu Cirstea , Emmanuel Coquery , Wlodzimierz Drabent , Francois Fages , Claude Kirchner
2005, 71p
Autre publication scientifique hal-01149625v1

A Rho Cube

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori
[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport inria-00099309v1

Matching Power

 Horatiu Cirstea , Claude Kirchner , Luigi Liquori
[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport inria-00099308v1