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 × Japan
1 × Norway
1 × Spain
Collaborated with:
T.Nipkow D.Kossmann E.Lo
Talks about:
system (2) higher (2) order (2) parallel (1) generat (1) databas (1) rewrit (1) haskel (1) execut (1) applic (1)

Person: Florian Haftmann

DBLP DBLP: Haftmann:Florian

Contributed to:

FLOPS 20102010
PEPM 20102010
VLDB 20052005

Wrote 3 papers:

FLOPS-2010-HaftmannN #code generation #higher-order #term rewriting
Code Generation via Higher-Order Rewrite Systems (FH, TN), pp. 103–117.
PEPM-2010-Haftmann #haskell #higher-order #logic
From higher-order logic to Haskell: there and back again (FH), pp. 155–158.
VLDB-2005-HaftmannKL #database #execution #parallel
Parallel Execution of Test Runs for Database Application Systems (FH, DK, EL), pp. 589–600.

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.