Kevin Hammond

Available identifiers

zbMath Open hammond.kevinWikidataQ56567248 ScholiaQ56567248MaRDI QIDQ604858

List of research outcomes

Publication	Date of Publication	Type
Metaheuristics ``In the large	2021-11-09	Paper
Proof-relevant Horn clauses for dependent type inference and term synthesis	2018-12-04	Paper
Coinductive soundness of corecursive type class resolution	2017-10-13	Paper
Type-based cost analysis for lazy functional languages	2017-08-15	Paper
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms	2017-05-10	Paper
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages	2016-04-26	Paper
Easy composition of symbolic computation software: a new lingua franca for symbolic computation	2015-09-17	Paper
Static determination of quantitative resource usage for higher-order programs	2015-06-11	Paper
Scrapping your inefficient engine	2015-03-05	Paper
Automatic amortised analysis of dynamic memory allocation for lazy functional programs	2014-07-21	Paper
Counter automata for parameterised timing analysis of box-based systems	2012-11-02	Paper
Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols	2011-05-20	Paper
The Peter Landin prize	2010-11-12	Paper
A Dependently Typed Framework for Static Analysis of Program Execution Costs	2009-04-28	Paper
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs	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	2009-01-15	Paper
Implementation of Functional Languages	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4813113	2004-08-12	Paper
Comparing parallel functional languages: Programming and performance	2004-03-15	Paper
Algorithm + strategy = parallelism	1999-05-18	Paper

Research outcomes over time

This page was built for person: Kevin Hammond