Researcher identifiers

Number of documents

1

Claude Kirchner


"Antoine Reilles"   

Conference papers1 document

  • Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. Formal Validation of Pattern Matching Code. Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197. ⟨inria-00000701⟩