<  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
Jump to: A
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: Thu Jun 1 19:18:23 2023 EDT