SEL-HPC WWW Functional programming archive
Jon Hill
WWW Functional Programming Article Archive
==========================================
URL: http://www.lpac.ac.uk/SEL-HPC/Articles/FuncArchive.html
^^^^
The network address ``www.lpac.qmw.ac.uk'' will disappear shortly..
The SEL-HPC functional programming archive of online papers currently
contains links to 1004 articles in the following subject
areas:
[ 65 art.] Language definitions, semantics, and reviews;
Implementation:
[ 26 art.] abstract machines
[ 99 art.] basic techniques and optimisation
[ 36 art.] imperative functional programming, I/O, and monads
[ 65 art.] type inference and overloading
[ 50 art.] garbage collection
Program manipulation:
[ 47 art.] partial evaluation
[ 24 art.] program transformation
[ 48 art.] static analysis
Theory:
[ 45 art.] lambda calculus
[ 28 art.] monads and category theory
[ 16 art.] type theory
[ 17 art.] formal methods and functional programs
Extensions:
[ 19 art.] debugging and profiling
[ 15 art.] graphics and interaction
[ 29 art.] integration of functional and logic programming
Parallelism
[ 39 art.] data-parallelism, Bird-Meertens Formalism, etc.
[ 26 art.] parallel graph reduction
[ 17 art.] skeletons
[ 43 art.] concurrency, pi-calculus, etc.
[ 84 art.] other parallel functional programming
[ 36 art.] Applications
[ 26 art.] Functional pearls
[104 art.] Miscellaneous
***Please add your own and anyone elses' papers to the archive***
*** ***
*** http://www.lpac.ac.uk/SEL-HPC/Articles/FuncAdd.html ***
The archive also offers:
o Cross referenced indexes by author, institution, conference, and journal.
o The ability to modify existing entries in the archive.
o Underlying BibTeX databases that are available for down-loading.
o Fast searching of the archive using Perl regular expressions.
o Authors the opportunity to add links to their home page.
Any references to their name will then include a link
to their page.
o A list of new articles added to the archive each week.
o A mailing list to keep you informed of any new articles
At URL http://www.lpac.ac.uk/SEL-HPC/Articles/ , the following
archives are also available:
High performance computing......[ 1175 articles, 18 new]
Functional programming..........[ 1004 articles, 28 new]
Compilers & interpreters........[ 494 articles, 13 new]
Vision and image processing.....[ 381 articles, 11 new]
Computational mathematics.......[ 320 articles, 2 new]
Neural networks.................[ 180 articles, 4 new]
Human computer interaction......[ 260 articles, 13 new]
Databases.......................[ 144 articles, 1 new]
Miscellaneous...................[ 618 articles, 0 new]
.........................Total= 4576 articles, 90 new
To be added to the bi-weekly mailing list of new articles mail
``arc...@lpac.ac.uk'' with the subject-line ``subscribe func'' OR
fill in the form at the URL
http://www.lpac.ac.uk/SEL-HPC/Articles/EmailNewArticles.html
(you can subscribe to other SEL-HPC mailing lists from the above
form). An example mail shot for the last two weeks is included below:
New articles: functional programming [May 3 to May 16]
This document was automatically generated on Tue May 16 12:00:29 1995 . New
articles avilable in the following subject areas:
* miscellaneous;
* abstract machines;
* language definitions, semantics, and reviews;
* graphics amd interaction;
* implementation and optimisation;
* lambda calculus;
* integrations of functional and logic programming;
* concurrency, Pi-calculus, etc.;
* data-parallelism, BMF, etc.;
* misc. parallel functional programming;
* partial evaluation;
Jon Hill , The London & South East centre for High Performance Computing
------------------------------------------------------------------------------
------------------------------------------------------------------------------
miscellaneous
* [Thu May 4 14:17:15 1995 ] Klaus Achatz, and Wolfram Schulte "Architecture
Independent Massive Parallelization of Divide-and-Conquer Algorithms" In
3rd Int. Conf. on the MPC , Springer-Verlag, Berlin, July 1995.
Abstract:
http://www.informatik.uni-ulm.de/fakultaet/abteilungen/pm/mitarbeiter/klaus/DCMPC.html
Paper:
http://www.informatik.uni-ulm.de/fakultaet/abteilungen/pm/publikationen/DCMPC.ps
Keywords: parallelism, program design calculi, program transformation,
divide-and-conquer
* [Mon May 15 15:45:44 1995 ] Olivier Danvy , and Frank Pfenning "The
Occurrence of Continuation Parameters in CPS Terms" ,Technical report
CMU-CS-95-121, School of Computer Science, Carnegie Mellon University,
February 1995.
Abstract: http://www.daimi.aau.dk/~danvy/Papers/danvy-pfenning-tr95.html
Paper: file://ftp.daimi.aau.dk/pub/danvy/Papers/danvy-pfenning-tr95.ps.gz
* [Mon May 15 15:49:11 1995 ] John Hatcliff, and Olivier Danvy "A Generic
Account of Continuation-Passing Styles" In Principles of Programming
Languages , pages 458-471, 1994.
Abstract: http://www.daimi.aau.dk/~danvy/Papers/hatcliff-danvy-popl94.html
Paper:
file://ftp.daimi.aau.dk/pub/danvy/Papers/hatcliff-danvy-popl94.ps.gz
------------------------------------------------------------------------------
abstract machines
* [Tue May 16 11:46:28 1995 ] A. Asperti, C. Giovannetti, and A. Naletto
"The Bologna Optimal Higher-Order Machine" ,Technical report UBLCS-95-9,
University of Bologna, Department of Computer Science, March 1995.
Paper: ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-09.ps.gz
Keywords: core of a functional language based on Lamping's optimal graph
reduction technique
------------------------------------------------------------------------------
language definitions, semantics, and reviews
* [Thu May 4 10:25:46 1995 ] Klaus Didrich, Jrgen Exner, Wolfgang Grieskamp
, and Peter Pepper "Integrating Algebraic Specification and Functional
Programming---Experiences with the OPAL System" In International Workshop
on Advanced Software Technology , Jiao Tong Universitt, Shanghai, 1994.
Abstract:
http://www.cs.tu-berlin.de/~uebb/papers/published/ExperiencesOpalAbstract.html
Paper:
http://www.cs.tu-berlin.de/~uebb/papers/published/ExperiencesOpalAbstract.ps.gz
------------------------------------------------------------------------------
graphics amd interaction
* [Tue May 16 11:20:24 1995 ] Timo Metzemakers , and David J. Sherman "A
Virtual Workbench for Teaching Rewriting Systems" ,Technical report
973-94, LaBRI, Universit Bordeaux--1, 1994.
Abstract: http://www.labri.u-bordeaux.fr/~david/papers/LaBRI-973-94.html
Paper: http://www.labri.u-bordeaux.fr/~david/papers/LaBRI-973-94.ps
------------------------------------------------------------------------------
implementation and optimisation
* [Wed May 3 16:29:20 1995 ] Chris Okasaki , Peter Lee , and David Tarditi
"Call-by-need and Continuation-passing Style" Lisp and Symbolic
Computation , 7(1):57-82, January 1994.
Paper: http://foxnet.cs.cmu.edu/people/cokasaki/lazy-cps.ps
Keywords: call-by-need, continuation-passing style, continuations, lazy
evaluation
* [Mon May 15 10:40:54 1995 ] Bogumil Hausman "Turbo Erlang: Approaching the
Speed of C" In Evan Tick, and Giancarlo Succi, editors, Implementations of
Logic Programming Systems , pages 119--135, Kluwer Academic Publishers,
1994.
Keywords: erlang compiled into C
------------------------------------------------------------------------------
lambda calculus
* [Fri May 12 10:08:37 1995 ] Atsushi Ohori "A polymorphic record calculus
and its compilation" ,Technical report No. RIMS-1013, RIMS, Kyoto
University, April 1995.
Abstract: http://wwwfun.kurims.kyoto-u.ac.jp/~ohori/recordcalc.abs
Paper: http://wwwfun.kurims.kyoto-u.ac.jp/~ohori/recodcalc.ps
* [Fri May 12 10:09:40 1995 ] Atsushi Ohori, and Tomonobu Takamizawa "A
polymorphic unboxed calculus as an abstract machine for polymorphic
languages" , RIMS, Kyoto University, May 1995.
Abstract: http://wwwfun.kurims.kyoto-u.ac.jp/~ohori/recordcalc.abs
Paper: http://wwwfun.kurims.kyoto-u.ac.jp/~ohori/recodcalc.ps
* [Fri May 12 10:17:58 1995 ] Martin Odersky, and Dan Rabin "The
Unexpurgated Call by Name, Assignment, and the Lambda Calculus, Revised
Report" ,Technical report YALEU/DCS/RR-930, Yale University, May 1993.
Paper: ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-930.ps.Z
* [Fri May 12 10:22:45 1995 ] Jacques Garrigue "The Transformation Calculus"
,Technical report No 94-09, University of Tokyo, Department of Information
Science, April 1994.
Abstract: http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/papers/transfo.html
Paper:
ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR94-09-transfo-a4.ps.gz
* [Mon May 15 15:46:45 1995 ] John Hatcliff, and Olivier Danvy "Thunks and
the lambda-calculus" ,Technical report 95/3, DIKU, Computer Science
Department, University of Copenhagen, February 1995.
Abstract: http://www.daimi.aau.dk/~danvy/Papers/hatcliff-danvy-tr95.html
Paper: file://ftp.daimi.aau.dk/pub/danvy/Papers/hatcliff-danvy-tr95.ps.gz
------------------------------------------------------------------------------
integrations of functional and logic programming
* [Wed May 10 11:06:30 1995 ] E. Boerger, F.J. Lopez-Fraguas, and M.
Rodriguez-Artalejo "A model for mathematical analysis of functional logic
programs and their implementations" In B. Pehrson, and I. Simon, editors,
IFIP 13th World Computer Congress , pages 410-415, North-Holland,
Amsterdam, 1994.
Paper: ftp://ftp.eecs.umich.edu/groups/Ealgebras/babel.ps
Keywords: evolving algebra for Prolog to the functional logic programming
language BABEL
------------------------------------------------------------------------------
concurrency, Pi-calculus, etc.
* [Sat May 13 14:35:04 1995 ] G. Ostheimer , and A.J.T. Davie "Pi-Calculus
Characterizations of Some Practical Lambda-Calculus Reduction Strategies"
, CS 93/14, University of St Andrews, Division of Computer Science,
University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS,
Scotland, October 1993.
Abstract:
http://www.cs.st-and.ac.uk/CompSci/Rsch/Functional/publications.html#lambda.pi
Paper: ftp://ftp.dcs.st-and.ac.uk/pub/staple/lambdapi.ps.Z
* [Sat May 13 14:35:49 1995 ] G. Ostheimer , and A.J.T Davie "Modelling
Parallel Graph Reduction in the Pi-Calculus" In R. Plasmeijer, and M. van
Eekelen, editors, Int. Workshop on the Implementation of Functional
Languages , pages 193-207, University of St Andrews, TR 93-21, Computing
Science Institute, Katholieke Universiteit Nijmegen, Division of Computer
Science, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS,
Scotland, September 1993.
Abstract:
http://www.cs.st-and.ac.uk/CompSci/Rsch/Functional/publications.html#nijmegen
Paper: ftp://ftp.dcs.st-and.ac.uk/pub/staple/nijmegen.ps.Z
* [Mon May 15 10:37:49 1995 ] Claes Wikstrm "Distributed computing in
erlang" In Hoon Hong, editor, PASCO'94: First International Symposium on
Parallel Symbolic Computation , pages 412--421, World Scientific
Publishing Company, Hagenberg/Linz, Austria, Sept 1994.
Paper: http://www-cslab.ericsson.se:5000/dist-erlang.ps
* [Mon May 15 10:51:43 1995 ] Joost Engelfriet, and Tjalling Gelsem
"Multisets and Structural Congruence of the pi-Calculuswith Replication"
,Technical report TR 95-02, Leiden University, January 1995.
Abstract: http://www.wi.LeidenUniv.nl/TechRep/tr95-02.html
Paper:
ftp://ftp.wi.LeidenUniv.nl/pub/CS/TechnicalReports/1995/tr95-02.ps.gz
* [Mon May 15 10:52:42 1995 ] Joost Engelfriet, and Tjalling Gelsema
"Multisets and Structural Congruence of the pi-Calculus with Replication"
,Technical report TR 95-02, Leiden University, January 1995.
Abstract: http://www.wi.LeidenUniv.nl/TechRep/tr95-02.html
Paper:
ftp://ftp.wi.LeidenUniv.nl/pub/CS/TechnicalReports/1995/tr95-02.ps.gz
------------------------------------------------------------------------------
data-parallelism, BMF, etc.
* [Mon May 15 12:28:19 1995 ] Jonathan M. D. Hill "Data-parallel lazy
functional programming" , PhD thesis, Queen Mary and Westfield College,
Department of Computer Science, Mile End Road, London, E1 4NS, UK,
September 1994.
Abstract:
http://www.dcs.qmw.ac.uk/publications/report_abstracts/1995/701.html
Paper: ftp://ftp.dcs.qmw.ac.uk/pub/cpc/jon_hill/Thesis/DPHthesis.ps.gz
Keywords: data-parallelism, non-strict semantics, map, fold, scan,
Spineless Tagless G-machine, sorting, scatter, packing, vectorisation,
LL(1) parsing, monads, Haskell.
* [Mon May 15 13:54:28 1995 ] Jonathan M. D. Hill , Keith M. Clarke , and
Richard Bornat "Vectorising a non-strict data-parallel functional
language" ,Technical report QMW-DCS-1995-700, Queen Mary and Westfield
College, Department of Computer Science, Mile End Road, London E1 4NS, May
1995.
Abstract:
http://www.dcs.qmw.ac.uk/publications/report_abstracts/1995/700.html
Paper: ftp://ftp.dcs.qmw.ac.uk/pub/cpc/jon_hill/qmw700.ps.Z
Keywords: program transformation, lambda calculus, parallelisation
------------------------------------------------------------------------------
misc. parallel functional programming
* [Sat May 13 14:37:59 1995 ] G. Ostheimer "Parallel Functional Programming
for Message-Passing Multiprocessors" ,Technical report CS-93-8, University
of St Andrews, 93.
Abstract:
http://www.dcs.st-andrews.ac.uk/CompSci/Rsch/Functional/publications.html#parallel.functional
Paper: ftp://ftp.dcs.st-and.ac.uk/pub/staple/par-fun.ps.Z
Keywords: Pi-calculus
* [Sat May 13 14:38:55 1995 ] G. Ostheimer "Parallel Functional Computation
on STAR:DUST" In H. Glaser, and P. Hartel, editors, Workshop on the
Parallel Implementation of Functional Languages , pages 393-407,
University of St Andrews, CSTR 91-07, Department of Electronics and
Computer Science, University of Southampton, Division of Computer Science,
University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS,
Scotland, June 1991.
Abstract:
http://www.dcs.st-and.ac.uk/CompSci/Rsch/Functional/publications.html#stardust
Paper: ftp://ftp.dcs.st-and.ac.uk/pub/staple/stardust.ps.Z
------------------------------------------------------------------------------
partial evaluation
* [Wed May 10 11:11:23 1995 ] Yuri Gurevich, and James K. Huggins "Evolving
Algebras and Partial Evaluation" In B. Pehrson, and I. Simon, editors,
IFIP 13th World Computer Congress , pages 587-592, North-Holland,
Amsterdam, 1994.
Paper: ftp://ftp.eecs.umich.edu/groups/Ealgebras/pevalifip.ps
* [Mon May 15 15:44:17 1995 ] Olivier Danvy , Karoline Malmkjr, and Jens
Palsberg "The Essence of Eta-Expansion in Partial Evaluation" Conference
on Lisp and Functional programming and Symbolic Computation , , 1995.
Abstract:
http://www.daimi.aau.dk/~danvy/Papers/danvy-malmkjaer-palsberg-lasc95.html
Paper:
file://ftp.daimi.aau.dk/pub/danvy/Papers/danvy-malmkjaer-palsberg-lasc95.ps.gz
* [Mon May 15 15:47:50 1995 ] Julia L. Lawall, and Olivier Danvy
"Continuation-Based Partial Evaluation" In Conference on Lisp and
Functional programming , 1994.
Abstract:
http://www.daimi.aau.dk/~danvy/Papers/lawall-danvy-lfp94-extended.html
Paper:
file://ftp.daimi.aau.dk/pub/danvy/Papers/lawall-danvy-lfp94-extended.ps.gz
* [Mon May 15 15:50:52 1995 ] Charles Consel, and Olivier Danvy "Partial
Evaluation of Pattern Matching in Strings" Information Processing Letters
, 30(2):79-86, 1989.
Abstract: http://www.daimi.aau.dk/~danvy/Papers/consel-danvy-ipl89.html
Paper: file://ftp.daimi.aau.dk/pub/danvy/Papers/consel-danvy-ipl89.ps.gz
---------------------------------------------------------------
The London & South East centre for High Performance Computing
Jonathan M.D.Hill [http://www.lpac.ac.uk/SEL-HPC/People/Hilly]
---------------------------------------------------------------