TY  - RPRT
TI  - Type-Directed Synthesis of Products
AU  - Jonathan Frankle
PY  - 2015
UR  - https://arxiv.org/abs/1510.08121
ID  - 1510.08121
ER  -