Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-19T20:47:20.282Z Has data issue: false hasContentIssue false
  • English
  • Français

Expansion postponement for normalising pure type systems

Published online by Cambridge University Press:  01 January 1998

ERIK POLL
ERIK POLL
Affiliation:
Computing Laboratory, University of Kent, Canterbury, UK
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Expansion postponement is a tantalisingly simple conjecture about pure type systems which has so far resisted all attempts to prove it for any interesting class of systems. We prove the property for all normalising pure type systems, and discuss the connection with typechecking.

Type
THEORETICAL PEARL
Information
Journal of Functional Programming , Volume 8 , Issue 1 , January 1998 , pp. 89 - 96
Copyright
© 1998 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.