An Algebraic Framework for Separate Type-Checking (1999)

Cached

Download Links

by Davide Ancona
Venue:WADT'98 (13th Workshop on Algebraic Development Techniques
Citations:3 - 3 self