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 × Croatia
1 × Hungary
1 × The Netherlands
Collaborated with:
M.Elberfeld M.Grohe L.A.Hemaspaandra P.Mukherji K.Didrich W.Grieskamp F.Schintke B.T.y.Widemann
Talks about:
order (2) overhead (1) function (1) reflect (1) program (1) languag (1) coincid (1) absolut (1) second (1) inform (1)

Person: Till Tantau

DBLP DBLP: Tantau:Till

Contributed to:

LICS 20122012
DLT 20032003
IFL 19991999

Wrote 3 papers:

LICS-2012-ElberfeldGT #first-order #higher-order #logic #monad
Where First-Order and Monadic Second-Order Logic Coincide (ME, MG, TT), pp. 265–274.
Computation with Absolutely No Space Overhead (LAH, PM, TT), pp. 325–336.
IFL-1999-DidrichGSTT #functional #programming language
Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.

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.