TY  - RPRT
TI  - Polymorphic Types in ACL2
AU  - Benjamin Selfridge
AU  - Eric Smith
PY  - 2014
DO  - 10.4204/eptcs.152.4
UR  - https://arxiv.org/abs/1406.1558
ID  - 1406.1558
ER  -