Login / Signup
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian.
Michael J. Coblenz
Jonathan Aldrich
Brad A. Myers
Joshua Sunshine
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
expert systems
computer systems
database
data sets
neural network
data mining
information retrieval
search engine
feature selection
natural language
artificial neural networks
evolutionary algorithm
management system
distributed systems
biometric systems