Pages that link to "Item:Q4709843"
From MaRDI portal
The following pages link to Intensional polymorphism in type-erasure semantics (Q4709843):
Displaying 17 items.
- Directly reflective meta-programming (Q848742) (← links)
- Type-based termination of generic programs (Q923883) (← links)
- Generic programming in 3D (Q923888) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- On polymorphic types of untyped terms (Q2453585) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- Typing Local Control and State Using Flow Analysis (Q3000584) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Parametricity, type equality, and higher-order polymorphism (Q3564921) (← links)
- From Monomorphic to Polymorphic Well-Typings and Beyond (Q3617436) (← links)
- Trace semantics for polymorphic references (Q4635919) (← links)
- (Q5101355) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
- Polymorphic success types for Erlang (Q5222976) (← links)
- Intensional polymorphism in type-erasure semantics (Q5234277) (← links)
- Free Theorems and Runtime Type Representations (Q5262947) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)