Parametric Polymorphism — Universally (Q2947462): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-662-47709-0_7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W948979153 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Typed closure conversion preserves observational equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: State-dependent representation independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2968413 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical models for Abadi and Plotkin's logic for parametricity / rank
 
Normal rank
Property / cites work
 
Property / cites work: The calculus of constructions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The impact of higher-order state and control effects on local relational reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994895 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A kripke logical relation between ML and assembly / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical logic and type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bifibrational functorial semantics of parametric polymorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Types, abstraction, and parametric polymorphism, part 2 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3786612 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3216629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fundamental concepts in programming languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Translating dependency into parametricity / rank
 
Normal rank

Latest revision as of 19:11, 10 July 2024

scientific article
Language Label Description Also known as
English
Parametric Polymorphism — Universally
scientific article

    Statements

    Identifiers