VeriML

MaRDI QIDQ25436swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=1863543.1863591

Described by source

• VeriML: typed computation of logical terms inside a language with effects

Cited in

(15)

• A graphical language for proof strategies
• BER MetaOCaml
• ReCaml
• Mtac
• Rtac
• Delphin
• Lolliproc
• Gallina
• MiniML
• Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
• Mtac: a monad for typed tactic programming in Coq
• Programming with binders and indexed data-types
• How to make ad hoc proof automation less ad hoc
• Extensible and efficient automation through reflective tactics
• Mtac: a monad for typed tactic programming in Coq

This page was built for software: VeriML