Partial type equivalences for verified dependent interoperability

DOI10.1145/2951913.2951933zbMath1360.68322OpenAlexW2413556709MaRDI QIDQ2985778

Nicolas Tabareau, Éric Tanter, Pierre-Évariste Dagand

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01328012/file/main.pdf

zbMATH Keywords

dependent typesinteroperabilitytype equivalences

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Foundations of dependent interoperability

Uses Software

• Coq
• OCaml

This page was built for publication: Partial type equivalences for verified dependent interoperability