Abstractions for Generic Programming

Thumbnail

Event details

Date 29.08.2017
Hour 13:0015:00
Speaker Olivier  Blanvillain
Location
Category Conferences - Seminars

EDIC candidacy exam
Exam president: Prof. Rachid Guerraoui
Thesis advisor: Prof. Martin Odersky
Co-examiner: Prof. Viktor Kuncak

Abstract

Background papers

Data types a la carte
Type checking with open type functions, by Schrijvers T., et al.
Optimisation of Generic Programs through Inlining, by Magalhães J.P.

 

Practical information

  • General public
  • Free

Contact

Tags

EDIC candidacy exam

Share