@INPROCEEDINGS{SuccessTypings@PPDP-06,
   author = {Tobias Lindahl and Konstantinos Sagonas},
    title = {Practical type inference based on success typings},
booktitle = {Proceedings of the 8th {ACM SIGPLAN} Symposium on
             Principles and Practice of Declarative Programming},
     year = {2006},
     isbn = {1-59593-388-3},
    pages = {167--178},
 location = {Venice, Italy},
      doi = {http://doi.acm.org/10.1145/1140335.1140356},
publisher = {ACM Press},
  address = {New York, NY, USA},
}