TY - RPRT TI - Vector Programming Using Structural Recursion AU - Marco T. Morazán PY - 2018 DO - 10.4204/eptcs.270.1 UR - https://arxiv.org/abs/1805.05124 ID - 1805.05124 ER -