TY  - RPRT
TI  - In Search of Effectful Dependent Types
AU  - Matthijs Vákár
PY  - 2017
UR  - https://arxiv.org/abs/1706.07997
ID  - 1706.07997
ER  -