Type inference for bimorphic recursion

MaRDI QIDQ4964722zbMATH OpenFDO

Authors Makoto Tatsuta, Ferruccio Damiani

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1106.1234, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1705161
• Type inference with recursive types: Syntax and semantics
• scientific article; zbMATH DE number 1377611
• On Polymorphic Recursion, Type Systems, and Abstract Interpretation
• Typed Lambda Calculi and Applications

Cited in

(2)

• scientific article; zbMATH DE number 1705161 (Why is no real title available?)
• Type inference with recursive types: Syntax and semantics

This page was built for publication: Type inference for bimorphic recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964722)