Number of documents

10

Claude Kirchner


Luigi Liquori   

Conference papers7 documents

  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus. 17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69. ⟨inria-00000817⟩
  • Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Pure Patterns Type Systems. 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⟩. ⟨inria-00099463v2⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Rewrite Strategies in the Rewriting Calculus. 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⟩. ⟨inria-00099586⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Rewriting Calculus with(out) Types. 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⟩. ⟨inria-00100858⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. The rho cube : some results, some problems. 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. ⟨inria-00099411⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. 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⟩. ⟨inria-00107876v2⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. The Rho Cube. 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 ⟩. ⟨inria-00107877⟩

Other publications1 document

  • Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 2005, 71p. ⟨hal-01149625⟩

Reports2 documents

  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. [Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. ⟨inria-00099308⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. A Rho Cube. [Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. ⟨inria-00099309⟩