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