Login / Signup

Using Parameterized Signatures to Express Modular Structure.

Mark P. Jones
Published in: POPL (1996)
Keyphrases