Danko Ilik -

Registered user since Mon 14 Nov 2016

Name:Danko Ilik

Country:France

Affiliation:Trusted Labs

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

Contributions

2017

POPL

Author of The exp-log normal form of types: Decomposing extensional equality and representing terms compactly within the POPL-track