MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Non-strict languages--- programming and

Download:
Download as a PDF | Download as a PS
by S. C. Wray, J. Fairbairn
http://www.uk.research.att.com/pub/docs/att/tr.88.2.ps.Z
Add To MetaCart

Abstract:

implementation

Citations

1143 Imperative functional programming – Jones, Wadler - 1993
173 A new implementation technique for applicative languages – Turner - 1979
151 Lambda lifting: Transforming programs to recursive equations – Johnsson - 1985
82 A compiler for lazy ML – Augustsson - 1984
70 CONS should not evaluate its arguments – Friedman, Wise - 1976
47 The Spineless Tagless G-machine – Jones, Salkild - 1989
39 Tim: A Simple, Lazy Abstract Machine to Execute Supercombinators – Fairbairn, Wray - 1987
32 The Functional Abstract Machine – Cardelli - 1983
10 A range of operating systems written in a purely functional style – Jones - 1984
10 Implementation and programming techniques for functional languages – Wray - 1986
9 Code Generation Techniques for Functional Languages – Fairbairn, Wray - 1986
7 and its Type System – Ponder - 1982
7 Design and Implementation of a Simple Typed Language Based on the Lambda-Calculus – Fairbairn - 1985
5 Denotational Semantics as a Programming Language – Schmidt - 1982
3 Graph Reduction with Supercombinators – Hughes - 1982
1 Abdali, An Abstraction Algorithm for Combinatory Logic – Kamal - 1976
1 Using circular programmes to eliminate multiple traversals of data – Bird - 1984
1 CL Hankin and S Abramsky The theory of strictness analysis for higher order functions – Burn
1 Yacc in Sasl---an Exercise – Jones - 1985
1 Verification and Derivation of Infinite-List Programs – Sijtsma - 1988
1 Introduction to the Functional Programming Language "Ponder – Tillotson - 1985
1 Projections for Strictness analysis Third – Wadler, Hughes
View or Download | Add to My Collection | Correct Errors