• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Xi98dependenttypes,
    author = {Hongwei Xi and Dana Scott},
    title = {Dependent Types in Practical Programming},
    booktitle = {In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages},
    year = {1998},
    pages = {214--227},
    publisher = {ACM Press}
}

Years of Citing Articles

Bookmarks

         

OpenURL

 

Abstract:

Programming is a notoriously error-prone process, and a great deal of evidence in practice has demonstrated that the use of a type system in a programming language can effectively detect program errors at compile-time. Moreover, some recent studies have indicated that the use of types can lead to significant enhancement of program performance at run-time. For the sake of practicality of type-checking, most type systems developed for general purpose programming languages tend to be simple and coarse, and this leaves ample room for improvement. As an advocate of types, this thesis addresses the issue of designing a type system for practical programming in which a notion of dependent types is available, leading to more accurate capture of program invariants with types. In contrast to developing a type theory with dependent types and then designing upon it a functional programming language, we study practical methods for extending the type systems of existing programming languages with dep...

Citations