VeriML

DOI10.1145/1863543.1863591zbMath1323.68384OpenAlexW2011757033MaRDI QIDQ5176952

Zhong Shao, Antonis Stampoulis

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1863543.1863591

zbMATH Keywords

type theorydependent typesproof assistantslogical frameworks

Mathematics Subject Classification ID

Related Items (3)

Mtac: A monad for typed tactic programming in Coq ⋮ Extensible and Efficient Automation Through Reflective Tactics ⋮ VeriML

Uses Software

• Coq
• Isabelle
• ML
• HOL Light

This page was built for publication: VeriML