Intensional polymorphism in type-erasure semantics
From MaRDI portal
Recommendations
Cited in
(23)- Type-specialized staged programming with process separation
- On polymorphic types of untyped terms
- scientific article; zbMATH DE number 1693038 (Why is no real title available?)
- Flexible type analysis
- Fully reflexive intensional type analysis
- The essence of functional programming on semantic data
- Typing local control and state using flow analysis
- Hoare type theory, polymorphism and separation
- Parametricity, type equality, and higher-order polymorphism
- From Monomorphic to Polymorphic Well-Typings and Beyond
- Trace semantics for polymorphic references
- scientific article; zbMATH DE number 2087540 (Why is no real title available?)
- scientific article; zbMATH DE number 7577586 (Why is no real title available?)
- Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
- Polymorphic success types for Erlang
- Intensional polymorphism in type-erasure semantics
- Free theorems and runtime type representations
- Intensional polymorphism in type-erasure semantics
- Dynamic translucency with abstraction kinds and higher-order coercions
- Erasure and Polymorphism in Pure Type Systems
- Directly reflective meta-programming
- Type-based termination of generic programs
- Generic programming in 3D
This page was built for publication: Intensional polymorphism in type-erasure semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4709843)
