Profiling Lazy Functional Languages (1992)


Download Links

by Patrick M. Sansom , Simon L. Peyton Jones
Venue:In Fifth Annual Glasgow Workshop on Functional Programming
Citations:5 - 0 self

Active Bibliography

6 Computing Science – Ph Thesis, Patrick M. Sansom, Patrick M. Sansom - 1994
Execution Profiling for . . . – Patrick M. Sansom - 1994
40 Time and Space Profiling for Non-Strict, Higher-Order Functional Languages – Patrick M. Sansom, Simon L. Peyton Jones - 1995
State in Haskell – John Launchbury Jl, John Launchbury, Simon L Peyton Jones - 1996
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
Eliminating the Shortcomings of Free Datatype Definitions – Stefan A. Missura - 1995
unknown title – An Introduction To Gofer - 1999
Parallel Garbage Collection and Graph Reducer – Wen-yan Kuo
Experience with a Clustered Parallel Reduction Machine – M. Beemster, P. H. Hartel, L. O. Hertzberger, R. F. H. Hofman, K. G. Langendoen, L. L. Li, R. Milikowski, W. G. Vree, H. P. Barendregt, J. C. Mulder - 1993
nhc: a space-efficient Haskell compiler – Niklas Röjemo - 1995
The Automated Derivation of Sparse Implementations ofNumerical Algorithms through Program Transformation1 – Stephen Fitzpatrick, M. Clint, P. Kilpatrick - 1995
An Analysis of pi-calculus Bisimulations – Roberto M. Amadio, Otmane Ait-mohamed - 1995
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
Combinatory Algebraic Specification & Compilation of List Matching – Typeset In Asf+sdf+a, M S-l, Figures Programmed In Tpic, Coverdesign R. M. Mccoll, Eelco Visser, Eelco Visser - 1993
ARL and PR2, reversible languages – Jurriaan Hage - 1994
Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification – Klaus Schneider, Ramayya Kumar, Thomas Kropf
Efficient Compilation of Functional Languages by Program Transformation – André Santos - 1997
Automatic Parallelization of Object-Oriented Programming Languages Using Tuple Space – Barrett R. Bryant, Daniel T. Chang, Prakash K. Muthukrishnan, Viswanathan Vaidyanathan
Bracket abstraction in the combinator system Cl(K) – Sabine Broda, Luís Damas