TY - RPRT TI - UTxO- vs account-based smart contract blockchain programming paradigms AU - Lars Brunjes AU - Murdoch J. Gabbay PY - 2020 DO - 10.1007/978-3-030-61467-6_6 UR - https://arxiv.org/abs/2003.14271 ID - 2003.14271 ER -