P. Argon, John Mullins and O. Roux
Paper (1996)
This item is not archived in PolyPublie
| Additional Information: | Nom historique du département: Département de génie électrique et de génie informatique |
|---|---|
| Department: |
Department of Electrical Engineering Department of Computer Engineering and Software Engineering |
| PolyPublie URL: | https://publications.polymtl.ca/31561/ |
| Conference Title: | Workshop on Proof Search in Type-Theoretic Languages (CADE 1996) |
| Conference Location: | New Brunswick, USA |
| Conference Date(s): | 1996-07-30 |
| Date Deposited: | 18 Apr 2023 15:24 |
| Last Modified: | 25 Sep 2024 16:13 |
| Cite in APA 7: | 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. |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
