Dependently Typed Pattern Matching (2003)
Cached
Download Links
| Venue: | Journal of Universal Computer Science |
| Citations: | 15 - 8 self |
BibTeX
@ARTICLE{Xi03dependentlytyped,
author = {Hongwei Xi},
title = {Dependently Typed Pattern Matching},
journal = {Journal of Universal Computer Science},
year = {2003},
volume = {9},
pages = {851--872}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The mechanism for declaring datatypes to model data structures in functional programming languages such as Standard ML and Haskell can offer both convenience in programming and clarity in code. With the introduction of dependent datatypes in DML, the programmer can model data structures with more accuracy, thus capturing more program invariants. In this paper, we study some practical aspects of dependent datatypes that affect both type-checking and compiling pattern matching. The results, which have already been tested, demonstrate that dependent datatype can not only offer various programming benefits but also lead to performance gains, yielding a concrete case where safer programs run faster.
