A logical aspect of parametric polymorphism
From MaRDI portal
Publication:6560174
Cites work
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 3485174 (Why is no real title available?)
- scientific article; zbMATH DE number 512792 (Why is no real title available?)
- scientific article; zbMATH DE number 3993540 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras
- Categorical data types in parametric polymorphism
- Categorical semantics for higher order polymorphic lambda calculus
- Formal parametric polymorphism
- Functorial polymorphism
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Relational limits in general polymorphism
- Structural polymorphism
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Theory of Formal Systems. (AM-47)
This page was built for publication: A logical aspect of parametric polymorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560174)