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.

Typeful Normalization by Evaluation

Olivier Danvy, Chantal Keller, Matthias Puech. Typeful Normalization by Evaluation. In Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau, editors, 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France. Volume 39 of LIPIcs, pages 72-88, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Authors

Olivier Danvy

Identified as Olivier Danvy

Chantal Keller

This author has not been identified. Look up 'Chantal Keller' in Google

Matthias Puech

This author has not been identified. Look up 'Matthias Puech' in Google
runs on