GADTs Meet Subtyping

DOI10.1007/978-3-642-37036-6_30zbMath1381.68060arXiv1301.2903OpenAlexW1701826411MaRDI QIDQ5326307

Didier Rémy, Gabriel Scherer

Publication date: 5 August 2013

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.2903

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Safe zero-cost coercions for Haskell

Uses Software

• OCaml

This page was built for publication: GADTs Meet Subtyping