scientific article; zbMATH DE number 910819
From MaRDI portal
Publication:4885989
Recommendations
- Type decomposition in NIP theories
- scientific article; zbMATH DE number 2185650
- Type-driven defunctionalization
- Polymorphic typed defunctionalization and concretization
- Type inference, abstract interpretation and strictness analysis
- Type inference for pure type systems
- Typing in pure type systems
- On non-trivially decomposable types
- Erasure and Polymorphism in Pure Type Systems
- scientific article; zbMATH DE number 3930968
Cited in
(1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885989)