A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: www.eecs.northwestern.edu

• Computer programming
• Software engineering
• Type theory
• Declarative programming
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Formalisation en Coq du calcul de processus HOcore Simon Boulier 1 Alan Schmitt 2

Source URL: sardes.inrialpes.fr

A Tale of Two Provers Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou University of Maryland

Source URL: nikivazou.github.io

28 Veranstaltungen Donnerstag, 26. April 2018 | Nr. 17 COQ D’OR / OXIL ZOFINGEN

Source URL: www.stadtanzeiger-olten.ch

Automation by Analogy, in Coq Alasdair Hill, Katya Komendantskaya Heriot-Watt University, Scotland 20 March 2018

Source URL: cl-informatik.uibk.ac.at

Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org DISCRETE JORDAN CURVE THEOREM: A PROOF FORMALIZED IN COQ WITH HYPERMAPS JEAN-FRANC

Source URL: drops.dagstuhl.de

Toward Type-Preserving Compilation of Coq ∗ William J. Bowman Northeastern University, USA 1.

Source URL: www.williamjbowman.com

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: jeapostrophe.github.io

PRODUCTION PACEA 2017 _______ Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES ou dans des bases de données internationales (ACL) ACL - Baker O., Chamel B., Coq

Source URL: lascarbx.labex.u-bordeaux.fr

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: jeapostrophe.github.io