Linearity and the Pi-Calculus (1999)

by Naoki Kobayashi , Benjamin C. Pierce , David N. Turner
Citations:177 - 17 self