Searching for "Type-checking Balloon Types." – sorted by Relevance.
-
Type-checking Balloon Types
- ://www.elsevier.nl/locate/entcs/volume20.html 27 pages Type-checking Balloon Types Paulo Sergio Almeida Departamento de Informatica
- Cited by 1 (0 self) – Add To MetaCart
-
Balloon Types: Controlling Sharing of State in Data Types
- . An implementation of a generic type can be type-checked to access the correctness of its instantiation as balloon/non-balloon
- Cited by 106 (1 self) – Add To MetaCart

