PRL Seminars

I will be speaking about my programming language KML, which has evolved out of my research into type theories with subtyping. I will discuss the type system of KML and also discuss some implementational issues.