TY  - RPRT
TI  - In the Age of Web: Typed Functional-First Programming Revisited
AU  - Tomas Petricek
AU  - Don Syme
AU  - Zach Bray
PY  - 2015
DO  - 10.4204/eptcs.198.3
UR  - https://arxiv.org/abs/1512.01896
ID  - 1512.01896
ER  -