TY  - RPRT
TI  - Functions as types or the "Hoare logic" of functional dependencies
AU  - Jose N. Oliveira
PY  - 2012
UR  - https://arxiv.org/abs/1210.4661
ID  - 1210.4661
ER  -