A polymorphic environment calculus and its type-inference algorithm

DOI10.1023/A:1010010314528zbMath0972.68030OpenAlexW1526043265MaRDI QIDQ5926075

Shin-ya Nishizaki

Publication date: 12 March 2001

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010010314528

zbMATH Keywords

polymorphic lambda calculus

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Functional programming and lambda calculus (68N18)

Related Items (2)

A calculus for reasoning about software composition ⋮ Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions

This page was built for publication: A polymorphic environment calculus and its type-inference algorithm