A Typed Higher-Order Programming Language Based on the Pi-Calculus (1993)

Cached

Download Links

by Benjamin C. Pierce , Didier Rémy , David N. Turner
Citations:13 - 1 self