TY  - RPRT
TI  - Linear Dependent Types for Domain Specific Program Analysis (Extended Abstract)
AU  - Marco Gaboardi
PY  - 2013
UR  - https://arxiv.org/abs/1306.6856
ID  - 1306.6856
ER  -