External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Rewriting for sound and complete union, intersection and negation types

David J. Pearce. Rewriting for sound and complete union, intersection and negation types. In Matthew Flatt, Sebastian Erdweg, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017. pages 117-130, ACM, 2017. [doi]

Authors

David J. Pearce

This author has not been identified. Look up 'David J. Pearce' in Google
runs on