ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti.

Raphal Cauderlier, Catherine Dubois

Browse the full ICTAC paper archive.