CoDE Publications CoDE Publications
IRIDIA Publications IRIDIA Publications
SMG Publications
WIT Publications
WIT Publications
SMG Publications
Home People Research Activities Publications Teaching Resources
By Class By Topic By Year
By Class By Topic By Year
login
S. Vansummeren. Type Inference for Unique Pattern Matching. ACM Transactions on Programming Languages and Systems, 28(3):389-428, 2006.

@article{Van2006:article,
  author = {Stijn Vansummeren},
  title = {Type Inference for Unique Pattern Matching},
  year = {2006},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {28},
  number = {3},
  pages = {389--428},
  doi = {http://doi.acm.org/10.1145/1133651.1133652}
}

Updated: 2017-03-27