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

by Martin Hofmann
Citations:85 - 15 self