<  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.

A

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: Sat Feb 24 08:56:00 2024 EST