|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
S Anderson & P Hudak {March 1989}, "Efficient compilation of Haskell array comprehensions," Dept Comp Sci, Yale University.
|
| |
2
|
L Augustsson {1987}, "Compiling lazy functional languages, part II," PhD thesis, Dept Comp Sci, Chalmers University, Sweden.
|
| |
3
|
|
| |
4
|
WH Burge {Oct 1977}, "Examples of progra~n optimization," RC 6351, IBM Thomas J Watson Research Centre.
|
 |
5
|
|
| |
6
|
L Cardelli & G Longo{Oct 1991}, "A semantic basis for Quest," Journal &Functional Programming 1,417- 458.
|
| |
7
|
WN Chin{March 1990}, "Automatic methods for program transformation," PhD thesis, Imperial College, London.
|
| |
8
|
K Davis {Sept 1987}, "Deforestation: Transformation of functional programs to eliminate intermed-ate trees," MSc Thesis, Programming Research Group, Oxford University.
|
| |
9
|
J Fairbairn {May 1985}, "Design and implementation of a simple typed language based on l~he lambda calculus," TR 75, Computer Lab, Cambridge.
|
| |
10
|
AB Ferguson & PL Wadler {1988}, "When will deforesation stop?,' in Functional Programming, Glasgow 1988.
|
| |
11
|
MM Fokkinga, E Meijer, J Jeuring, L Meertens {1992}, "FRATS: a parallel reduction strategy for shared memory," The $qu/ggo//st 2, 20-26, KG Langendoen & WG Vree.
|
 |
12
|
Paul Hudak , Simon Peyton Jones , Philip Wadler , Brian Boutel , Jon Fairbairn , Joseph Fasel , María M. Guzmán , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Will Partain , John Peterson, Report on the programming language Haskell: a non-strict, purely functional language version 1.2, ACM SIGPLAN Notices, v.27 n.5, p.1-164, May 1992
[doi> 10.1145/130697.130699]
|
| |
13
|
RJM Hughes {July 1983}, "The design a~Ld implementation of programming languages," Phi) thesis, Programming Research Group, Oxford.
|
| |
14
|
RJM Hughes {Oct 1984}, "A novel representation of lists and its application to the function 'Reverse'," PMG-38, Programming Methodology Group, Chalmers Inst, Sweden.
|
| |
15
|
|
| |
16
|
R Milner {Dec 1978}, "A theory of type polymorphism in programming," JCSS 13.
|
| |
17
|
|
| |
18
|
SL Peyton Jones{1993}, "The Glasgow Haskell compiler: a technical overview," in Joint Framework for In{ormat/on Technology Techn/ca/ Conference, Keele.
|
 |
19
|
|
| |
20
|
JC Reynolds {1983}, "Types, abstraction and parametric polymorphism," in Information Processing 83, REA Mason, ed., North-Holland, 513-523.
|
| |
21
|
MR Sleep & S Holmstrom {May 1982}, "A short note concerning lazy reduction rules of APPEND," University of East Anglia.
|
| |
22
|
VF Tur~ {1988}, "The algorithm of generalization in the supercompfler,' in Partial Evaluation and Mixed Computation, Bjerner, Ershov & Jones, eds., North- Holland.
|
| |
23
|
PL Wadler{1987}, "List Comprehensions," in The Implementation of Functional Programming Languages, SL Peyton Jones, ed., Prentice Hall, 127-138.
|
 |
24
|
|
| |
25
|
|
| |
26
|
PL Wadler {Dec 1987}, "The concatenate vanishes," Dept of Computer Science, Glasgow University.
|
 |
27
|
|
 |
28
|
|
CITED BY 64
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Simon Peyton Jones , Mark Shields , John Launchbury , Andrew Tolmach, Bridging the gulf: a common intermediate language for ML and Haskell, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.49-61, January 19-21, 1998, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Manuel M. T. Chakravarty , Roman Leshchinskiy , Simon Peyton Jones , Gabriele Keller , Simon Marlow, Data parallel Haskell: a status report, Proceedings of the 2007 workshop on Declarative aspects of multicore programming, p.10-18, January 16-16, 2007, Nice, France
|
|
|
|
|
|
|
|
|
|
|
|
|
|
David N. Turner , Philip Wadler , Christian Mossin, Once upon a type, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.1-11, June 26-28, 1995, La Jolla, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zhenjiang Hu , Masato Takeichi , Wei-Ngan Chin, Parallelization in calculational forms, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.316-328, January 19-21, 1998, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen
, Daniel D. Gajski
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
|