No CrossRef data available.
Article contents
Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
Published online by Cambridge University Press: 14 January 2004
Extract
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.
Modern programming languages rely on advanced type systems that detect errors at compile-time. While the benefits of type systems have long been recognized, there are some areas where the standard systems in programming languages are not expressive enough. Language designers usually trade expressiveness for decidability of the type system. Some interesting programs will always be rejected (despite their semantical soundness) or be assigned uninformative types.
- Type
- Article
- Information
- Copyright
- © 2004 Cambridge University Press
You have
Access
Discussions
No Discussions have been published for this article.