| Publication | Date of Publication | Type |
|---|
Metaheuristics ``In the large
European Journal of Operational Research | 2021-11-09 | Paper |
Proof-relevant Horn clauses for dependent type inference and term synthesis
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Coinductive soundness of corecursive type class resolution
| 2017-10-13 | Paper |
Type-based cost analysis for lazy functional languages
Journal of Automated Reasoning | 2017-08-15 | Paper |
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
Programming Languages and Systems | 2016-04-26 | Paper |
Easy composition of symbolic computation software: a new lingua franca for symbolic computation
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Static determination of quantitative resource usage for higher-order programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Scrapping your inefficient engine
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
Counter automata for parameterised timing analysis of box-based systems
Foundational and Practical Aspects of Resource Analysis | 2012-11-02 | Paper |
Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols
Fundamenta Informaticae | 2011-05-20 | Paper |
The Peter Landin prize
Higher-Order and Symbolic Computation | 2010-11-12 | Paper |
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Implementation and Application of Functional Languages | 2009-04-28 | Paper |
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Semi-explicit parallel programming in a purely functional style: GpH
| 2009-03-09 | Paper |
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
Central European Functional Programming School | 2009-01-15 | Paper |
Implementation of Functional Languages
Lecture Notes in Computer Science | 2005-08-24 | Paper |
scientific article; zbMATH DE number 2090641 (Why is no real title available?)
| 2004-08-12 | Paper |
Comparing parallel functional languages: Programming and performance
Higher-Order and Symbolic Computation | 2004-03-15 | Paper |
Algorithm + strategy = parallelism
Journal of Functional Programming | 1999-05-18 | Paper |
