External Links

Cite Key

Statistics

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

PDF

Bibliographies

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.

A Type Theoretic Specification of Partial Evaluation

Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang. A Type Theoretic Specification of Partial Evaluation. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 57-68, ACM, 2014. [doi]

Authors

Kenichi Asai

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

Luminous Fennell

This author has not been identified. Look up 'Luminous Fennell' in Google

Peter Thiemann

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

Yang Zhang

This author has not been identified. It may be one of the following persons: Look up 'Yang Zhang' in Google
runs on