Speaker Deck

A Core Calculus for Scala Type Checking

by Rafał Łasocha

Published June 11, 2014 in Research

Wrocław, 11.06.2014
"Foundations of object-oriented programming languages" seminar
Institute of Computer Science at University of Wrocław