A typed higher-order programming language based on the picalculus (1993)

by B C Pierce, D Remy, D N Turner
Venue:to Computer Systems, Kyoto University