Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types

Joris Ceulemans, Andreas Nuyts, Dominique Devriese

Onderzoeksoutput: Unpublished abstract

Samenvatting

In this extended abstract, we describe how properties involving effect parametricity can be proved in ParamDTT, a dependent type system with support
for parametricity.
Originele taal-2English
Aantal pagina's3
StatusPublished - 18 aug 2019
EvenementWorkshop on Type-Driven Development - Berlin, Germany
Duur: 18 aug 201923 aug 2019
https://icfp19.sigplan.org/home/tyde-2019

Workshop

WorkshopWorkshop on Type-Driven Development
Verkorte titelTyDe
Land/RegioGermany
StadBerlin
Periode18/08/1923/08/19
Internet adres

Citeer dit