Searching for authors named "Greg Michaelson" – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Elementary Standard ML
- …Elementary Standard ML by Greg Michaelson University College London Press, UK, 1995, ISBN 1…
- Cited by 4 (2 self) – Add To MetaCart
-
Automatic analysis of functional program style ASWEC'96 IEEE Copyright
- …Automatic analysis of functional program style ASWEC'96 IEEE Copyright Greg Michaelson Department…
- Cited by 2 (0 self) – Add To MetaCart
-
Constraints on recursion in the Hume expression language
- …Constraints on recursion in the Hume expression language Greg Michaelson Department of Computing…
- Cited by 5 (4 self) – Add To MetaCart
-
Hume: a Functionally-Inspired Language for Safety-Critical Systems
- … Greg Michaelson y Abstract Hume is a novel functionally-based language that targets safety…
- 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
-
Parallel Functional Island Model Genetic Algorithms through Nested Algorithmic Skeletons
- …Parallel Functional Island Model Genetic Algorithms through Nested Algorithmic Skeletons Greg…
- Cited by 3 (2 self) – Add To MetaCart
-
Parallel Functional Genetic Algorithms in Standard ML from RPL2
- …Parallel Functional Genetic Algorithms in Standard ML from RPL2 Greg Michaelson and Paul Bristow…
- Cited by 2 (1 self) – Add To MetaCart
-
Towards a Box Calculus for Hierarchical Hume
- …Towards a Box Calculus for Hierarchical Hume Gudmund Grov and Greg Michaelson School…
- Cited by 1 (1 self) – Add To MetaCart
-
A Visualisation of Polymorphic Type Checking
- …A visualisation of polymorphic type checking Yang Jun Greg Michaelson y Department of Computing…
- Cited by 1 (0 self) – Add To MetaCart
-
Predictable Space Behaviour in FSM-Hume
- … Predictable Space Behaviour in FSM-Hume Kevin Hammond 1 and Greg Michaelson 2 1 School…
- Cited by 12 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
