The following pages link to Kevin Hammond (Q604858):
Displayed 23 items.
- The Peter Landin prize (Q604860) (← links)
- (Q1426876) (redirect page) (← links)
- Comparing parallel functional languages: Programming and performance (Q1426884) (← links)
- Metaheuristics ``In the large'' (Q2242238) (← links)
- Type-based cost analysis for lazy functional languages (Q2398175) (← links)
- Coinductive soundness of corecursive type class resolution (Q2409746) (← links)
- (Q2763567) (← links)
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (Q2802465) (← links)
- Easy composition of symbolic computation software (Q2946562) (← links)
- Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms (Q2981997) (← links)
- Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols (Q3002480) (← links)
- Counter Automata for Parameterised Timing Analysis of Box-Based Systems (Q3167530) (← links)
- Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs (Q3612447) (← links)
- (Q3614663) (← links)
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (Q3623950) (← links)
- Algorithm + strategy = parallelism (Q4236759) (← links)
- Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (Q4559809) (← links)
- (Q4813113) (← links)
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs (Q5168911) (← links)
- Scrapping your inefficient engine (Q5176949) (← links)
- Static determination of quantitative resource usage for higher-order programs (Q5255076) (← links)
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (Q5302889) (← links)
- Implementation of Functional Languages (Q5466590) (← links)