Finite subtype inference with explicit polymorphism

DOI10.1016/S0167-6423(00)00013-7zbMath0966.68031MaRDI QIDQ1595249

Dominic Duggan

Publication date: 11 February 2001

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

finite subtype inference

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• ADOL-C
• ADIC
• TAMC

This page was built for publication: Finite subtype inference with explicit polymorphism