Inferring ownership domains from refinements

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2018 ◽

10.1145/3278122.3278128 ◽

2018 ◽

Author(s):

Ebrahim Khalaj ◽

Marwan Abi-Antoun

Download Full-text