Principal type inference for GADTs

DOI10.1145/2837614.2837665zbMath1347.68076OpenAlexW2255732237MaRDI QIDQ2828286

Sheng Chen, Martin Erwig

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2837614.2837665

zbMATH Keywords

type inferenceGADTchoice typetype reconciliationvariational unification

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Migrating gradual types

This page was built for publication: Principal type inference for GADTs