David N. Turner, Philip Wadler, Christian Mossin. Once Upon a Type. In FPCA. pages 1-11, 1995.
@inproceedings{TurnerWM95,
title = {Once Upon a Type},
author = {David N. Turner and Philip Wadler and Christian Mossin},
year = {1995},
researchr = {https://researchr.org/publication/TurnerWM95},
cites = {0},
citedby = {0},
pages = {1-11},
booktitle = {FPCA},
}