Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Danko Ilik
conf.researchr.org general profile
POPL 2017 profile
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
Share
x
Sun 24 Nov 00:06