Person:604858

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	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
https://portal.mardi4nfdi.de/entity/Q3614663	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
https://portal.mardi4nfdi.de/entity/Q2763567	2002-01-20	Paper
Algorithm + strategy = parallelism	1999-05-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kevin Hammond