Intensional polymorphism in type-erasure semantics

DOI10.1017/S0956796801004282zbMath1040.68059OpenAlexW1974398164WikidataQ56831129 ScholiaQ56831129MaRDI QIDQ4709843

Greg Morrisett, Stephanie Weirich, Karl Crary

Publication date: 2002

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796801004282

zbMATH Keywords

type passing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (10)

Directly reflective meta-programming ⋮ Type-specialized staged programming with process separation ⋮ Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ The Essence of Functional Programming on Semantic Data ⋮ Typing Local Control and State Using Flow Analysis ⋮ Parametricity, type equality, and higher-order polymorphism ⋮ Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions ⋮ Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework ⋮ Free Theorems and Runtime Type Representations

This page was built for publication: Intensional polymorphism in type-erasure semantics