Gradual Ownership Types

DOI10.1007/978-3-642-28869-2_29zbMath1352.68055OpenAlexW1581253965MaRDI QIDQ2892752

Dave Clarke, Ilya Sergey

Publication date: 22 June 2012

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_29

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (2)

Migrating gradual types ⋮ Gradual type-and-effect systems

This page was built for publication: Gradual Ownership Types