Type Analysis for a Higher-Order Concurrent Constraint Language (1998)

by M Muller
Venue:PhD thesis, Universitat des Saarlandes, Technische Fakultat, D-66041 Saarbrucken