Recent Posts

Type Checking for Reliable APIs

Maria Kechagia presented her work on improving the usability of APIs via type checking. Her idea is that compiler should take into account statically availab...