Types for Modules (2003)

by Claudio V Russo
Venue:Electronic Notes in Theoretical Computer Science (ENTCS