My master's thesis about liquid types

[Radosław Rowicki]

Hello everyone,

I have just defended my master's thesis about liquid types for verification of smart contracts on the aeternity blockchain. In my work I describe my own implementation of liquid types for an ML-ish functional language called Sophia, analyze the application for this domain, and show the benefits of advanced type systems in smart contract development. My research was done at the University of Warsaw, but was supervised by Ulf Norell from Chalmers. All (three) reviewers gave me positive feedback regarding publication of it.

I thought some of you guys might be interested in checking it out, so I would like to share it with you :) I would love to hear your opinion and feedback!

Best wishes,

Radek