Linearity and the Pi-Calculus (1999)

by Naoki Kobayashi , Benjamin C. Pierce , David N. Turner
Citations:135 - 16 self