Registered user since Mon 14 Nov 2016
Name: Danko Ilik
Country: France
Affiliation: Trusted Labs
Personal website: http://www.speleologic.net/
Contributions
| POPL 2017 | Author of The exp-log normal form of types: Decomposing extensional equality and representing terms compactly within the POPL-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile