Formal Investigation of the Extended UTxO Mode: Extended Abstract

Orestis Melkonian, W.S. Swierstra, Manuel Chakravarty

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	TyDe 2019
Subtitle of host publication	Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, Berlin, Germany, August 18 2019
Place of Publication	New York
Publisher	Association for Computing Machinery
ISBN (Print)	978-1-4503-6815-5
Publication status	Published - 2019

Cite this

@inproceedings{794f2aff218143418fc36673fad7ab6c,

title = "Formal Investigation of the Extended UTxO Mode: Extended Abstract",

author = "Orestis Melkonian and W.S. Swierstra and Manuel Chakravarty",

year = "2019",

language = "English",

isbn = "978-1-4503-6815-5",

booktitle = "TyDe 2019",

publisher = "Association for Computing Machinery ",

address = "United States",

}

Formal Investigation of the Extended UTxO Mode: Extended Abstract. / Melkonian, Orestis; Swierstra, W.S.; Chakravarty, Manuel.
TyDe 2019: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, Berlin, Germany, August 18 2019. New York: Association for Computing Machinery , 2019.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review