Andrej Ivaskovic: Data-flow analyses as effects and graded monads (FSCD B)
Channel: IJCAR-FSCD 2020
Date: 12/07/2020

Authors: Andrej Ivaskovic, Alan Mycroft, and Dominic Orchard

Aired: 2020-02-04 13:30:00 CEST (UTC+2)