Robert Harper is a Professor of Computer Science at Carnegie Mellon University, where he has been on faculty since 1988. He is author of Practical Foundations of Programming Languages and is an ACM Fellow.
Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Sun 11 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
16:00 - 17:30
|A Computational Interpretation of Girard's Intuitionistic Proof-Nets
Delia Kesner Université de Paris; CNRS; IRIF; Institut Universitaire de France
|Duality of intersection and union types - where and how?
Silvia Ghilezan University of Novi Sad, Mathematical Institute SASA
|Mu tilde (re)cycled
Pierre-Louis Curien Univ. Paris Diderot and INRIA Paris-Rocquencourt
|OPLSS over twenty years (online)
Robert Harper Carnegie Mellon University
|Happy Birthday, Zena!