A Language Stack for Implementing Contracts

https://gotopia.tech/sessions/423/a-language-stack-for-implementing-contracts