TY  - RPRT
TI  - Towards a Java Subtyping Operad
AU  - Moez A. AbdelGawad
PY  - 2017
UR  - https://arxiv.org/abs/1706.00274
ID  - 1706.00274
ER  -