<  Back to the Polytechnique Montréal portal

Items where Author is "Argon, P."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Number of items: 1.

Argon, P., Mullins, J., & Roux, O. (1996, July). A correct compiler construction using Coq [Paper]. Workshop on Proof Search in Type-Theoretic Languages (CADE 1996), New Brunswick, USA. Unavailable

List generated on: Mon Sep 16 08:46:42 2024 EDT
PolyPublie is the institutional repository of Polytechnique Montréal.
This website is powered by the EPrints open-source software.