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

by Martin Hofmann
Citations:84 - 14 self