Faculty of Sciences and Bioengineering Sciences

Postal address
Pleinlaan 2
1050
Brussel
Belgium

Informatics and Applied Informatics

Postal address
Pleinlaan 2
1050
Brussels
Belgium
Contact
Phone: +32-2-6293755

Research output

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

    Research output: Unpublished contribution to conferenceUnpublished abstract

View all (1) »

Activities

  1. Reasoning about Effect Parametricity Using Dependent Types

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

View all (1) »

ID: 46697030