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.

Quotients by Idempotent Functions in Cedille

Andrew Marmaduke, Christopher Jenkins, Aaron Stump. Quotients by Idempotent Functions in Cedille. In William J. Bowman, Ronald Garcia, editors, Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers. Volume 12053 of Lecture Notes in Computer Science, pages 1-20, Springer, 2019. [doi]

Authors

Andrew Marmaduke

This author has not been identified. Look up 'Andrew Marmaduke' in Google

Christopher Jenkins

This author has not been identified. Look up 'Christopher Jenkins' in Google

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google
runs on