POPL 2017
Sun 15 - Sat 21 January 2017
Mon 16 Jan 2017 09:00 - 10:00 at Salle 116, Barre 44-54 - Invited Talk

TBA

Mon 16 Jan

PADL-2017
09:00 - 10:00: PADL - Invited Talk at Salle 116, Barre 44-54
PADL-201709:00 - 10:00
Talk
Dale MillerINRIA Saclay and LIX