Martin Hofmann
Martin Hofmann.
A Type System for Bounded Space and Functional In-Place Update.
Nordic Journal of Computing
, 7(4):258-289, Winter 2000.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database