A Type System for Bounded Space and Functional in-Place Update (2000)

by Martin Hofmann
Citations:94 - 15 self