Subtype marks
Subtype marks. Tamás Kozsik kto@elte.hu http://kto.web.elte.hu/ E ötvös Loránd University, Budapest Central-European Functional Programming School Eötvös Loránd University, Budapest, Hungary 4-16 July, 2005. Contents. Context Motivation Intuitive description of subtype marks Examples
873 views • 71 slides