Skip to content

Using Parameterized Signatures to Express Modular Structure.

Mark P. Jones

VenueA*POPL
Year1996
ProceedingsPOPL

Browse the full POPL paper archive.