Software Open Access

Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian (Artifact)

Coblenz, Michael; Aldrich, Jonathan; Myers, Brad A.; Sunshine, Joshua

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
88
8
views
downloads
All versions This version
Views 8888
Downloads 88
Data volume 491.8 MB491.8 MB
Unique views 8181
Unique downloads 66
More info on how stats are collected.
Indexed in
Publication date:
September 17, 2020
DOI:
10.5281/zenodo.4035150

Zenodo DOI Badge

DOI 

10.5281/zenodo.4035150

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4035150.svg)](https://doi.org/10.5281/zenodo.4035150)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4035150.svg
   :target: https://doi.org/10.5281/zenodo.4035150

HTML 

<a href="https://doi.org/10.5281/zenodo.4035150"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4035150.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4035150.svg

Target URL 

https://doi.org/10.5281/zenodo.4035150

Keyword(s):
typestate linear types ownership assets permissions blockchain smart contracts empirical studies of programmers empirical studies of programming languages
Grants:
National Science Foundation:
  • TWC: Small: Empirical Evaluation of the Usability and Security Implications of Application Programming Interface Design (1423054)
Communities:
License (for files):
BSD licenses (New and Simplified)

Versions

Version 1 10.5281/zenodo.4035150 Sep 17, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4035149. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export