Tagless-final and lightweight formal methods for developing a cryptocurrency

In this edition Jochem will be presenting the tagless-final approach, which allows embedding domain-specific languages in functional languages, and writing different interpreters for them.

Due to the lack of other speakers, I'll be presenting some of the work we're doing at IOHK for validating the implementation of our blockchain using lightweight formal methods, which combine operational semantics and the use of QuickCheck.

Once more, Sioux is kindly sponsoring us with food and drinks, and providing the venue. So we're profoundly grateful for this!

We'll start at 18:00 with some food and drinks, and the presentations will start at around 18:30.

Looking forward to seeing you there!