Standard

Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types. / Ceulemans, Joris; Nuyts, Andreas; Devriese, Dominique.

2019. Abstract from Workshop on Type-Driven Development, Berlin, Germany.

Research output: Unpublished contribution to conferenceUnpublished abstract

Harvard

Ceulemans, J, Nuyts, A & Devriese, D 2019, 'Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types', Workshop on Type-Driven Development, Berlin, Germany, 18/08/19 - 23/08/19.

APA

Ceulemans, J., Nuyts, A., & Devriese, D. (2019). Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types. Abstract from Workshop on Type-Driven Development, Berlin, Germany.

Vancouver

Ceulemans J, Nuyts A, Devriese D. Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types. 2019. Abstract from Workshop on Type-Driven Development, Berlin, Germany.

Author

Ceulemans, Joris ; Nuyts, Andreas ; Devriese, Dominique. / Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types. Abstract from Workshop on Type-Driven Development, Berlin, Germany.3 p.

BibTeX

@conference{f42e32c0e09c4fccb4f7d960af90107e,
title = "Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types",
abstract = "In this extended abstract, we describe how properties involving effect parametricity can be proved in ParamDTT, a dependent type system with supportfor parametricity.",
keywords = "effect polymorphism, effect parametricity, dependent types",
author = "Joris Ceulemans and Andreas Nuyts and Dominique Devriese",
year = "2019",
month = "8",
day = "18",
language = "English",
note = "Workshop on Type-Driven Development, TyDe ; Conference date: 18-08-2019 Through 23-08-2019",
url = "https://icfp19.sigplan.org/home/tyde-2019",

}

RIS

TY - CONF

T1 - Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types

AU - Ceulemans, Joris

AU - Nuyts, Andreas

AU - Devriese, Dominique

PY - 2019/8/18

Y1 - 2019/8/18

N2 - In this extended abstract, we describe how properties involving effect parametricity can be proved in ParamDTT, a dependent type system with supportfor parametricity.

AB - In this extended abstract, we describe how properties involving effect parametricity can be proved in ParamDTT, a dependent type system with supportfor parametricity.

KW - effect polymorphism

KW - effect parametricity

KW - dependent types

M3 - Unpublished abstract

ER -

ID: 50094199