BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × United Kingdom
Collaborated with:

Talks about:
normal (2) type (2) sum (2) extension (1) isomorph (1) decompos (1) presenc (1) delimit (1) control (1) continu (1)

Person: Danko Ilik

DBLP DBLP: Ilik:Danko

Contributed to:

CSL-LICS 20142014
PPDP 20142014
POPL 20172017

Wrote 3 papers:

LICS-CSL-2014-Ilik #axiom #decidability #morphism
Axioms and decidability for type isomorphism in the presence of sums (DI), p. 7.
PPDP-2014-Ilik #continuation #normalisation #proving #tutorial
Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
POPL-2017-Ilik #normalisation #representation #similarity
The exp-log normal form of types: decomposing extensional equality and representing terms compactly (DI), pp. 387–399.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.