1. 2019
  2. Reasoning about Effect Parametricity Using Dependent Types

    Joris Ceulemans (Speaker)
    18 Aug 2019

    Activity: Talk or presentationTalk or presentation at a workshop/seminar

ID: 46697030