A type and effect system for uniqueness and immutability

Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 ◽

10.1145/3167132.3167245 ◽

2018 ◽

Author(s):

Paola Giannini ◽

Marco Servetto ◽

Elena Zucca

Download Full-text