Danko Ilik - POPL 2017 (original) (raw)

POPL 2017 (series) / Danko Ilik

• conf.research.org general profile
• ICFP/SPLASH 2025 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

• The exp-log normal form of types: Decomposing extensional equality and representing terms compactly

Show activities from other conferences

Share

POPL 2017-profile
View general profile