A Type-theoretic Study on Partial Continuations (2000)

Cached

Download Links

by Yukiyoshi Kameyama
Venue:Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, volume 1872 of Lecture Notes in Computer Science
Citations:12 - 4 self