Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian | Proceedings of the ACM on Programming Languages - discu.eu

Linking pages

Linked pages

The Programming Language Wars | Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software https://dl.acm.org/doi/10.1145/2661136.2661156 7 comments
An Empirical Investigation into Programming Language Syntax | ACM Transactions on Computing Education https://dl.acm.org/doi/pdf/10.1145/2534973 0 comments

Related searches:

Search whole site: site:dl.acm.org

Search title: Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian | Proceedings of the ACM on Programming Languages

See how to search.

Submit link to: