1. 2019
  2. Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types

    Ceulemans, J., Nuyts, A. & Devriese, D., 18 Aug 2019. 3 p.

    Research output: Unpublished contribution to conferenceUnpublished abstract

ID: 46697030