Searching for "Relaxing the Value Restriction." – sorted by Relevance.
-
Relaxing the value restriction
- Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences
- Cited by 7 (0 self) – Add To MetaCart
-
Relaxing the Value Restriction
- Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences Kyoto
- Add To MetaCart
-
Type-Safe Distributed Programming for OCaml
- to build compositional runtime type names and revisit the OCaml relaxed value restriction. We show
- Cited by 9 (3 self) – Add To MetaCart
-
Taming Effects with Monadic Typing
- -free expressions to be distinguished through the type system and thus permits relaxation of the value restriction
- Cited by 9 (0 self) – Add To MetaCart
-
Contents
- : • -allowmynames Allow references to myname fields (not recommended) • -nomlpoly Use relaxed value restriction
- Add To MetaCart

