Interpreter Prototypes From Formal Language Definitions (1993)

Cached

Download Links

by Gregory John Michaelson
Citations:6 - 4 self

Documents Related by Co-Citation

9 Hume: a Bounded Time Concurrent Language – K Hammond - 2000
6 Improving Granularity for Parallel Functional Programs: a Graphical Winnowing System for Haskell – K Hammond, H-W Loidl, A S Partridge - 1995
11 Concurrent Monadic Interfacing – Ian Holyer, Eleni Spiliopoulou - 1998
8 On Formalised Proofs of Termination of Recursive Functions – Fairouz Kamareddine, Francois Monin - 1999
9 Parallelising a Large Functional Program Or: Keeping LOLITA Busy – Hans-wolfgang Loidl, Richard Morgan, Phil Trinder, Sanjay Poria, Chris Cooper, Simon Peyton Jones, Roberto Garigliano - 1996
4 The Implementation of the TRUTH Model Checker in Haskell – M Lücker, T Noll - 2000
6 Constraints on recursion in the Hume expression language – Greg Michaelson - 2000
5 Compile-time Cost Analysis for Parallel Programming – Roopa Rangaswami - 1996
5 GUM: a Portable Parallel Implentatiion of Haskell – P W Trinder, K Hammond, J S Mattson Jr, A S Partridge, S L Peyton Jones - 1996
43 Elementary strong functional programming – D. A. Turner, Canterbury Ct Nf - 1995
51 ACE: an automatic complexity evaluator – D Le Métayer
28 Granularity in Large-Scale Parallel Functional Programming – Hans Wolfgang Loidl - 1998
24 A sized time system for a parallel functional language – Hans-wolfgang Loidl, Kevin Hammond - 2003
21 First-class schedules and virtual maps – R Mirani, P Hudak - 1995
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
77 Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming – John Hughes, Lars Pareto - 1999
46 Static dependent costs for estimating execution time – Brian Reistad, David K. Gifford - 1994
85 High Integrity Ada: The Spark Approach – J Barnes
29 Nested Algorithmic Skeletons from Higher Order Functions – Greg Michaelson, Norman Scaife, Paul Bristow, Peter King - 2000