A type-theoretic study on partial continuations (2000)

by Y Kameyama
Venue:Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, volume 1872 of Lecture Notes in Computer Science