K
Klaus Aehlig
Researcher at Ludwig Maximilian University of Munich
Publications - 22
Citations - 680
Klaus Aehlig is an academic researcher from Ludwig Maximilian University of Munich. The author has contributed to research in topics: Lambda calculus & Normalization (statistics). The author has an hindex of 11, co-authored 22 publications receiving 644 citations. Previous affiliations of Klaus Aehlig include University of Toronto.
Papers
More filters
Journal ArticleDOI
Multivariate amortized resource analysis
TL;DR: This article presents a novel multivariate amortized resource analysis based on a type system for a simple first-order functional language with lists and trees, proves soundness, and describes automatic type inference based on linear programming.
Journal ArticleDOI
Multivariate amortized resource analysis
TL;DR: A novel multivariate amortized resource analysis is presented in form of a type system for a simple first-order functional language with lists and trees, prove soundness, and describe automatic type inference based on linear programming.
Book ChapterDOI
Resource aware ML
TL;DR: This tool paper describes Resource Aware ML (RAML), a functional programming language that implements a novel multivariate amortized resource analysis that automatically computes polynomial resource bounds for first-order functional programs.
Journal ArticleDOI
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
TL;DR: For regular infinite lambda-trees it is decidable whether a given automaton has a run or not, and this decidability result holds for arbitrary recursion schemes of arbitrary level, without any syntactical restriction.
Journal ArticleDOI
Operational aspects of untyped Normalisation by Evaluation
Klaus Aehlig,Felix Joachimski +1 more
TL;DR: A purely syntactic and untyped variant of Normalisation by Evaluation for the $\lambda$-calculus is presented in the framework of a two-level $\beta\eta\!\up$-reduction with rewrite rules to model the inverse of the evaluation functional.