Unified Syntax with Iso-types.

Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira

Browse the full APLAS paper archive.