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