Parametric polymorphism and semantic subtyping

DOI10.1145/2034773.2034789zbMath1323.68205OpenAlexW4211182751MaRDI QIDQ5176967

Nabil Layaïda, Nils Gesbert, Pierre Genevès

Publication date: 5 March 2015

Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

polymorphismtype systemsubtyping

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Backward type inference for XML queries

Uses Software

• CDuce
• XDuce

This page was built for publication: Parametric polymorphism and semantic subtyping