Searching for "Two-level types and parameterized modules." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Two-level types and parameterized modules
- … to implement these practices. These techniques are: two-level types, and type-parameterized modules. Two-level…
- Cited by 4 (0 self) – Add To MetaCart
-
Two-Level Types and Parameterized Modules (Functional Pearls)
- … are: two-level types, and type parameterized modules. Two-level types define recursive data types…
- Add To MetaCart
-
Generic Unification via Two-Level Types and Parameterized Modules - Functional Pearl
- …ABSTRACT Generic Unification via Two-Level Types and Parameterized Modules As a functional pearl…
- Cited by 13 (1 self) – Add To MetaCart
Showing 1 through 3.
