Formalization of a polymorphic subtyping algorithm

DOI10.1007/978-3-319-94821-8_36OpenAlexW2811069900MaRDI QIDQ1791209

Bruno C. d. S. Oliveira, Tom Schrijvers, Jinxu Zhao

Publication date: 4 October 2018

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/626049

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Coq
• Isabelle/HOL
• Haskell
• Abella
• CompCert
• PoplMark
• PureScript

This page was built for publication: Formalization of a polymorphic subtyping algorithm