Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types

Research output: Unpublished contribution to conferenceUnpublished abstract

Abstract

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

Keywords

  • effect polymorphism
  • effect parametricity
  • dependent types

Cite this