A Practical Effect System for Scala

Keywords: type-and-effect systems ; effect-polymorphism ; effect annotations ; purity ; Scala ; compiler plugins ; pluggable type systems ; type systems ; program analysis These Ecole polytechnique federale de Lausanne EPFL, n° 5935 (2014)Programme doctoral Informatique, Communications et InformationFaculte informatique et communicationsInstitut d'informatique fondamentaleLaboratoire de methodes de programmation 1Jury: Prof. F. Eisenbrand (president); Prof. M. Odersky (directeur); Prof. V. Kuncak, Prof. O. Lhotak, Prof. P. Muller (rapporteurs) Public defense: 2014-2-7 Reference doi:10.5075/epfl-thesis-5935Print copy in library catalog Record created on 2014-02-03, modified on 2017-05-12