TY  - RPRT
TI  - Resources: A Safe Language Abstraction for Money
AU  - Sam Blackshear
AU  - David L. Dill
AU  - Shaz Qadeer
AU  - Clark W. Barrett
AU  - John C. Mitchell
AU  - Oded Padon
AU  - Yoni Zohar
PY  - 2020
UR  - https://arxiv.org/abs/2004.05106
ID  - 2004.05106
ER  -