Tamás Kozsik. Tutorial on Subtype Marks. In Zoltán Horváth, editor, Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures. Volume 4164 of Lecture Notes in Computer Science, pages 191-222, Springer, 2005. [doi]
Abstract is missing.