In this extended abstract, we describe how properties involving effect parametricity can be proved in ParamDTT, a dependent type system with support
for parametricity.
Original languageEnglish
Number of pages3
Publication statusPublished - 18 Aug 2019
EventWorkshop on Type-Driven Development - Berlin, Germany
Duration: 18 Aug 201923 Aug 2019
https://icfp19.sigplan.org/home/tyde-2019

Workshop

WorkshopWorkshop on Type-Driven Development
Abbreviated titleTyDe
CountryGermany
CityBerlin
Period18/08/1923/08/19
Internet address

    Research areas

  • effect polymorphism, effect parametricity, dependent types

ID: 50094199