Login / Signup

Compositional reasoning and decidable checking for dependent contract types.

Kenneth KnowlesCormac Flanagan
Published in: PLPV (2009)
Keyphrases