Pages that link to "Item:Q6171748"
From MaRDI portal
The following pages link to Types, abstraction, and parametric polymorphism, part 2 (Q6171748):
Displaying 16 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Structural polymorphism (Q685400) (← links)
- Functorial polymorphism (Q753948) (← links)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Relational limits in general polymorphism (Q1346668) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman (Q4029583) (← links)
- Parametric and type-dependent polymorphism (Q4327831) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Types as parameters (Q5044771) (← links)
- Semantic analysis of normalisation by evaluation for typed lambda calculus (Q5889884) (← links)
- Pragmatic gradual polymorphism with references (Q6535232) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)