Article contents
Untyped strictness analysis
Published online by Cambridge University Press: 07 November 2008
Abstract
We re-express Hudak and Young's higher-order strictness analysis for the untyped λ-calculus in a conceptually simpler and more semantically-based manner. We show our analysis to be a sound abstraction of Hudak and Young's which is also complete in a sense we make precise.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 1995
References
- 1
- Cited by
Discussions
No Discussions have been published for this article.