Danko Ilik

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

Venues

Active years

2014–2017

Best venue rank

Where they publish

3 indexed papers, newest first.

Year	Venue	Title	Authors
2017	POPL	The exp-log normal form of types: decomposing extensional equality and representing terms compactly.	Danko Ilik
2014	CSL	Axioms and decidability for type isomorphism in the presence of sums.	Danko Ilik
2014	PPDP	Proofs in continuation-passing style: normalization of Gdel's System T extended with sums and delimited control operators: Distilled Tutorial.	Danko Ilik