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 × Poland
Collaborated with:
J.Rehof J.Bessai B.Düdder T.Chen'Liguoro
Talks about:
intersect (2) bound (2) type (2) dimension (1) synthesi (1) composit (1) approxim (1) princip (1) calculi (1) dimens (1)

Person: Andrej Dudenhefner

DBLP DBLP: Dudenhefner:Andrej

Contributed to:

TLCA 20152015
POPL 20172017
POPL 20192019

Wrote 3 papers:

TLCA-2015-BessaiDDCdR #composition #mixin #synthesis
Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.
POPL-2017-DudenhefnerR #bound #calculus
Intersection type calculi of bounded dimension (AD, JR), pp. 653–665.
POPL-2019-DudenhefnerR #approximate #bound
Principality and approximation under dimensional bound (AD, JR), p. 29.

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.