Searching for authors named "Kevin Hammond" – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
