Distributive Disjoint Polymorphism for Compositional Programming.

Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers

Browse the full ESOP paper archive.