Claude Kirchner
1
Documents
Identifiants chercheurs
claudekirchner-
0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 1
- 1
|
|
Formal Validation of Pattern Matching CodeProceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197
Communication dans un congrès
inria-00000701v1
|