Registered user since Mon 14 Nov 2016

Name: Danko Ilik

Country: France

Affiliation: Trusted Labs

Personal website: http://www.speleologic.net/

POPL 2017 Activities

• Author of The exp-log normal form of types: Decomposing extensional equality and representing terms compactly within the POPL-track in POPL 2017
• Show activities from other conferences