Searching for authors named "Kevin Hammond" – sorted by Relevance.
-
Getting a GRIP (DRAFT)
- Getting a GRIP (DRAFT) Kevin Hammond Department of Computing Science, Glasgow University Abstract
- Add To MetaCart
-
The Dynamic Properties of Hume: a Functionally-Based Concurrent Language with Bounded Time and Space
- and Space Behaviour Kevin Hammond School of Computer Science, University of St Andrews. kh
- Cited by 3 (2 self) – Add To MetaCart
-
Strategic SPMD
- Strategic SPMD (DRAFT) Kevin Hammond Division of Computer Science, University of St Andrews, North
- Cited by 1 (0 self) – Add To MetaCart
-
The Spineless Tagless G-Machine - NOT!
- The Spineless Tagless G-Machine --- NOT! Kevin Hammond, Glasgow University * . Abstract To tag
- Cited by 1 (0 self) – Add To MetaCart
-
Efficient Type Inference Using Monads
- -- 1 -- Efficient Type Inference Using Monads (DRAFT) Kevin Hammond, Glasgow University
- Cited by 3 (0 self) – Add To MetaCart
-
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach
- Kevin Hammond School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: kh
- Cited by 4 (4 self) – Add To MetaCart
-
Hume: a Functionally-Inspired Language for Safety-Critical Systems
- Hume: a Functionally-Inspired Language for Safety-Critical Systems Kevin Hammond \Lambda
- Add To MetaCart
-
The Hume Report, Version 0.2
- The Hume Report, Version 0.2 Greg Michaelson 1 Kevin Hammond 2 1 Department of Computing
- Add To MetaCart
-
K.: Dependently typed meta-programming
- Dependently Typed Meta-programming Edwin Brady and Kevin Hammond School of Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
A Dependently Typed Framework for Static Analysis of Program Execution Costs
- A Dependently Typed Framework for Static Analysis of Program Execution Costs Edwin Brady and Kevin
- Cited by 9 (6 self) – Add To MetaCart

