|
3
|
Performance of lazy combinator graph reduction
– Pieter H. Hartel
- 1991
|
|
2
|
A brief survey of benchmark usage in the architecture community
– T M Conte, W W Hwu
- 1991
|
|
2
|
Non-strict languages---Programming and implementation
– S Wray, J Fairbairn
- 1989
|
|
1
|
Gyorgy R'ev'esz. Comparing two functional programming systems
– Brent Hailpern, Tien Huynh
- 1989
|
|
1
|
Perfect report 2
– Lynn Pointer, editor
- 1990
|
|
2
|
Performance of Lisp systems
– Richard P Gabriel, Larry M Masinter
- 1982
|
|
23
|
The Chalmers lazy-ML compiler
– L Augustsson, T Johnsson
- 1989
|
|
3633
|
Computer Architecture - A Quantitative Approach, 2nd Edition
– John L Hennessy, David A Patterson
- 1996
|
|
689
|
SPLASH: Stanford Parallel Applications for Shared Memory
– J P Singh, W-D Weber, A Gupta
- 1992
|
|
5
|
editors). Report on the functional programming language Haskell
– P Hudak, P Wadler
- 1988
|
|
1
|
Taming side effects with a single-threaded type system
– P Hudak, J Guzm'an
- 1989
|
|
5
|
Denotational semantics as a programming language
– D A Schmidt
- 1982
|
|
6
|
Path analysis: using order-of-evaluation information to optimize lazy functional languages
– A Bloss
- 1989
|
|
56
|
Detecting global variables in denotational specifications
– D A Schmidt
- 1985
|
|
98
|
The principal type scheme of an object in combinatory logic
– J R Hindley
- 1969
|
|
50
|
A system which automatically improves programs
– J DARLINGTON, R M BURSTALL
- 1976
|
|
64
|
A Semantic Model of Reference Counting and its Abstraction
– Paul Hudak
- 1986
|
|
23
|
Interprétation functionelle et élimination des coupures dans l’arithm étique d’ordre supérieure
– J Y Girard
- 1972
|
|
129
|
The system F of variable types, fifteen years later
– J Y Girard
- 1986
|
