Searching for "Recursive type generativity." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
