Florian Haftmann

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Venues

ITP

J. Funct. Program.

Arch. Formal Proofs

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Florian Haftmann
Discrete Summation. Arch. Formal Proofs 2014 (2014)
Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow
Data Refinement in Isabelle/HOL. ITP (2013)
Klaus Aehlig, Florian Haftmann, Tobias Nipkow
A compiled implementation of normalisation by evaluation. J. Funct. Program. 22 (1) (2012)
Florian Haftmann, Tobias Nipkow
Code Generation via Higher-Order Rewrite Systems. FLOPS (2010)
Florian Haftmann
From higher-order logic to Haskell: there and back again. PEPM (2010)
Florian Haftmann, Cezary Kaliszyk, Walther Neuper
CTP-based programming languages?: considerations about an experimental design. ACM Commun. Comput. Algebra 44 (1/2) (2010)
Stefan Berghofer, Lukas Bulwahn, Florian Haftmann
Turning Inductive into Equational Specifications. TPHOLs (2009)
Klaus Aehlig, Florian Haftmann, Tobias Nipkow
A Compiled Implementation of Normalization by Evaluation. TPHOLs (2008)
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
Imperative Functional Programming with Isabelle/HOL. TPHOLs (2008)
Florian Haftmann, Makarius Wenzel
Local Theory Specifications in Isabelle/Isar. TYPES (2008)
Florian Haftmann, Donald Kossmann, Eric Lo
A framework for efficient regression tests on database applications. VLDB J. 16 (1) (2007)
Florian Haftmann, Makarius Wenzel
Constructive Type Classes in Isabelle. TYPES (2006)
Florian Haftmann, Donald Kossmann, Eric Lo
Parallel Execution of Test Runs for Database Application Systems. VLDB (2005)
Florian Haftmann, Donald Kossmann, Alexander Kreutz
Efficient Regression Tests for Database Applications. CIDR (2005)

Florian Haftmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florian Haftmann