sreedhar@longhair.cs.unlv.edu (02/11/90)
address: 4505, Maryland parkway, Dept. of Computer Science,
University of Neavada, Las Vegas, NV 89154, USA
Thank you everybody for responding to my request. I tried to
mail the list of reference, but many of the emails bounced
back. So now I am posting the same. I am listing only those
articles I read. Listings are in bibtex (under latex) format.
---------------------------------------------------
@BOOK{field:func,
author = "A. J. Field and P. G. Harrison",
title = "{F}unctional {P}rogramming",
publisher = "Addison-wesley Publishing Company",
year = "1988",
address = " ",
note ="\newline A{n} excellent book. Subject is introduced using {HOPE} language. Gives a good treatment on graph reduction and optimization",
}
@BOOK{peyton:implement,
author = "S. Peyton-Jones",
title = "The Implementation of Functional Programming Languages",
publisher = "Prentice-Hall International",
year = "1987",
address = "Englewood Cliffs, NJ",
note = "\newline An excellent book. Gives details of implementation using {M}iranda language. A very good reference for compiler writing using graph reduction",
}
@BOOK{barendregt:lambda,
author = "H. P. Barendregt",
title = "The Lambda Calculus - its syntax and semantics",
publisher = "North Holland",
year = "1981",
}
@BOOK{ curry:combinatory,
author = "H. B. Curry and R. Feys",
title = "Combinatory logic",
volume = "1",
publisher = "North Holland",
year = "1958",
}
@BOOK{hindley:introd,
author = "J. R. Hindley and J. P. Seldin",
title = "Introduction to combinators and $\lambda$-calculus",
publisher = "Cambridge University Press",
year = "1986",
}
@BOOK{seldin:curry,
editor = "J. P. Seldin and J. R. Hindley",
title = "To {H. B. Curry}: {Essays} on Combinatory logic, Lambda Calculus, and Formalism",
publisher = " Academic Press",
year = "1980",
}
@incollection{turner:miranda,
author = "D. A. Turner",
title = "Miranda: A non-strict functional language with polymorphic types",
editor = "G. Goos and J. Hartmanis",
booktitle = "Functional Proagramming and Computer Architecture",
series = "LNCS",
Volume = "201",
year = "1985",
publisher = "Springer-Verlag",
}
@incollection{hudak:serial,
author = "P. Hudak and B. Goldberg",
title = "Serial Combinators: Optimal Grains of Parallelism",
editor = "G. Goos and J. Hartmanis",
booktitle = "Functional Proagramming and Computer Architecture",
series = "LNCS",
Volume = "201",
year = "1985",
publisher = "Springer-Verlag",
}
@INPROCEEDINGS{hankin:safe,
author = "C. L. Hankin and G. L. Burn and S. L. Peyton-Jones",
editor = "G. Goos and J. Hartmanis",
title = "A Safe Approach to Parallel Combinator Reduction ",
booktitle = "{ESOP} 86: European Symposium on Programming",
publisher = "Springer-Verlag",
volume = "213",
series = "LNCS",
pages = "99-109",
year = "1986",
month = "March",
address = "Saarbrucken, FRG",
}
@INPROCEEDINGS{bellot:graal,
author = "P. Bellot",
editor = "G. Goos and J. Hartmanis",
title = " {GRAAL}: A Functional Programming System with Uncurrified Combinators and its Reduction Machine",
booktitle = "{ESOP} 86: European Symposium on Programming",
publisher = "Springer-Verlag",
volume = "213",
series = "LNCS",
pages = "82-98",
year = "1986",
month = "March",
address = "Saarbrucken, FRG",
}
@INCOLLECTION{nokel:remarks,
author = "K. Nokel and R. Rehbol and M. M. Richter",
editor = "G. Goos and J. Hartmanis",
title = " Remarks on {SASL} and the Verification of Functional Programming Langauges",
booktitle = "Computation Theory and Logic",
publisher = "Springer-Verlag",
volume = "270",
series = "LNCS",
pages = "265-276",
year = "1987",
}
@INPROCEEDINGS{lamping:algorithm,
author = "J. Lamping",
booktitle = "Proceedings of Principles of Programming Languages",
title = "An Algorithm for Optimal Lambda Calculus Reduction",
year = "1990",
month = "January",
publisher = "ACM Press",
organization = "ACM",
note = "\newline Gives an algorithm to implement an optimal lambda calculus reduction based on {Levy's} definition. The author gives a set of graph rewriting rules to reduce the lambda expression using graph techniques.",
}
@INPROCEEDINGS{hudak:experiment,
author = "P. Hudak and B. Goldberg ",
title = "Experiments in Diffused Combinator Reduction",
booktitle = "ACM Symposium on Lisp and Functional Programming",
year = "1984",
month = "August",
publisher = "ACM Press",
organization = "ACM",
address = "Texas",
pages = "167-176",
}
@INPROCEEDINGS{rosser:highlights,
author ="J. B. Rosser",
title = "Highlights of the history of lambda-calculus",
booktitle = "ACM Symposium on Lisp and Functional Programming",
year = "1982",
month = "August",
publisher = "ACM Press",
organization = "ACM",
address = "Pennysylvania",
pages = "216-225",
}
@INPROCEEDINGS{kennaway:expression,
author ="J. R. Kennaway and M. R. Sleep",
title = "Expression as Processes",
booktitle = "ACM Symposium on Lisp and Functional Programming",
year = "1982",
month = "August",
publisher = "ACM Press",
organization = "ACM",
address = "Pennysylvania",
pages = "21-28",
}
@INPROCEEDINGS{jones:fixed,
author ="N. D. Jones and S. S. Muchnick",
title = "A Fixed-Program Machine for Combinator Expression Evaluation",
booktitle = "ACM Symposium on Lisp and Functional Programming",
year = "1982",
month = "August",
publisher = "ACM Press",
organization = "ACM",
address = "Pennysylvania",
pages = "11-20",
}
@article{johnsson:efficient,
author ="T. Johnsson",
title = "Efficient Compilation of Lazy Evaluation",
booktitle = "Proceedings of the ACM SIGPLAN'84 Symposium on Compiler Construction",
journal = " SIGPLAN Notices",
year = "1984",
month = "June",
volume = "19",
number = "6",
publisher = "ACM Press",
organization = "ACM",
Pages = "58-69",
}
@INPROCEEDINGS{hindley:combinators,
author ="J. R. Hindley",
editor = "G. Cousineau et al",
title = "Cominators and Lambda-calculus, a short outline",
booktitle = "Combinators and Functional Programming Languages - 13th Spring School of the LITP Proceedings",
year = "1985",
month = "May",
publisher = "Springer-Verlag",
series = "LNCS",
volume = "242",
address = "France",
}
@INPROCEEDINGS{peyton:intro,
author ="S. L. Peyton-Jones",
editor = "G. Cousineau et al",
title = "An introduction to fully-lazy supercombinators",
booktitle = "Combinators and Functional Programming Languages - 13th Spring School of the LITP Proceedings",
year = "1985",
month = "May",
publisher = "Springer-Verlag",
series = "LNCS",
volume = "242",
address = "France",
}
@INPROCEEDINGS{harrison:parallel,
title = "The Parallel Graph Reduction Machine, {ALICE}",
editor = "J. H. Fasel and R. M. Keller",
author = "P. G. Harrison and M. J. Reeve",
booktitle = "Graph Reduction - Proceedings of a Workshop",
year = "1986",
month = "September/October",
publisher = "Springer-Verlag",
series = "LNCS",
volume = "279",
address = "New Mexico",
page = "181-202",
}
@INPROCEEDINGS{oberhauser:onthe,
author = "H. Oberhauser",
editor = "J. H. Fasel and R. M. Keller",
title = "On the Correspondence of Lambda Style Reduction and Combinator Style Reduction",
booktitle = "Graph Reduction - Proceedings of a Workshop",
year = "1986",
month = "September/October",
publisher = "Springer-Verlag",
series = "LNCS",
volume = "279",
address = "New Mexico",
}
@INPROCEEDINGS{michelsen:parallel,
author = "R. Michelsen et al",
editor = "J. H. Fasel and R. M. Keller",
title = "Parallel Graph Reduction on a Supercomputer: A Status Report",
booktitle = "Graph Reduction - Proceedings of a Workshop",
year = "1986",
month = "September/October",
publisher = "Springer-Verlag",
series = "LNCS",
volume = "279",
address = "New Mexico",
pages = "114-117",
}
@INPROCEEDINGS{ castan:toward,
author = "M. Castan et al",
editor = "J. H. Fasel and R. M. Keller",
title = "Toward the design of parallel reduction machine - The {MaRS} project",
booktitle = "Graph Reduction - Proceedings of a Workshop",
year = "1986",
month = "September/October",
publisher = "Springer-Verlag",
series = "LNCS",
volume = "279",
address = "New Mexico",
pages = "160-180",
}
@article{bloss:optimising,
author = "A. Bloss and P. Hudak and J. Young",
title = "An Optimising Compiler for a Modern Functional Language",
journal = "The Computer Journal",
year = "1988",
volume = "31",
pages = "152-161",
number = "6",
}
@article{richards:overview,
author = "H. Richards",
title = "An Overvie of {ARC SASL}",
journal = "SIGPLAN Notices",
year = "1984",
month ="October",
volume = "19",
number = "10",
pages = "40-45",
}
@article{turner:new,
author = "D. A. Turner",
title = "A New Implementation Technique for Applicative Languages",
journal = "Software-Practice and Experience",
year = "1979",
volume = "9",
pages = "31-49",
note ="\newline A seminal paper on the use of graph reduction for evaluation of combinatory logic expression. Gives a good introduction to CL",
}
@article{hudak:para,
author = "P. Hudak",
title = "Para-Functional Programming ",
journal = "Computer",
year = "1986",
volume = "19",
number = "8",
pages = "60-70",
}
@article{koopman:fresh,
title = "A Fresh Look at Combinator Graph Reduction",
author = "P. J. {Koopman, Jr.} and P. Lee",
journal = " Sigplan Notices",
booktitle = "Proceedings of the Sigplan Conference on Programming Language Design and Implementation",
year = "1989",
month = "June",
volume = "24",
number = "7",
pages = "110-119",
}
@article{peyton:parallel,
author = "S. L. Peyton-Jones",
title = "Parallel Implementation of Functional Programming Langauges",
journal = "The Computer Journal",
year = "1989",
volume = "32",
pages = "175-186",
number = "2",
}
@article{staples:optimal,
author = "J. Staples",
title = "Optimal evaluations of graph-like expressions",
journal = "Theoretical Computer Science",
year = "1980",
volume = "10",
pages = "297-316",
}
@article{staples:speed,
author = "J. Staples",
title = " Speeding up subtree replacement systems",
journal = "Theoretical Computer Science",
year = "1980",
volume = "11",
pages = "38-47",
}
@article{staples:computation,
author = "J. Staples",
title = "Computation on Graph like Expression",
journal = "Theoretical Computer Science",
year = "1980",
volume = "10",
pages = "171-185",
}