Distributive Disjoint Polymorphism for Compositional Programming

Xuan Bi, Ningning Xie, Bruno C. D. S. Oliveira, Tom Schrijvers. Distributive Disjoint Polymorphism for Compositional Programming. In Luís Caires, editor, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Volume 11423 of Lecture Notes in Computer Science, pages 381-409, Springer, 2019. [doi]

Authors

Xuan Bi

This author has not been identified. Look up 'Xuan Bi' in Google

Ningning Xie

This author has not been identified. Look up 'Ningning Xie' in Google

Bruno C. D. S. Oliveira

This author has not been identified. It may be one of the following persons: Look up 'Bruno C. D. S. Oliveira' in Google

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google