Results 1 -
1 of
1
Standard ML-NJ weak polymorphism and imperative constructs
- IN PROCEEDINGS, EIGHTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
, 1996
"... Standard ML of New Jersey (SML-NJ) uses "weak type variables" to restrict the polymorphic use of functions that may allocate reference cells, manipulate continuations, or use exceptions. However, the ..."
Abstract
-
Cited by 11 (0 self)
- Add to MetaCart
Standard ML of New Jersey (SML-NJ) uses "weak type variables" to restrict the polymorphic use of functions that may allocate reference cells, manipulate continuations, or use exceptions. However, the
