TY  - RPRT
TI  - Psamathe: A DSL with Flows for Safe Blockchain Assets
AU  - Reed Oei
AU  - Michael Coblenz
AU  - Jonathan Aldrich
PY  - 2020
UR  - https://arxiv.org/abs/2010.04800
ID  - 2010.04800
ER  -