Recommendations
Cites work
- scientific article; zbMATH DE number 4181330 (Why is no real title available?)
- scientific article; zbMATH DE number 3882404 (Why is no real title available?)
- scientific article; zbMATH DE number 4158597 (Why is no real title available?)
- scientific article; zbMATH DE number 3825806 (Why is no real title available?)
- scientific article; zbMATH DE number 3902022 (Why is no real title available?)
- scientific article; zbMATH DE number 3928956 (Why is no real title available?)
- scientific article; zbMATH DE number 3951980 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4033057 (Why is no real title available?)
- scientific article; zbMATH DE number 4049849 (Why is no real title available?)
- scientific article; zbMATH DE number 4050971 (Why is no real title available?)
- scientific article; zbMATH DE number 4061468 (Why is no real title available?)
- scientific article; zbMATH DE number 3763259 (Why is no real title available?)
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 3485174 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 3261673 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- scientific article; zbMATH DE number 3384257 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A generalization of the functorial calculus
- A small complete category
- Automatic synthesis of typed -programs on term algebras
- CLU reference manual
- Categorical semantics for higher order polymorphic lambda calculus
- Constructive mathematics and computer programming
- Constructive natural deduction and its ‘ω-set’ interpretation
- Data Types as Lattices
- Dinatural transformations
- Domain theoretic models of polymorphism
- Edinburgh LCF. A mechanized logic of computation
- Extensional models for polymorphism
- Functorial polymorphism
- Fundamental concepts in programming languages
- LCF considered as a programming language
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- On functors expressible in the polymorphic typed lambda calculus
- The Category-Theoretic Solution of Recursive Domain Equations
- The Discrete Objects in the Effective Topos
- The lambda calculus, its syntax and semantics
- The next 700 programming languages
- The semantics of second-order lambda calculus
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(56)- Functorial polymorphism
- On Compositionality of Dinatural Transformations
- A modest model of records, inheritance, and bounded quantification
- Structural polymorphism
- A categorical semantics for polarized MALL
- Covariant types
- Types, abstraction, and parametric polymorphism, part 2
- A logical aspect of parametric polymorphism
- G-dinaturality.
- Introduction to Type Theory
- A sequent calculus for subtyping polymorphic types
- Formal parametric polymorphism
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
- Linear Läuchli semantics
- Parametricity for primitive nested types
- A representation theorem for second-order functionals
- The equational logic of fixed points
- scientific article; zbMATH DE number 7204448 (Why is no real title available?)
- Game semantics for bounded polymorphism
- Core algebra revisited
- On the algebraic structure of declarative programming languages
- Relational parametricity for control considered as a computational effect
- Composing dinatural transformations: towards a calculus of substitution
- Dinatural numbers
- Selective strictness and parametricity in structural operational semantics, inequationally
- The Girard-Reynolds isomorphism (second edition)
- Intensional harmony as isomorphism
- Functors are type refinement systems
- Bifibrational functorial semantics of parametric polymorphism
- An extension of system \(F\) with subtyping
- scientific article; zbMATH DE number 7471683 (Why is no real title available?)
- Softness of hypercoherences and MALL full completeness
- Functorial semantics of first-order views
- The Girard-Reynolds isomorphism
- A principled approach to programming with nested types in Haskell
- Proof nets, coends and the Yoneda isomorphism
- Types as parameters
- Notions of computation as monoids
- Least fixpoints of endofunctors of cartesian closed categories
- Categorical data types in parametric polymorphism
- Fixed-point operations on ccc's. I
- Parametricity as isomorphism
- Games and full completeness for multiplicative linear logic
- Polymorphism and the obstinate circularity of second order logic: a victims' tale
- The naturality of natural deduction
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
- General Homomorphic Overloading
- Event domains, stable functions and proof-nets
- On paradoxes in normal form
- An exactification of the monoid of primitive recursive functions
- Bunched polymorphism
- Inversion, iteration, and the art of dual wielding
- scientific article; zbMATH DE number 4154448 (Why is no real title available?)
- A characterization of the least-fixed-point operator by dinaturality
- Linear logic, coherence and dinaturality
- Baby Modula-3 and a theory of objects
This page was built for publication: Functorial polymorphism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q753948)
