Searching for "Recursive type generativity." – sorted by Relevance.
-
Recursive Type Generativity
- Recursive Type Generativity Derek Dreyer Toyota Technological Institute at Chicago dreyer
- Add To MetaCart
-
Some types with inclusion properties in ∀, →, μ
- → Type Type variables Functions Type = ∀v.Type ⎪⎩ µv.Type G[Type,...,Type] Quantified types Recursive
- Add To MetaCart
-
Bounded-Space Tagless Garbage Collection for First Order Polymorphic Languages
- for mutual recursion, and, for each set of mutually recursive types, generate a consolidated pointer
- Cited by 2 (0 self) – Add To MetaCart
-
Mechanizing the Metatheory of Standard ML
- translucent modules, abstraction, polymorphism, higher kinds, references, exceptions, recursive types
- Cited by 30 (2 self) – Add To MetaCart
-
A Type System for Recursive Modules
- Abstract A Type System for Recursive Modules There has been much work in recent years on extending
- Cited by 2 (1 self) – Add To MetaCart
-
Towards a proposal for datatypes in E-LOTOS
- as recursive types generated by free constructors: the general concept for defining types is the sum
- Add To MetaCart

