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

BibTeX Export

@software{coblenz_michael_2020_4035150,
  author       = {Coblenz, Michael and
                  Aldrich, Jonathan and
                  Myers, Brad A. and
                  Sunshine, Joshua},
  title        = {{Can Advanced Type Systems Be Usable? An Empirical 
                   Study of Ownership, Assets, and Typestate in
                   Obsidian (Artifact)}},
  month        = sep,
  year         = 2020,
  note         = {{Additional funding sources:  NSA award 
                   H9823018D0008 NSF award CCF1901033 USAF award
                   FA8702-15-D-0002 IBM Ripple}},
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4035150},
  url          = {https://doi.org/10.5281/zenodo.4035150}
}
87
8
views
downloads
All versions This version
Views 8787
Downloads 88
Data volume 491.8 MB491.8 MB
Unique views 8080
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