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