Raphaël Cauderlier, Catherine Dubois. ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti. 13th ICTAC International Colloquium on Theoretical Aspects of Computing, Oct 2016, Taipei, Taiwan. 13th ICTAC International Colloquium on Theore
HAL Archives-Ouvertes,
Raphaël Cauderlier, Catherine Dubois. ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti.