Dependent types and program equivalence

DOI10.1145/1706299.1706333zbMath1312.68062OpenAlexW2129858500MaRDI QIDQ5255080

Stephanie Weirich, Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg

Publication date: 11 June 2015

Published in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.2246

zbMATH Keywords

dependent typesprogram equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Coq
• Haskell
• Agda