Stefan Kahrs
Well-Going Programs Can Be Typed
TLCA, 2003.
@inproceedings{TLCA-2003-Kahrs, author = "Stefan Kahrs", booktitle = "{Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-44904-3_12", isbn = "3-540-40332-9", pages = "167--179", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Well-Going Programs Can Be Typed}", volume = 2701, year = 2003, }