 | 2010 |
|---|
| 11 |       | Florian Haftmann,
Tobias Nipkow:
Code Generation via Higher-Order Rewrite Systems.
FLOPS 2010: 103-117 |
| 10 | | Florian Haftmann:
From higher-order logic to Haskell: there and back again.
PEPM 2010: 155-158 |
| 2009 |
|---|
| 9 | | Stefan Berghofer,
Lukas Bulwahn,
Florian Haftmann:
Turning Inductive into Equational Specifications.
TPHOLs 2009: 131-146 |
| 8 | | Florian Haftmann:
Code generation from specifications in higher-order logic.
Technical University Munich 2009: 1-125 |
| 2008 |
|---|
| 7 | | Lukas Bulwahn,
Alexander Krauss,
Florian Haftmann,
Levent Erkök,
John Matthews:
Imperative Functional Programming with Isabelle/HOL.
TPHOLs 2008: 134-149 |
| 6 | | Klaus Aehlig,
Florian Haftmann,
Tobias Nipkow:
A Compiled Implementation of Normalization by Evaluation.
TPHOLs 2008: 39-54 |
| 5 | | Florian Haftmann,
Makarius Wenzel:
Local Theory Specifications in Isabelle/Isar.
TYPES 2008: 153-168 |
| 2007 |
|---|
| 4 | | Florian Haftmann,
Donald Kossmann,
Eric Lo:
A framework for efficient regression tests on database applications.
VLDB J. 16(1): 145-164 (2007) |
| 2006 |
|---|
| 3 | | Florian Haftmann,
Makarius Wenzel:
Constructive Type Classes in Isabelle.
TYPES 2006: 160-174 |
| 2005 |
|---|
| 2 | | Florian Haftmann,
Donald Kossmann,
Alexander Kreutz:
Efficient Regression Tests for Database Applications.
CIDR 2005: 95-106 |
| 1 | | Florian Haftmann,
Donald Kossmann,
Eric Lo:
Parallel Execution of Test Runs for Database Application Systems.
VLDB 2005: 589-600 |
Data released under the ODC-BY 1.0 license — See also our legal information page