A Typed Programmatic Interface to Contracts on the Blockchain.

Thi Thu Ha Doan, Peter Thiemann

Browse the full APLAS paper archive.