Connecting...

Beverage Ceramic Cord Cups 207950

Fusing Flexibility with Formality: Practical Experience with Agile Formal Methods in Large-Scale FP

Beverage Ceramic Cord Cups 207950

Philipp Kant tells us how to fuse flexibility with formality in his talk at Lambda Days, he begins by outlining the formal methods at IOHK, he explains cryptocurrencies, explains how to build the blockchain system and the process from spec to code.

This talk was given by Phillip Kant at Lambda Days.