Login / Signup

A type-and-effect system for object initialization.

Fengyun LiuOndrej LhotákAggelos BiboudisPaolo G. GiarrussoMartin Odersky
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases