VeriML

swMATH13522MaRDI QIDQ25436FDOQ25436

Author name not available (Why is that?)

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
• Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
• Mtac: a monad for typed tactic programming in Coq
• Delphin
• Lolliproc
• Gallina
• MiniML
• How to make ad hoc proof automation less ad hoc
• Programming with binders and indexed data-types
• Mtac: a monad for typed tactic programming in Coq
• Extensible and efficient automation through reflective tactics

This page was built for software: VeriML