%
% TOPICS
%       Abstract Models: LAMBDA-Calculus,
%       Abstract Models: PSI-Calculus,
%	Abstract Models: Category Theorie
%
%       Compilers: Compiler Optimization,
%                  Compiler Optimization: Compiler Optimization Surveys,
%                  Compiler Optimization: Array Allocation Optimizations,
%                  Compiler Optimization: Array Data Layout,
%                  Compiler Optimization: Array Contraction,
%                  Compiler Optimization: Cache Utilization,
%                  Compiler Optimization: Fusion of Functions,
%                  Compiler Optimization: Fusion of Loops,
%                  Compiler Optimization: Loop Transformation,
%                  Compiler Optimization: Folding of Array Comprehensions,
%                  Compiler Optimization: Dead Code Elimination,
%                  Compiler Optimization: Deforestation,
%                  Compiler Optimization: Partial Evaluation,
%                  Compiler Optimization: Strictness Analysis,
%                  Compiler Optimization: Garbage Collection,
%                  Compiler Optimization: Memoisation,
%                  Compiler Optimization: Tupling
%       Compilers: Types and Typesystems,
%                  Types and Typesystems: Dependent Types,
%                  Types and Typesystems: Indexed Types,
%                  Types and Typesystems: Intersection Types,
%                  Types and Typesystems: Linear Types,
%                  Types and Typesystems: Sized Types,
%                  Types and Typesystems: Types in General,
%                  Types and Typesystems: Type Classes,
%                  Types and Typesystems: Uniqueness Types
%       Compilers: Integration of I/O,
%                  Integration of I/O: Monads,
%                  Integration of I/O: Uniqueness,
%                  Integration of I/O: Linear Types,
%                  Integration of I/O: Fudgets,
%                  Integration of I/O: Gadgets,
%                  Integration of I/O: Frames,
%                  Integration of I/O: I/O Surveys
%       Compilers: Integration of States in General,
%       Compilers: Implementation of Arrays,
%                  Implementation of Arrays: Dense Arrays,
%                  Implementation of Arrays: Sparse Arrays
%       Compilers: Exploiting Concurrency,
%       Compilers: Compilation Schemes
%
%       Hardware: Fast, KSR, CM,
%       Hardware: nCUBE
%
%       Languages: Language Design,
%       Languages: Functional,
%                  Functional: Clean, SAC, KiR, Sisal, Nesl, Haskell,
%                  Functional: Id, Cid, QNial, Fish, CAML, Cayenne
%       Languages: Coordination,
%                  Coordination: K2, PROMOTER
%       Languages: Imperative,
%                  Imperative: C, Fortran, FortranM, Fortran90, HPF, Jade, APL, ZPL, J, K,
%                  Imperative: Java
%	Languages: Language Manuals
%
%       Masterthesis/PhD
%       To Be Read
%
%       Operating Systems
%
%       Petri Nets
%
%       Software Packages: MPI,
%       Software Packages: PVM,
%       Software Packages: P4,
%       Software Packages: PThreads,
%       Software Packages: SUIF,
%       Software Packages: X-Windows
%
%       Functional Programming in General
%
%       Application Programs: Algorithms,
%       Application Programs: Implmentation,
%       Application Programs: Benchmarking
%
%       Papers I am Involved in: on KiR,
%       Papers I am Involved in: on SAC
%
% ENDTOPICS
%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% NAMING CONVENTIONS:
%
% - Single authored papers get the full author name and the year of publication.
%   e.g. "Abrams70"
%
% - Papers with 2 or 3 authors get the first four letters of each author and the year.
%   e.g. "PlasEeke94"
%
% - Papers with more than 3 authors get the first four letters of the first 3 authors,
%   a plus ("+") and the year.
%   e.g. "AdamBraiMart+92"
%
% - Papers from institutions get the respective acronym in capitals and the year.
%   e.g. "HPF93"
%
% - Papers from our own group also get the event/journal the paper was submitted to
%   in all capitals!
%   e.g. "ScholzIFL96" (although published in 1997!!)
%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@string{ifi= {Institut f{\"u}r Informatik und Praktische Mathe\-matik,
              Universit{\"a}t Kiel}}
@string{cstar= {{C}$^{}${\hbox{\Large *}}}}
% aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

@TECHREPORT{ Abrams70,
  AUTHOR      = {P.S. Abrams},
  EMAIL       = {},
  TITLE       = {{A}n {APL} {M}achine},
  INSTITUTION = {Stanford Linear Accelerator Center},
  ADDRESS     = {},
  TYPE        = {SLAC},
  NUMBER      = {114},
  YEAR        = 1970,
  NOTE        = {PhD thesis},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {APL,Dense Arrays}
}

% formerly ABMSW92
@BOOK{ AdamBraiMart+92,
  AUTHOR    = {J.C. Adams and W.S. Brainerd and J.T. Martin and others},
  EMAIL     = {},
  TITLE     = {Fortran90 Handbook - Complete ANSI/ISO Reference},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {McGraw-Hill},
  YEAR      = 1992,
  NOTE      = {ISBN 0-07-000406-4},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Manuals,Fortran90}
  }

@BOOK{ AdamBraiMart+97,
  AUTHOR    = {J.C. Adams and W.S. Brainerd and J.T. Martin and B.T. Smith
               and J.L. Wagener},
  TITLE     = {{Fortran-95 Handbook --- Complete ANSI/ISO Reference}},
  SERIES    = {Scientific and Engineering Computation},
  VOLUME    = {},
  PUBLISHER = {MIT Press, Cambridge, Massachusetts, USA},
  YEAR      = 1997,
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Manuals,Fortran90}
}

@INPROCEEDINGS{ AlimPlas01,
  AUTHOR    = {A. Alimarine and R. Plasmeijer},
  TITLE     = {{A} {G}eneric {P}rogramming {E}xtension for {C}lean},
  EDITOR    = {T. Arts and M. Mohnen},
  BOOKTITLE = {Proceedings of the 13th International Workshop on Implementation
               of Functional Languages (IFL'01), Stockholm, Sweden, selected papers},
  PUBLISHER = {Springer-Verlag, Berlin, Germany},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {2312},
  NUMBER    = {},
  YEAR      = 2002,
  PAGES     = {168--186},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Clean}
}

@INCOLLECTION{ AlimSmet04,
  AUTHOR    = {A. Alimarine and S. Smetsers},
  EMAIL     = {},
  TITLE     = {{O}ptimizing {G}eneric {F}unctions},
  EDITOR    = {D. Kozen},
  BOOKTITLE = {{The 7th International Conference,
                Mathematics of Program Construction,
                Stirling, Scotland, UK}},
  SERIES    = {LNCS},
  VOLUME    = {3125},
  PUBLISHER = {Springer},
  YEAR      = 2004,
  PAGES     = {16-31},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@PHDTHESIS{ Alimarine05,
  AUTHOR   = {A. Alimarine},
  EMAIL    = {},
  TITLE    = {{G}eneric {F}unctional {P}rogramming},
  SCHOOL   = {Radboud University of Nijmegen},
  ADDRESS  = {Netherlands},
  YEAR     = 2005,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {}
}

@ARTICLE{ AlleKenn87,
  AUTHOR   = {R. Allen and K. Kennedy},
  EMAIL    = {},
  TITLE    = {Automatic {T}ranslation of {F}ortran into {V}ector {F}orm},
  JOURNAL  = {TOPLAS},
  YEAR 	   = 1987,
  VOLUME   = {9},
  NUMBER   = {4},
  PAGES    = {491-542},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Fortran,Exploiting Concurrency}
  }

@BOOK{ AlleKenn01,
  AUTHOR    = {R. Allen and K. Kennedy},
  EMAIL     = {},
  TITLE     = {{O}ptimizing {C}ompilers for {M}odern {A}rchitectures},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Morgan Kaufmann Publishers},
  YEAR      = 2001,
  NOTE      = {ISBN 1-55860-286-0},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Compiler Optimization Surveys}
  }

@BOOK{ Appel98,
  AUTHOR     = {Andrew W. Appel},
  TITLE      = {Modern Compiler Implementation in {C}},
  SERIES     = {},
  VOLUME     = {},
  EDITION    = {},
  PUBLISHER  = {Cambridge University Press},
  YEAR       = {1998},
  NOTE       = {ISBN 0-521-58390-X},
  CONTENTS   = {Fundamentals:
                 Lexical Analysis, Parsing, Abstract Syntax, Semantic Analysis,
                 Activation Records, Translation to Intermediate Code,
                 Basic Blocks and Traces, Introduction Selection,
                 Liveness Analysis, Register Allocation.
                Advanced Topics:
                 Garbage Collection, OOLs, FPLs, Polymorphic Types,
                 Dataflow Analysis, Loop Optimizations, SSA Form,
                 Pipelining and Scheduling, The Memory Hierarchy},
  sourceURL  = {http://www.cs.princeton.edu/~appel/modern/c},
  TOPICS     = {Compiler Optimization Surveys}
}

@TECHREPORT{ APR95,
  AUTHOR      = {Applied Parallel Research, Inc.},
  EMAIL       = {},
  TITLE       = {xHPF benchmark results},
  INSTITUTION = {Applied Parallel Research, Inc.},
  ADDRESS     = {Roseville, CA},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1995,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {},
  sourceURL   = {},
  TOPICS      = {HPF,Benchmarking}
} 

@TECHREPORT{ ArioArvi90,
  AUTHOR      = {Z.M. Ariola and Arvind},
  EMAIL       = {},
  TITLE       = {{C}ompilation of {I}d$^-$: a subset of {I}d},
  INSTITUTION = {MIT},
  ADDRESS     = {Cambridge, MA},
  TYPE        = {CSG},
  NUMBER      = {315},
  YEAR        = 1990,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {ftp://csg-ftp.lcs.mit.edu/pub/papers/csgmemo/memo-315.ps.gz},
  TOPICS      = {Compilation Schemes,Id}
}

@BOOK{  ArmsWillWiks+96,
  AUTHOR    = {J. Armstrong and M. Williams and C. Wikstrom and R. Virding},
  EMAIL     = {},
  TITLE     = {{C}oncurrent {P}rogramming in {E}rlang},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice Hall},
  YEAR      = 1996,
  NOTE      = {ISBN 0-13-285792-8},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Manuals}
  }

@ARTICLE{ ArviCull85,
  AUTHOR  = {Arvind and D.E. Culler},
  EMAIL    = {},
  TITLE   = {{D}ataflow {A}rchitectures},
  JOURNAL = {Annual Review of Computer Science},
  YEAR    = {1986},
  VOLUME  = {1},
  NUMBER  = {},
  PAGES   = {225-254},
  NOTE    = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  TOPICS   = {Exploiting Concurrency}
  }

@INPROCEEDINGS{ AssmKlug95,
  AUTHOR    = {C. A{\ss}mann and W.E. Kluge},
  EMAIL     = {},
  TITLE     = {{O}n the {D}esign of {S}ystems of {C}ooporating {F}unctional {P}rocesses},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 14th Symposium on Reliable Distributed Systems},
  PUBLISHER = {IEEE},
  YEAR      = 1995,
  PAGES     = {52-61},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }

@TECHREPORT{ AckeDenn79,
  AUTHOR      = {W.B. Ackerman and J.B. Dennis},
  EMAIL       = {},
  TITLE       = {{V}{A}{L}-{A} {V}alue-{O}riented {A}lgorithmic {L}anguage: {P}reliminary {R}eference {M}anual},
  INSTITUTION = {MIT},
  ADDRESS     = {Cambridge, MA},
  TYPE        = {TR},
  NUMBER      = {218},
  YEAR        = 1979,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  TOPICS      = {Language Manuals}
}

@TECHREPORT{ ArviGostPlou78,
  AUTHOR      = {Arvind and K.P. Gostelow and W. Plouffe},
  EMAIL       = {},
  TITLE       = {{T}he {I}{D}-{R}eport: {A}n asynchronous {P}rogramming {L}anguage and
                 {C}omputing {M}achine},
  INSTITUTION = {University of California at Irvine},
  ADDRESS     = {},
  TYPE        = {Technical Report},
  NUMBER      = {114},
  YEAR        = 1978,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  TOPICS      = {Language Manuals,Id}
}

@PHDTHESIS{ Augustsson87,
  AUTHOR   = {L. Augustsson},
  EMAIL    = {},
  TITLE    = {{C}ompiling {L}azy {F}unctional {L}anguages {P}art {II}},
  SCHOOL   = {Chalmers University of Technologie},
  ADDRESS  = {G{\"o}teborg},
  YEAR     = 1987,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Compilation Schemes}
}

@INPROCEEDINGS{ Augustsson98,
  AUTHOR    = {L. Augustsson},
  EMAIL     = {},
  TITLE     = {{C}ayenne -- a {L}anguage with {D}ependent {T}ypes},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 3rd {ICFP}},
  PUBLISHER = {{ACM}-Press},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.cs.chalmers.se/~augustss/cayenne/paper.ps},
  TOPICS    = {Dependent Types,Cayenne}
  }

@INPROCEEDINGS{ AuguJohn89,
  AUTHOR    = {L. Augustsson and T. Johnsson},
  EMAIL     = {},
  TITLE     = {{P}arallel {G}raphreduction with the $\langle\nu,{G}\rangle$-{M}achine},
  EDITOR    = {},
  BOOKTITLE = {FPCA '89, London},
  YEAR      = 1989,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {explaines the <v,G>-Machine in detail and gives some
                  performance results obtained with it on a SERPENT (shared
                  memory machine).},
  TOPICS   = {Exploiting Concurrency}
  }

@PHDTHESIS{ Achten96,
  AUTHOR   = {P. Achten},
  EMAIL    = {},
  TITLE    = {{I}nteractive {F}unctional {P}rograms:
              {M}odels, {M}ethods, and {I}mplementation},
  SCHOOL   = {University of Nijmegen},
  ADDRESS  = {},
  YEAR     = 1996,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Uniqueness,I/O Surveys}
}

@TECHREPORT{ AchtPlas93,
  AUTHOR      = {P. Achten and R. Plasmeijer},
  EMAIL       = {},
  TITLE       = {{T}he {B}eauty and the {B}east},
  INSTITUTION = {University of Nijmegen},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {93-03},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {ftp.cs.kun.nl},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Clean,Uniqueness,Uniqueness Types}
}

@INPROCEEDINGS{ AchtPlas94,
  AUTHOR    = {P. Achten and R. Plasmeijer},
  EMAIL     = {},
  TITLE     = {{T}owards {D}istributed {I}nteractive {P}rograms in the {F}unctional
               {P}rogramming {L}anguage {C}lean},
  EDITOR    = {J. Glauert},
  BOOKTITLE = {Proceedings of the 6th International Workshop on the Implementation
               of Funtional Languages},
  PUBLISHER = {University of East Anglia, Norwich, UK},
  YEAR      = 1994,
  PAGES     = {28.1-28.16},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Clean,Uniqueness}
  }

% formerly AP95
@ARTICLE{ AchtPlas95,
  AUTHOR   = {P. Achten and R. Plasmeijer},
  EMAIL    = {},
  TITLE    = {{T}he ins and outs of {C}lean {I}/{O}},
  JOURNAL  = {Journal of Functional Programming},
  YEAR     = 1995,
  VOLUME   = {5},
  NUMBER   = {1},
  PAGES    = {81-110},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {Best introduction to Clean I/O; nice compares against other systems},
  sourceURL= {ftp://ftp.cs.kun.nl/pub/Clean/papers/ins_outs.ps.Z},
  TOPICS   = {Clean,Uniqueness,I/O Surveys,Uniqueness Types}
  }

@BOOK{ AbelSuss85,
  AUTHOR    = {H. Abelson and J. Sussman},
  EMAIL     = {},
  TITLE     = {{S}tructure and {I}nterpretation of {C}omputer {P}rograms},
  VOLUME    = {},
  SERIES    = {},
  PUBLISHER = {MIT Press},
  YEAR      = 1985,
  NOTE      = {ISBN 0-262-01077-1},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {General introduction on functional programming using a scheme dialect.},
  TOPICS    = {Functional Programming in General}
  }

% formerly ASU86
@BOOK{ AhoSethUllm86,
  AUTHOR    = { A.V. Aho and R. Sethi and J.D. Ullman},
  EMAIL     = {},
  TITLE     = {{C}ompilers - {P}rinciples, {T}echniques, and {T}ools},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1986,
  NOTE      = {ISBN 0-201-10194-7},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {Standard publication on that topic},
  TOPICS    = {Compiler Optimization Surveys}
  }

@ARTICLE{ AssmannCAN93,
  AUTHOR   = {C. A{\ss}mann},
  EMAIL    = {},
  TITLE    = {A {RISC} {P}rocessor {A}rchitecture with a {V}ersatile {S}tack {M}echanism},
  JOURNAL  = {Computer Architecture News},
  YEAR 	   = 1993,
  VOLUME   = {21},
  NUMBER   = {5},
  PAGES    = {63-70},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Fast}
  }

@INPROCEEDINGS{ AssmannIFL94,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{C}omparing the {P}erformance of {K}i{R} and {C} on a {M}ultiple {S}tack
               {A}rchitecture {F}ast},
  EDITOR    = {John Glauert},
  BOOKTITLE = {Proceedings of the 6th International Workshop on the Implementation
                of Functional Languages},
  PUBLISHER = {University of East Anglia},
  YEAR      = 1994,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Fast}
  }

@INPROCEEDINGS{ AssmannPDPTA95,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{A} {C}oordination {L}anguage for {S}ystems of {C}ooperating {P}rocesses},
  EDITOR    = {H.R. Arabnia},
  BOOKTITLE = {Proceedings of the International Conference on Parallel and
               Distributed Processing Techniques and Applications (PDPTA)},
  PUBLISHER = {},
  YEAR      = 1995,
  PAGES     = {738 - 747},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }

@INPROCEEDINGS{ AssmannEIS95,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{E}ntwurf und {R}ealisierung eines {R}{I}{S}{C}-{P}rozessors},
  EDITOR    = {},
  BOOKTITLE = {Tagungsband 7. E.I.S. Workshop, Chemnitz},
  PUBLISHER = {TU Chemnitz-Zwickau},
  YEAR      = 1995,
  PAGES     = {13-22},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Fast}
  }

@INPROCEEDINGS{ Assmann96,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{C}oordinating {F}unctional {P}rocesses {U}sing {P}etri {N}ets},
  EDITOR    = {W. Kluge},
  BOOKTITLE = {Proceedings of the 8th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {Christian-Albrechts-Universit{\"a}t, Kiel},
  YEAR      = 1996,
  PAGES     = {1-20},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }

@INCOLLECTION{ AssmannIFL96,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{C}oordinating {F}unctional {P}rocesses {U}sing {P}etri {N}ets},
  EDITOR    = {Werner Kluge},
  BOOKTITLE = {{Implementation of Functional Languages,
                8th International Workshop,
                Bad Godesberg, Germany, September 1996,
                Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {1268},
  PUBLISHER = {Springer},
  YEAR      = 1997,
  PAGES     = {162-183},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }

@INPROCEEDINGS{ AssmannARCS97,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{A} {L}anguage for {C}oncurrent {P}rocessing based on {P}etri {N}ets},
  EDITOR    = {D. Tavangarian},
  BOOKTITLE = {14. GI/ITG Fachtagung Architektur von Rechensystemen (ARCS'97)},
  PUBLISHER = {},
  YEAR      = 1997,
  PAGES     = {221-230},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }

@ARTICLE{ AssmHuthMICRO96,
  AUTHOR   = {C. A{\ss}mann and A. Huth},
  EMAIL    = {},
  TITLE    = {{C}ompilation and {P}erformance of {C} on a {M}ultiple
              {S}tack {A}rchitecture},
  JOURNAL  = {IEEE Micro},
  YEAR 	   = 1996,
  VOLUME   = {16},
  NUMBER   = {5},
  PAGES    = {60-67},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Fast}
  }

@INPROCEEDINGS{ AssmannPDPTA98,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{I}mplementation of a {C}oordination {L}anguage},
  EDITOR    = {H.R. Arabnia},
  BOOKTITLE = {Proc. of the International Conference on
               Parallel and Distributed Processing Techniques and Applications (PDPTA'98)},
  PUBLISHER = {},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }

@INPROCEEDINGS{ Assmann98,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{P}reliminary {P}erformance {R}esults for the {C}oordination {L}anguage
               {K2}},
  EDITOR    = {C. Clack and T. Davie and K. Hammond},
  BOOKTITLE = {Proceedings of the 10th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {University College, London},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }

@INCOLLECTION{ AssmannIFL98,
  AUTHOR    = {C. A{\ss}mann},
  EMAIL     = {},
  TITLE     = {{P}erformance {R}esults of the {P}rocess {C}oordination {L}anguage
               {K2}},
  EDITOR    = {K. Hammond and A.J.T. Davie and C. Clack},
  BOOKTITLE = {Implementation of Functional Languages (IFL~'98), London, UK},
  SERIES    = {LNCS},
  VOLUME    = {1595},
  PUBLISHER = {Springer},
  YEAR      = 1999,
  PAGES     = {1-19},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {K2}
  }


% bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb

@BOOK{ Bac86,
  AUTHOR    = {M.J. Bach},
  EMAIL     = {},
  TITLE     = {{T}he {D}esign of the {U}nix {O}perating {S}ystem},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice-Hall International Editions},
  YEAR      = 1986,
  NOTE      = {ISBN 0-13-201757-1},
  FTP       = {},
  KEYWORDS  = {UNIX},
  CONTENTS  = {Das Buch wendet sich an Leser, die an den Internas eines
               Unix Betriebssystems interessiert sind. Es wird keine
               spezielle Unix-Variantevorgestellt.},
  TOPICS    = {Operating Systems}
  }

@ARTICLE{ Backus78,
  AUTHOR   = {J. Backus},
  EMAIL    = {},
  TITLE    = {{C}an {P}rogramming be {L}iberated from the von {N}eumann {S}tyle?},
  JOURNAL  = {Communications of the {ACM}},
  YEAR 	   = 1978,
  VOLUME   = {21},
  NUMBER   = {8},
  PAGES    = {613-641},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Functional Programming in General}
  }

% formerly BGS94
@ARTICLE{ BacoGrahShar94,
  AUTHOR   = {D.F. Bacon and S.L. Graham and O.J. Sharp},
  EMAIL    = {},
  TITLE    = {{C}ompiler {T}ransformations for {H}igh-{P}erformance {C}omputing},
  JOURNAL  = {{ACM} Computing Surveys},
  YEAR 	   = 1994,
  VOLUME   = {26},
  NUMBER   = {4},
  PAGES    = {345-420},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Compiler Optimization Surveys}
  }

% formerly BBB94
@TECHREPORT{ BailBarsBart+94,
  AUTHOR      = {D. Bailey and E. Barszcz and J. Barton and others},
  EMAIL       = {},
  TITLE       = {{T}he {NAS} {P}arallel {B}enchmarks},
  INSTITUTION = {NASA Ames Research Center},
  ADDRESS     = {},
  TYPE        = {RNR},
  NUMBER      = {94-007},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {http://www.nas.nasa.gov/NAS/NPB/Specs/RNR-94-007.ps},
  TOPICS      = {Benchmarking}
}

@PHDTHESIS{ Bakel93,
  AUTHOR   = {S.J. van Bakel},
  EMAIL    = {},
  TITLE    = {{I}ntersection {T}ype {D}isciplines in {L}ambda {C}alculus
              and {A}pplicative {T}erm {R}ewriting {S}ystems},
  SCHOOL   = {University of Nijmegen},
  ADDRESS  = {Netherlands},
  YEAR     = 1993,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Intersection Types}
}

@ARTICLE{ Baker91,
  AUTHOR   = {H. Baker},
  EMAIL    = {},
  TITLE    = {{S}hallow {B}inding {M}akes {F}unctional {A}rrays {F}ast},
  JOURNAL  = {{ACM} {SIGPLAN} Notices},
  YEAR 	   = 1991,
  VOLUME   = {26},
  NUMBER   = {8},
  PAGES    = {145--147},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {}
  }

@BOOK{ Barendregt81,
  AUTHOR    = {H.P. Barendregt},
  EMAIL     = {},
  TITLE     = {{T}he {L}ambda {C}alculus, {I}ts {S}yntax and {S}emantics},
  SERIES    = {Studies in Logics and the Foundations of Mathmatics},
  VOLUME    = {103},
  PUBLISHER = {North-Holland},
  YEAR      = 1981,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {LAMBDA-Calculus}
  }

@ARTICLE{ BareCoppDeza83,
  AUTHOR   = {H.P. Barendregt and M. Coppo and M. Dezani-Ciancaglini},
  EMAIL    = {},
  TITLE    = {A filter lambda model and the completeness of assignment},
  JOURNAL  = {Journal of Symbolic Logic},
  YEAR 	   = 1983,
  VOLUME   = {48},
  NUMBER   = {4},
  PAGES    = {931-940},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Intersection Types}
  }

@INCOLLECTION{ BEG90,
  AUTHOR    = {H.P. Barendregt and M. van Eekelen and J. Glauert and others},
  EMAIL     = {},
  TITLE     = {{T}erm {G}raph {R}eduction},
  EDITOR    = {},
  BOOKTITLE = {PARLE '90, Eindhoven},
  SERIES    = {LNCS},
  VOLUME    = {259},
  PUBLISHER = {Springer},
  YEAR      = 1990,
  PAGES     = {141-158},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Compilation Schemes}
  }

@INCOLLECTION{ BS95,
  AUTHOR    = {E. Barendsen and S. Smetsers},
  EMAIL     = {},
  TITLE     = {{U}niqueness {T}ype {I}nference},
  EDITOR    = {M. Hermenegildo and S.D. Swierstra},
  BOOKTITLE = {PLILP'95},
  SERIES    = {LNCS},
  VOLUME    = {982},
  PUBLISHER = {Springer},
  YEAR      = 1995,
  PAGES     = {189-206},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Uniqueness,Clean}
  }

@BOOK{ BW85,
  AUTHOR    = {M. Barr and C. Wells},
  EMAIL     = {},
  TITLE     = {{T}oposes, {T}riplets, and {T}heories},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Springer Verlag},
  YEAR      = 1985,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Category Theorie}
  }

@INCOLLECTION{ BNA91,
  AUTHOR    = {P.S. Barth and R.S. Nikhil and Arvind},
  EMAIL     = {},
  TITLE     = {{M}-{S}tructures: {E}xtending a {P}arallel, {N}on-{S}trict
               {F}unctional {L}anguage with {S}tate},
  EDITOR    = {},
  BOOKTITLE = {FPCA'91, Cambridge, Massachusetts},
  SERIES    = {LNCS},
  VOLUME    = {523},
  PUBLISHER = {Springer},
  YEAR      = 1991,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {Dense Arrays}
  }

@BOOK{ BW76,
  AUTHOR    = {K.J. Bathe and E.L. Wilson},
  EMAIL     = {},
  TITLE     = {{N}umerical {M}ethods in {F}inite {E}lement {A}nalysis},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice-Hall},
  YEAR      = 1976,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@TECHREPORT{ Beckmann87,
  AUTHOR      = {A. Beckmann},
  EMAIL       = {},
  TITLE       = {{D}ie {M}odellierung mesoskaliger quasigeostrophischer {I}nstabilit{\"a}t},
  INSTITUTION = {Institut f{\"u}r Meereskunde, Universit{\"a}t Kiel},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {167},
  YEAR        = 1987,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Algorithms}
}

@BOOK{ BM87,
  AUTHOR    = {E.P. Beisel and M. Mendel},
  EMAIL     = {},
  TITLE     = {{O}ptimierungsmethoden des {O}perations {R}esearch},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Vieweg},
  YEAR      = 1987,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@INPROCEEDINGS{ Berkling75,
  AUTHOR    = {K. Berkling},
  EMAIL     = {},
  TITLE     = {{R}eduction {L}anguages for {R}eduction {M}achines},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 2nd Annual International Symposium on Computer
               Architecture},
  PUBLISHER = {{ACM}/IEEE},
  YEAR      = 1975,
  PAGES     = {133-140},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Compilation Schemes,LAMBDA-Calculus}
  }

@TECHREPORT{ Berkling76,
  AUTHOR      = {K. Berkling},
  EMAIL       = {},
  TITLE       = {{A} {S}ymmetric {C}omplement to the {L}ambda {C}alculus},
  INSTITUTION = {GMD},
  ADDRESS     = {Bonn},
  TYPE        = {ISF},
  NUMBER      = {76-7},
  YEAR        = 1976,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {LAMBDA-Calculus}
}

@INPROCEEDINGS{ Ber95,
  AUTHOR    = {K. Berkling},
  EMAIL     = {},
  TITLE     = {{D}oes {F}unctional {P}rogramming {M}atter?},
  EDITOR    = {T. Johnsson},
  BOOKTITLE = {Proceedings of the Workshop on the Implementation of Functional
               Languages'95},
  PUBLISHER = {Chalmers University},
  YEAR      = 1995,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@MASTERSTHESIS{ Bernecky97,
  AUTHOR   = {R. Bernecky},
  EMAIL    = {},
  TITLE    = {{APEX}: {T}he {APL} {P}arallel {E}xecutor},
  SCHOOL   = {University of Toronto},
  ADDRESS  = {},
  YEAR     = 1997,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {APL,Sisal,Compilation Schemes}
}

@TECHREPORT{ Bernecky97b,
  AUTHOR      = {R. Bernecky},
  EMAIL       = {},
  TITLE       = {{A}n {O}verview of the {APEX} {C}ompiler},
  INSTITUTION = {University of Toronto},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {305/97},
  YEAR        = 1997,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {APL,Sisal,Compilation Schemes}
}

@INPROCEEDINGS{ BW93,
  AUTHOR    = {A. Bik and H.A.G. Wijshoff},
  EMAIL     = {},
  TITLE     = {{C}ompilation {T}echniques for {S}parse {M}atrix {C}omputations},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the International Conference on Supercomputing},
  PUBLISHER = {},
  YEAR      = 1993,
  PAGES     = {416-424},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Sparse Arrays}
  }

@PHDTHESIS{ Bik96,
  AUTHOR   = {A. Bik},
  EMAIL    = {},
  TITLE    = {{C}ompiler {S}upport for {S}parse {M}atrix {C}omputations},
  SCHOOL   = {University of Leiden},
  ADDRESS  = {},
  YEAR     = 1996,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {ftp://ftp.wi.LeidenUniv.nl/pub/CS/PhDTheses/bik-96.ps.gz},
  TOPICS   = {Sparse Arrays}
}

% formerly BW88

@BOOK{ BirdWadl88,
  AUTHOR    = {R.S. Bird and P.L. Wadler},
  EMAIL     = {},
  TITLE     = {{F}unctional {P}rogramming},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice Hall},
  YEAR      = 1988,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@PHDTHESIS{ Blott91,
  AUTHOR   = {S. Blott},
  EMAIL    = {},
  TITLE    = {{T}ype {C}lasses},
  SCHOOL   = {Glasgow University},
  ADDRESS  = {},
  YEAR     = 1991,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Haskell,Type Classes}
}

@BOOK{ BSR91,
  AUTHOR    = {Boleslaw and K. Szymanski and Rensselaer},
  EMAIL     = {},
  TITLE     = {{P}arallel {F}unctional {L}anguages and {C}ompilers},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1991,
  NOTE      = {ISBN 0-201-52243-8},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {This study of emerging approaches to designing parallel
	       languages based on functional programming focuses on such
	       languages as Sisal, Haskell, EPL, Id, Crystal, PTRAN. The
	       contributors, several of whom are directly involved with these
	       projects, discuss such issues as semantics, exposition of
	       parallelism, optimization, implementation, and application. They
	       also evaluate the impact each language can have on the efficient
	       development of parallel software. Rather than forming a
	       programming manual, the chapters describe the general style of
	       programming in each language and use sample programs to
	       illustrate different programming styles.  },
  sourceURL = {},
  TOPICS    = {Exploiting Concurrency}
  }

@BOOK{ BW91,
  AUTHOR    = {R.L. Bowers and J.R. Wilson},
  EMAIL     = {},
  TITLE     = {{N}umerical {M}odeling in {A}pplied {P}hysics and {A}strophysics},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Jones and Bartlett Publishers},
  YEAR      = 1991,
  NOTE      = {ISBN 0-86720-123-1},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@INPROCEEDINGS{ BracOderStou+98,
  AUTHOR    = {G. Bracha and M. Odersky and D. Stoutamire and P. Wadler},
  EMAIL     = {},
  TITLE     = {{M}aking the future safe for the past: {A}dding {G}enericity
               to the {J}ava {P}rogramming {L}anguage},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 13th {ACM} {SIGPLAN} conference on Object-Oriented
               Programming Systems, Languages, and Applications (OOPSLA'98), Vancouver},
  PUBLISHER = {ACM Press},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"http://www.cis.unisa.edu.au/~pizza/gj/Documents/gj-oopsla-a4.ps"},
  TOPICS    = {Java}
  }

@BOOK{ Braess96,
  AUTHOR    = {D. Braess},
  EMAIL     = {},
  TITLE     = {Finite Elemente},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Springer},
  YEAR      = 1996,
  NOTE      = {ISBN 3-540-61905-4},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@TECHREPORT{ Brandt84,
  AUTHOR      = {A. Brandt},
  EMAIL       = {},
  TITLE       = {{M}ultigrid {M}ethods: 1984 {G}uide},
  INSTITUTION = {The Weizmann Institute of Science},
  ADDRESS     = {Rehovot/Israel},
  TYPE        = {Dept of Applied Mathematics},
  NUMBER      = {},
  YEAR        = 1984,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Algorithms}
}

@INCOLLECTION{ BranZimm94,
  AUTHOR    = {T. Brandes and F. Zimmermann},
  EMAIL     = {},
  TITLE     = {{ADAPTOR - A Transformation Tool for HPF Programs}},
  EDITOR    = {},
  BOOKTITLE = {Programming Environments for Massively Parallel Distributed Systems},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Birkh\"auser Verlag},
  YEAR      = 1994,
  PAGES     = {91--96},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {HPF}
  }

@INPROCEEDINGS{ BGMZ92,
  AUTHOR    = {P. Brezany and M. Gerndt and P. Mehrotra and H. Zima},
  EMAIL     = {},
  TITLE     = {{C}oncurrent {F}ile {O}perations in a {H}igh {P}erformance
               {FORTRAN}},
  EDITOR    = {},
  BOOKTITLE = {Supercomputing '92},
  PUBLISHER = {IEEE},
  YEAR      = 1992,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Exploiting Concurrency,HPF}
  }

@INCOLLECTION{ BELP87,
  AUTHOR    = {T.H. Brus and M.C. van Eekelen and M.O. van Leer and M.J. Plasmeijer},
  EMAIL     = {},
  TITLE     = {{C}{L}{E}{A}{N}: {A} {L}anguage for {F}unctional {G}raph {R}ewriting},
  EDITOR    = {G. Kahn},
  BOOKTITLE = {FPCA'87, Portland, Oregon},
  SERIES    = {LNCS},
  VOLUME    = {274},
  PUBLISHER = {Springer},
  YEAR      = 1987,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {Clean}
  }

@BOOK{ BH73,
  AUTHOR    = {P. Brinch Hansen},
  EMAIL     = {},
  TITLE     = {{O}perating {S}ystems {P}rinciples},
  SERIES    = {Series in Automatic Computation},
  VOLUME    = {},
  PUBLISHER = {Prentice Hall},
  YEAR      = 1973,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {Operating Systems}
  }

@ARTICLE{ Brown85,
  AUTHOR   = {J. Brown},
  EMAIL    = {},
  TITLE    = {{I}nside the {APL2} {W}orkspace},
  JOURNAL  = {{SIGAPL} Quote Quad},
  YEAR 	   = 1985,
  VOLUME   = {15},
  NUMBER   = {},
  PAGES    = {277-282},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {APL,Compilation Schemes}
  }

@BOOK{ Budd88,
  AUTHOR    = {T. Budd},
  EMAIL     = {},
  TITLE     = {{A}n {APL} {C}ompiler},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Springer},
  YEAR      = 1988,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {APL,Compilation Schemes}
  }

@TECHREPORT{ Budd88a,
  AUTHOR      = {T. Budd},
  EMAIL       = {},
  TITLE       = {{C}omposition and {C}ompilation in {F}unctional {P}rogramming
                 {L}anguages},
  INSTITUTION = {Oregon State University},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {88-60-14},
  YEAR        = 1988,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {ftp://ftp.cs.orst.edu/pub/cs-techreports/early/88.60.14.ps},
  TOPICS      = {Compilation Schemes}
}

@MANUAL{ Burke96,
  AUTHOR       = {C. Burke},
  EMAIL        = {},
  TITLE        = {{J and APL}},
  ORGANIZATION = {Iverson Software Inc.},
  ADDRESS      = {Toronto, Canada},
  EDITION      = {},
  YEAR         = 1996,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {J,Language Design,Language Manuals}
}

@TECHREPORT{ BL92,
  AUTHOR      = {R. Butler and E. Lusk},
  EMAIL       = {},
  TITLE       = {{U}ser's {G}uide to the p4 {P}arallel {P}rogramming {S}ystem},
  INSTITUTION = {Argonne National Laboratory},
  ADDRESS     = {Illinois},
  TYPE        = {ANL},
  NUMBER      = {92/17},
  YEAR        = 1992,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {P4}
}

@INPROCEEDINGS{ BHK93,
  AUTHOR    = {T. B{\"u}lck and A. Held and W.E. Kluge and S. Pantke and C. Rathsack and
               S.-B. Scholz and R. Schr{\"o}der},
  EMAIL     = {},
  TITLE     = {{P}reliminary {E}xperience with a $\pi$-{\sc red}$^+$ {I}mplementation on an 
               {\rm n{C}{U}{B}{E}/2}~{S}ystem},
  EDITOR    = {R. Plasmeijer},
  BOOKTITLE = {Proceedings of the 5th International Workshop on the Implementation
               of Functional Languages},
  PUBLISHER = {University of Nijmegen},
  YEAR      = 1993,
  PAGES     = {101-113},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/preliminary-experience-nijmegen-93.ps.gz},
  TOPICS    = {KiR,Exploiting Concurrency,on KiR}
  }

@INCOLLECTION{ BuelHeldKlug+94,
  AUTHOR    = {T. B{\"u}lck and A. Held and W.E. Kluge and S. Pantke and C. Rathsack and
               S.-B. Scholz and R. Schr{\"o}der},
  EMAIL     = { base informatik.uni-kiel.d400.de},
  TITLE     = {{E}xperience with the {I}mplementation of a {C}oncurrent {G}raph
               {R}eduction {S}ystem on an {\rm n{C}{U}{B}{E}/2}~{P}latform},
  EDITOR    = {B. Buchberger and J. Volkert},
  BOOKTITLE = {Parallel Processing: CONPAR 94 - VAPP IV},
  SERIES    = {LNCS},
  VOLUME    = {854},
  PUBLISHER = {Springer},
  YEAR      = 1994,
  PAGES     = {497-508},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/experience-conpar-94.ps.gz},
  TOPICS    = {KiR,Exploiting Concurrency,on KiR}
  }

@MASTERSTHESIS{ Buelck94,
  AUTHOR   = {T. B{\"u}lck},
  EMAIL    = {},
  TITLE    = {{E}in {S}ystem zur graphischen {A}uswertung von im {R}eduktionssystem
              $\pi$-card aufgenommenen {M}e{\ss}daten},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1994,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {KiR,Masterthesis/PhD}
}

@BOOK{ Burge75,
  AUTHOR    = {W.H. Burge},
  EMAIL     = {},
  TITLE     = {{R}ecursive {P}rogramming {T}echniques},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1975,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

% formerly Ble94
@MANUAL{ Blelloch94,
  AUTHOR       = {G.E. Blelloch},
  EMAIL        = {},
  TITLE        = {{N}{E}{S}{L}: {A} {N}ested {D}ata-{P}arallel {L}anguage ({V}ersion 3.0)},
  ORGANIZATION = {Carnegie Mellon University},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1994,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {Manual for NESL 3.0; includes complete description of the 
		  syntax of NESL, some intensively discussed examples as well
		  as some valuable references},
  TOPICS       = {Nesl}
}

@TECHREPORT{ Blelloch95,
  AUTHOR       = {G.E. Blelloch},
  EMAIL        = {},
  TITLE        = {{NESL}: {A} {N}ested {D}ata-{P}arallel {L}anguage ({V}ersion 3.1)},
  INSTITUTION  = {Carnegie Mellon University},
  ADDRESS      = {Pittsburgh, PA},
  TYPE         = {},
  NUMBER       = {CMU-CS-95-170},
  YEAR         = 1995,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {Manual for NESL 3.1; includes complete description of the
                  syntax of NESL, some intensively discussed examples as well
                  as some valuable references.
                  NESL is a data paprallel functional language with
                  the emphasis on irregular and sparse problems.},
  sourceURL    = {http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/CMU-CS-95-170.html},
  TOPICS       = {Nesl}
}

@ARTICLE{ BS90,
  AUTHOR   = {G.E. Blelloch and G.W. Sabot},
  EMAIL    = {},
  TITLE    = {{C}ompiling {C}ollection-{O}riented {L}anguages onto {M}assively
              {P}arallel {C}omputers},
  JOURNAL  = {Journal of Parallel and Distributed Computing},
  YEAR 	   = 1990,
  VOLUME   = {8},
  NUMBER   = {2},
  PAGES    = {119-134},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {"http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/jpdc-col.ps.Z"},
  TOPICS   = {Dense Arrays,Nesl,Exploiting Concurrency}
  }

@INPROCEEDINGS{ BlelChatHardSipe+93,
  AUTHOR    = {G.E. Blelloch and S.Chatterjee and J.C. Hardwick and J. Sipelstein
                 and M.Zagha},
  EMAIL     = {},
  TITLE     = {{I}mplementation of a {P}ortable {N}ested {D}ata-{P}arallel {L}anguage},
  EDITOR    = {},
  BOOKTITLE = {Proceedings 4th {ACM} {SIGPLAN} Symposium on
               Principles and Practice of Parallel Programming, San
               Diego, California},
  PUBLISHER = {},
  YEAR      = 1993,
  PAGES     = {102--111},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {The paper outlines the implementation of NESL and gives
                  some performance figures on a Cray C90 and a
                  Thinking Machines CM-2. These show good speedups for
                  NESL that outperforms even Fortran for some selected
                  very special cases.},
  sourceURL = {http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/nesl-ppopp93.ps.gz},
  TOPICS    = {Nesl}
  }

@TECHREPORT{ BlelChatHardSipe+93b,
  AUTHOR      = {G.E. Blelloch and S. Chatterjee and J.C. Hardwick and J. Sipelstein
		 and M. Zagha},
  EMAIL       = {},
  TITLE       = {{I}mplementation of a {P}ortable {N}ested {D}ata-{P}arallel {L}anguage},
  INSTITUTION = {Carnegie Mellon University},
  ADDRESS     = {},
  TYPE        = {CMU-CS},
  NUMBER      = {93-112},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  TOPICS      = {Nesl}
}

@TECHREPORT{ BHZ93,
  AUTHOR      = {G.E. Blelloch and M.A. Heroux and M. Zagha},
  EMAIL       = {},
  TITLE       = {{S}egmented {O}perations for {S}parse {M}atrix {C}omputation
                 on {V}ector {M}ultiprocessors},
  INSTITUTION = {Carnegie Mellon University},
  ADDRESS     = {},
  TYPE        = {CMU-CS},
  NUMBER      = {93-173},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Sparse Arrays}
}

% formerly BCOF91
@TECHREPORT{ BoehCannOlde+91,
  AUTHOR      = {A.P.W. B{\"o}hm and D.C. Cann and R.R. Oldehoeft and J.T. Feo},
  EMAIL       = {},
  TITLE       = {{SISAL} {R}eference {M}anual {L}anguage {V}ersion 2.0},
  INSTITUTION = {Colorado State University},
  ADDRESS     = {Fort Collins, Colorado},
  TYPE        = {CS},
  NUMBER      = {91-118},
  YEAR        = 1991,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Sisal,Language Manuals}
}

% cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc

@MANUAL{ Cann93,
  AUTHOR       = {D.C. Cann},
  EMAIL        = {},
  TITLE        = {{T}he {O}ptimizing {S}{I}{S}{A}{L} {C}ompiler: {V}ersion 12.0},
  ORGANIZATION = {Lawrence Livermore National Laboratory},
  ADDRESS      = {LLNL, Livermore California},
  EDITION      = {},
  YEAR         = 1993,
  NOTE         = {Part of the SISAL distribution},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {The complete language manual of SISAL V12.0},
  TOPICS       = {Sisal,Language Manuals}
}

@ARTICLE{ Cann92,
  AUTHOR   = {D.C. Cann},
  EMAIL    = {},
  TITLE    = {{R}etire {F}ortran? {A} {D}ebate {R}ekindled},
  JOURNAL  = {Communications of the {ACM}},
  YEAR 	   = 1992,
  VOLUME   = {35},
  NUMBER   = {8},
  PAGES    = {81-89},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {Comparing SISAL and Fortran},
  TOPICS   = {Sisal}
  }

@TECHREPORT{ Cann89,
  AUTHOR      = {D.C. Cann},
  EMAIL       = {},
  TITLE       = {{C}ompilation {T}echniques for {H}igh {P}erformance {A}pplicative
                 {C}omputation},
  INSTITUTION = {Lawrence Livermore National Laboratory},
  ADDRESS     = {LLNL, Livermore California},
  TYPE        = {},
  NUMBER      = {CS-89-108},
  YEAR        = 1989,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {A comprehensive introduction on SISAL's internal structure.
                 Includes a detailled description of the enhanced "update in place"
                 mechanism used by SISAL.} ,
  TOPICS   = {Sisal}
}

@ARTICLE{ CannEvri95,
  AUTHOR   = {D.C. Cann and P. Evripidou},
  EMAIL    = {},
  TITLE    = {{A}dvanced {A}rray {O}ptimizations for {H}igh {P}erformance {F}unctional {L}anguages},
  JOURNAL  = {IEEE Transactions on Parallel and Distributed Systems},
  YEAR 	   = 1995,
  VOLUME   = {6},
  NUMBER   = {3},
  PAGES    = {229-239},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {Three Optimizations on the C-Code-level are presented:
              Framework Preconstruction: avoids allocation and deallocation
                                         of arrays of the same size at the
                                         begin and end of a loop;
              Aggregate Storage Consumption: "flattens" arrays containing
                                             small arrays;  and
              Predictive Storage Preallocation: allocates arrays which are
                                                potentially oversizes in order
                                                to avoid successively increasing
                                                allocations},
  sourceURL= {},
  TOPICS   = {Sisal,Array Allocation Optimizations,Dense Arrays}
  }

@INBOOK{ Cardelli97,
  AUTHOR    = {L. Cardelli},
  EMAIL     = {},
  TITLE     = {{T}ype {S}ystems},
  SERIES    = {The Computer Science and Engineering Handbook},
  VOLUME    = {},
  CHAPTER   = {103},
  PAGES     = {2208--2236},
  PUBLISHER = {CRC Press},
  YEAR      = 1997,
  NOTE      = {ISBN 0-8493-2909-4},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@ARTICLE{ CW85,
  AUTHOR   = {L. Cardelli and P. Wegner},
  EMAIL    = {},
  TITLE    = {{O}n {U}nderstanding {T}ypes, {D}ata {A}bstraction, and {P}olymorphism},
  JOURNAL  = {Computing Surveys},
  YEAR 	   = 1985,
  VOLUME   = {17},
  NUMBER   = {4},
  PAGES    = {471-522},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {The MUST on types!},
  sourceURL= {http://www.research.digital.com/SRC/personal/Luca_Cardelli/Papers/OnUnderstanding.A4.ps},
  TOPICS   = {Types in General}
  }

% formerly CH93
@INPROCEEDINGS{ CarlHall93,
  AUTHOR    = {M. Carlsson and T. Hallgren},
  EMAIL     = {},
  TITLE     = {{F}{U}{D}{G}{E}{T}{S} - a {G}raphical {U}ser {I}nterface in a {L}azy {F}unctional {L}anguage},
  EDITOR    = {},
  BOOKTITLE = {FPCA '93, Copenhagen},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {321-330},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    ={Fudgets}
  }

@ARTICLE{ Cast95,
  AUTHOR   = {G. Castagna},
  EMAIL    = {castagna@dmi.ens.fra},
  TITLE    = {{C}ovariance and {C}ontravariance: {C}onflict without a {C}ause},
  JOURNAL  = {{ACM} {T}ransactions on {P}rogramming {L}anguages and {S}ystems},
  YEAR 	   = 1995,
  VOLUME   = {17},
  NUMBER   = {3},
  PAGES    = {431-447},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {"ftp://ftp.ens.fr/pub/di/users/castagna/covariance.ps.Z"},
  TOPICS   = {Types in General}
  }

@TECHREPORT{ Cast94,
  AUTHOR      = {G. Castagna},
  EMAIL       = {castagna@dmi.ens.fra},
  TITLE       = {{C}ovariance and {C}ontravariance: {C}onflict without a {C}ause},
  INSTITUTION = {{\'E}cole Normale Sup{\'e}riore},
  ADDRESS     = {Paris},
  TYPE        = {LIENS},
  NUMBER      = {94-18},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Types in General}
}

@ARTICLE{ CastGhelLong95,
  AUTHOR   = {G. Castagna and G. Ghelli and G. Longo},
  EMAIL    = {},
  TITLE    = {{A} {C}alculus for {O}verloaded {F}unctions with {S}ubtyping},
  JOURNAL  = {Information and Computation},
  YEAR 	   = 1995,
  VOLUME   = {117},
  NUMBER   = {1},
  PAGES    = {115-135},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {"ftp://ftp.ens.fr/pub/di/users/castagna/infocompu.ps.Z"},
  TOPICS   = {Types in General}
  }

@TECHREPORT{ CLS98,
  AUTHOR      = {B.L. Chamberlain and E.C. Lewis and L. Snyder},
  EMAIL       = {},
  TITLE       = {{A} {R}egion-based {A}pproach for {S}parse {P}arallel {C}omputing},
  INSTITUTION = {University of Washington},
  ADDRESS     = {},
  TYPE        = {UW CSE},
  NUMBER      = {98-11-01},
  YEAR        = 1998,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {ZPL,Sparse Arrays}
}

@INPROCEEDINGS{ ChamLewiLin+99,
  AUTHOR    = {B.L. Chamberlain and E.C. Lewis and C. Lin and L. Snyder},
  TITLE     = {Regions: An Abstraction for Expressing Array Computation},
  EDITOR    = {O. Levefre},
  BOOKTITLE = {Prceedings of the International Conference on Array Processing
               Languages (APL'99), Scranton, Pennsylvania, USA},
  PUBLISHER = {ACM Press},
  SERIES    = {APL Quote Quad},
  VOLUME    = {29-1},
  NUMBER    = {},
  YEAR      = 1999,
  PAGES     = {41--49},
  NOTE      = {},
  CONTENTS  = {The paper outlines the concept of programming with
               regions in ZPL},
  sourceURL = {},
  TOPICS    = {ZPL}
}

@ARTICLE{ ChamChoiLewi+00,
  AUTHOR    = {B.L. Chamberlain and S.-E. Choi and E.C. Lewis and C. Lin and
               L. Snyder and W.D. Weathersby},
  TITLE     = {{ZPL: A Machine Independent Programming Language for Parallel Computers}},
  JOURNAL   = {IEEE Transactions on Software Engineering},
  YEAR      = 2000,
  VOLUME    = {26},
  NUMBER    = {3},
  PAGES     = {197--211},
  NOTE      = {Special Issue on Architecture-Independent Languages and Software Tools
               for Parallel Processing},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {ZPL}
}

% formerly CSS95
@INPROCEEDINGS{ ChakSchrSimo95,
  AUTHOR    = {M.M.T. Chakravarty and F.W. Schr{\"o}er, M. Simons},
  EMAIL     = {},
  TITLE     = {{V}--{N}ested {P}arallelism in {C}},
  EDITOR    = {W.K. Giloi and S. J{\"a}hnichen and Shriver},
  BOOKTITLE = {{P}roceedings of {MPPM}'95},
  PUBLISHER = {IEEE Computer Society Press},
  YEAR      = 1995,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"http://marvin.cs.tu-berlin.de/~chak/papers/v.ps.gz"},
  TOPICS    = {Exploiting Concurrency,Language Design}
  }

@INPROCEEDINGS{ ChakKell01,
  AUTHOR    = {M.M.T. Chakravarty and G. Keller},
  EMAIL     = {},
  TITLE     = {{F}unctional {A}rray {F}usion},
  EDITOR    = {X. Leroy},
  BOOKTITLE = {{P}roceedings of {ICFP}'01},
  PUBLISHER = {{ACM}-Press},
  YEAR      = 2001,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.cse.unsw.edu.au/~chak/papers/fastarrays.ps.gz},
  TOPICS    = {Folding of Array Comprehensions,Implementation of Arrays,Sparse Arrays}
  }

% formerly CF95
@ARTICLE{ ChanFost95,
  AUTHOR   = {K.M. Chandy and I. Foster},
  EMAIL    = {},
  TITLE    = {{A} {N}otation for {D}eterministic {C}ooperating {P}rocesses},
  JOURNAL  = {IEEE Transactions on Parallel and Distributed Systems},
  YEAR 	   = 1995,
  VOLUME   = {6},
  NUMBER   = {8},
  PAGES    = {863-871},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {ftp://ftp.mcs.anl.gov/pub/tech_reports/reports/P346.ps.Z},
  TOPICS   = {FortranM,Language Design,Exploiting Concurrency}
  }

@PHDTHESIS{ Cerniak97,
  AUTHOR   = {M. Cerniak},
  EMAIL    = {},
  TITLE    = {{O}ptimizing {P}rograms by {D}ata and {C}ontrol {T}ransformations},
  SCHOOL   = {University of Rochester},
  ADDRESS  = {Rochester, New York},
  YEAR     = 1997,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {This PhD thesis discusses a more or less brute force
                  approach of combining loop interchange with a
                  selected data layout (sequence of dimensions) in
                  order to achieve stride 1 array traversals as often
                  as possible.} ,
  sourceURL= {},
  TOPICS   = {Loop Transformation,Array Data Layout}
}

@ARTICLE{ Chin94,
  AUTHOR   = {W.-N. Chin},
  EMAIL    = {},
  TITLE    = {Safe {F}usion of {F}unctional {E}xpressions {II}: {F}urther {I}mprovements},
  JOURNAL  = {Journal of Functional Programming},
  YEAR 	   = 1994,
  VOLUME   = {4},
  NUMBER   = {4},
  PAGES    = {515-550},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Fusion of Functions}
  }

@INPROCEEDINGS{ ChinKhoo00,
  AUTHOR    = {W.-N. Chin and S.-C. Khoo},
  EMAIL     = {},
  TITLE     = {{C}alculating {S}ized {T}ypes},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation and
               Semantics-based Program Manipulation, Boston, Massachusetts},
  PUBLISHER = {{ACM} Press},
  YEAR      = 2000,
  PAGES     = {62-72},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Sized Types}
  }

@INCOLLECTION{ CPJ85,
  AUTHOR    = {C. Clack and S. {Peyton Jones}},
  EMAIL     = {},
  TITLE     = {{S}trictness {A}nalysis - a {P}ractical {A}pproach},
  EDITOR    = {},
  BOOKTITLE = {FPCA '85, Nancy},
  SERIES    = {LNCS},
  VOLUME    = {201},
  PUBLISHER = {Springer},
  YEAR      = 1985,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Strictness Analysis}
  }

@MANUAL{ ClarHinzJeur+01,
  AUTHOR       = {D. Clarke and R. Hinze and J. Jeuring
                  and A. L{\"o}h and J. de Witt},
  EMAIL        = {},
  TITLE        = {{T}he {G}eneric {H}askell {U}ser's {G}uide},
  ORGANIZATION = {},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 2001,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {}
}

@ARTICLE{ Cohen81,
  AUTHOR   = {J. Cohen},
  EMAIL    = {},
  TITLE    = {{G}arbage {C}ollection of {L}inked {D}ata {S}tructures},
  JOURNAL  = {{ACM} Computing Surveys},
  YEAR 	   = 1981,
  VOLUME   = {13},
  NUMBER   = {3},
  PAGES    = {341-367},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Garbage Collection}
  }

@INPROCEEDINGS{ ColeKinl95,
  AUTHOR    = {S. Coleman and K. McKinley},
  EMAIL     = {},
  TITLE     = {{T}ile {S}ize {S}election {U}sing {C}ache {O}rganization and {D}ata {L}ayout}
,
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM} {SIGPLAN}'95 Conference on
                 Programming Language Design and Implementation
                 ({PLDI}), La Jolla, California},
  PUBLISHER = {},
  YEAR      = 1995,
  PAGES     = {279--290},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {This paper describes an algorithm to derive tile sizes
                  that allows for rectangular tiles and also is
                  conscious about cross interference. In contrast to
                  this, the algorithm introduced by Lam et al. only
                  considers square tiles. },
  sourceURL = {ftp://ftp.cs.umass.edu/pub/mckinley/pldi.ps.gz},
  TOPICS    = {Cache Utilization}
  }

@INPROCEEDINGS{ CookLaun97,
  AUTHOR    = {B. Cook and J. Launchbury},
  EMAIL     = {},
  TITLE     = {{D}isposable {M}emo {F}unctions},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 1997 Haskell Workshop},
  PUBLISHER = {},
  YEAR      = 1997,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"http://www.cse.ogi.edu/~byron/memo/dispose.ps"},
  TOPICS    = {Memoisation}
  }

@ARTICLE{ CoppDeza80,
  AUTHOR   = {M. Coppo and M. Dezani-Ciancaglini},
  EMAIL    = {},
  TITLE    = {{A}n {E}xtension of the {B}asic {F}unctionality {T}heory of the {$\lambda$}-calculus},
  JOURNAL  = {Journal of Formal Logic},
  YEAR 	   = 1980,
  VOLUME   = {21},
  NUMBER   = {4},
  PAGES    = {685-693},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Intersection Types}
  }

@TECHREPORT{ CDKLEY93,
  AUTHOR      = {D.E. Culler and A. Dusseau and S.C. Goldstein and A. Krishnamurthy
                 and S. Lumetta and T. von Eicken and K. Yelick},
  EMAIL       = {},
  TITLE       = {{P}arallel {P}rogramming in {S}plit-{C}},
  INSTITUTION = {University of California},
  ADDRESS     = {Berkley},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {ftp://ftp.cs.berkley.edu/ucb/Castle/Split-C/sc93.ps.Z},
  TOPICS      = {Language Manuals}
}

@BOOK{ Cur89,
  AUTHOR    = {D.A. Curry and others},
  EMAIL     = {},
  TITLE     = {{C} on the {U}{N}{I}{X} {S}ystem},
  SERIES    = {A Nutshell Handbook},
  VOLUME    = {},
  PUBLISHER = {O'Reilly \& Associates, Inc.},
  YEAR      = 1989,
  NOTE      = {ISBN 0-937175-23-4},
  FTP       = {},
  KEYWORDS  = {UNIX,C},
  CONTENTS  = { Pr\"asentiert in einer kompakten Form die unter Unix
                angebotenen Bibliotheken. C Kenntnisse sind unerl\"asslich.
                Anschauliche Pr\"asentation von Alltagsproblemen, die bei
                der t\"aglichen Arbeit mit Unix auftreten, und deren L\"osung.},
  TOPICS    = {C,Operating Systems}
  }

@BOOK{ CF58,
  AUTHOR    = {H.B. Curry and R. Feys},
  EMAIL     = {},
  TITLE     = {{C}ombinatory {L}ogic {V}ol. {I}},
  SERIES    = {Studies in Logics and the Foundations of Mathmatics},
  VOLUME    = {},
  PUBLISHER = {North-Holland},
  YEAR      = 1958,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {LAMBDA-Calculus}
  }

% dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd

@PHDTHESIS{ Ding00,
  AUTHOR   = {C. Ding},
  EMAIL    = {},
  TITLE    = {{I}mproving {E}ffective {B}andwidth through {C}ompiler {E}nhancement
              of {G}lobal and {D}ynamic {C}ache {R}euse},
  SCHOOL   = {Rice University},
  ADDRESS  = {Houston, Texas},
  YEAR     = 2000,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Cache Utilization}
}

@ARTICLE{ DrisOrth86,
  AUTHOR   = {G.C. Driscoll and D.L. Orth},
  EMAIL    = {},
  TITLE    = {{C}ompiling {APL}: {T}he {Y}orktown {APL} {T}ranslator},
  JOURNAL  = {IBM Journal of Research and Development},
  YEAR 	   = 1986,
  VOLUME   = {30},
  NUMBER   = {6},
  PAGES    = {583-593},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {APL}
  }

% eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

@TECHREPORT{ EKN94,
  AUTHOR      = {P. Enskonatus and M. Kessler and J. Nolte},
  EMAIL       = {},
  TITLE       = {{S}pecification of the {PROMOTER} {C}ompilation {S}ystem
                 {V}ersion 1.0},
  INSTITUTION = {GMD-FIRST},
  ADDRESS     = {},
  TYPE        = {{RWCP}},
  NUMBER      = {},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {"ftp://ftp.gmd.de/GMD/promoter/reports/Reports1994/spec.ps.gz"},
  TOPICS      = {Compilation Schemes,Exploiting Concurrency,PROMOTER}
}

% ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff

@INCOLLECTION{ FW87,
  AUTHOR    = {J. Fairbairn and S.C. Wray},
  EMAIL     = {},
  TITLE     = {{TIM}: {A} {S}imple {A}bstract {M}achine to {E}xecute {S}upercombinators},
  EDITOR    = {G. Kahn},
  BOOKTITLE = {FPCA'87, Portland, Oregon},
  SERIES    = {LNCS},
  VOLUME    = {274},
  PUBLISHER = {Springer},
  YEAR      = 1987,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {Clean}
  }

@INBOOK{ Feo91,
  AUTHOR    = {J.T. Feo},
  EMAIL     = {},
  TITLE     = {{A}rrays in {S}isal},
  SERIES    = {{A}rrays, {F}unctional {L}anguages, and {P}arallel {S}ystems},
  VOLUME    = {},
  CHAPTER   = {5},
  PAGES     = {93-106},
  PUBLISHER = {Kluwer Academic Publishers},
  YEAR      = 1991,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Sisal,Dense Arrays}
  }

@TECHREPORT{ Feo92,
  AUTHOR      = {J.T. Feo},
  EMAIL       = {},
  TITLE       = {{S}{I}{S}{A}{L}},
  INSTITUTION = {Lawrence Livermore National Laboratory},
  ADDRESS     = {LLNL, Livermore California},
  TYPE        = {},
  NUMBER      = {UCRL-JC-110915},
  YEAR        = 1992,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {(chapter in "A comparative Study of Parallel Programming
                  Languages: The Salishan Problems");
                  A brief introduction to the SISAL language followed by
                  four case studies: "Hamming's problem", "Paraffins Problem",
                  "The Doctor's Office" and "Skyline Matrix Problem".} ,
  TOPICS   = {Algorithms,Implmentation,Sisal}
}

@INPROCEEDINGS{ FeoMillSked+95,
  AUTHOR    = {J.T. Feo and P.J. Miller and S.K.Skedzielewski and
               S.M. Denton and C.J. Solomon},
  TITLE     = {{Sisal 90}},
  EDITOR    = {A.P.W. B\"ohm and J.T. Feo},
  BOOKTITLE = {Proceedings of the Conference on High Performance Functional
               Computing (HPFC'95), Denver, Colorado, USA},
  PUBLISHER = {Lawrence Livermore National Laboratory,
               Livermore, California, USA},
  SERIES    = {},
  VOLUME    = {},
  NUMBER    = {},
  YEAR      = 1995,
  PAGES     = {35--47},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Sisal,Language Manuals}
}

@MANUAL{FeoMillSked+95a,
  AUTHOR       = {J.T. Feo and P.J. Miller and S.K.Skedzielewski and
                  S.M. Denton},
  TITLE        = {{S}isal 90 {U}ser's {G}uide},
  ORGANIZATION = {Lawrence Livermore National Laboratory},
  ADDRESS      = {Livermore, California, USA},
  EDITION      = {},
  YEAR         = 1995,
  NOTE         = {},
  CONTENTS     = {},
  sourceURL    = {http://www.llnl.gov/sisal/SisalHomePage.html},
  TOPICS       = {Sisal,Language Manuals}
}

% formerly FH88

@BOOK{ FielHarr88,
  AUTHOR    = {A.J. Field and P.G. Harrison},
  EMAIL     = {},
  TITLE     = {{F}unctional {P}rogramming},
  SERIES    = {International Computer Science Series},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1988,
  NOTE      = {ISBN 0-201-19249-7},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@INPROCEEDINGS{ FPJ95,
  AUTHOR    = {S. Finne and S. {Peyton Jones}},
  EMAIL     = {},
  TITLE     = {{C}omposing {H}aggis},
  EDITOR    = {},
  BOOKTITLE = {Proceeding of the fifth Eurographics Workshop on
               Programming Paradigms for Computer Graphics, Sept.95},
  PUBLISHER = {Springer},
  YEAR      = 1996,
  PAGES     = {},
  NOTE      = {(To be published)},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.dcs.gla.ac.uk/~sof/haggis/composing-haggis.ps.gz},
  TOPICS    = {Monads}
  }

@INPROCEEDINGS{ FitzOlde95,
  AUTHOR    = {S.M. Fitzgerald and R.R. Oldehoeft},
  EMAIL     = {},
  TITLE     = {{U}pdate-in-place {A}nalysis for {T}rue {M}ultidimensional {A}rrays},
  EDITOR    = {A.P.W. B{\"o}hm and J.T. Feo},
  BOOKTITLE = {High Performance Functional Computing},
  PUBLISHER = {},
  YEAR      = 1995,
  PAGES     = {105-118},
  NOTE      = {},
  FTP       = {},
  sourceURL = {ftp://sisal.llnl.gov/pub/hpfc/papers95/paper09.ps},
  KEYWORDS  = {},
  CONTENTS  = {Extends D. Cann's update in place analysis to flat arrays},
  TOPICS   = {Sisal,Dense Arrays}
  }

@PHDTHESIS{ Fitz94,
  AUTHOR   = {S. Fitzpatrick},
  EMAIL    = {},
  TITLE    = {{T}he {S}pecification of {A}rray-{B}ased {A}lgorithms and the
              {A}utomated {D}erivation of {P}arallel {I}mplementations through
              {P}rogram {T}ransformation},
  SCHOOL   = {The Queen's University of Belfast},
  ADDRESS  = {},
  YEAR     = 1994,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {http://www.cs.qub.ac.uk/pub/PhD/1994-S.Fitzpatrick/PhD.ps.gz},
  TOPICS   = {Dense Arrays}
}

@BOOK{ Flanagan99,
  AUTHOR    = {D. Flanagan},
  EMAIL     = {},
  TITLE     = {{J}ava in a {N}utshell, 3rd edition},
  SERIES    = {Nutshell Series},
  VOLUME    = {},
  PUBLISHER = {O'Reilly},
  YEAR      = 1999,
  NOTE      = {ISBN 1-56592-487-8},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Java,Language Manuals}
  }

@BOOK{ Fou94,
  AUTHOR    = {T.J. Fountain},
  EMAIL     = {},
  TITLE     = {{P}arallel {C}omputing, principles and practice},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Cambridge University Press},
  YEAR      = 1994,
  NOTE      = {ISBN 0-521-45131-0},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {To Be Read,Exploiting Concurrency}
  }

@MANUAL{ Fra91,
  AUTHOR       = {J. Frankel},
  EMAIL        = {},
  TITLE        = cstar # { language reference manual},
  ORGANIZATION = {Thinking Machines Corp.},
  ADDRESS      = {Cambridge MA},
  EDITION      = {},
  YEAR         = 1991,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {Language Manuals}
}

@INCOLLECTION{ FrenWise97,
  AUTHOR    = {J.D. Frens and D.S. Wise},
  EMAIL     = {},
  TITLE     = {{A}uto-{B}locking {M}atrix-{M}ultiplication or 
               {T}racking {BLAS3} {P}erformance from {S}ource {C}ode},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 6th {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming},
  SERIES    = {{SIGPLAN} {N}otices},
  VOLUME    = {32(7)},
  PUBLISHER = {{ACM}},
  YEAR      = 1997,
  PAGES     = {206-216},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"ftp://ftp.cs.indiana.edu/pub/techreports/TR449.ps.Z"},
  TOPICS    = {Array Data Layout}
  }

% gggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg

@INPROCEEDINGS{ GKK92,
  AUTHOR    = {D. G{\"a}rtner and A. Kimms and W.E. Kluge},
  EMAIL     = {},
  TITLE     = {$\pi$-{\sc red$^+$}---{A} {C}ompiling {G}raph {R}eduction
              {S}ystem for a {F}ull {F}ledged $\lambda$-{C}alculus},
  EDITOR    = {H. Kuchen and R. Loogen},
  BOOKTITLE = {Proc. of the 4th International Workshop on
               Parallel Implementation of Functional Languages, Aachen},
  PUBLISHER = {University of Aachen},
  YEAR      = 1992,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {KiR}
  }

@ARTICLE{ GaerKlug96,
  AUTHOR   = {D. G{\"a}rtner and W.E. Kluge},
  EMAIL    = {},
  TITLE    = {$\pi$-{\sc red$^+$}---{A}n {I}nteractive {C}ompiling {G}raph
              {R}eduction {S}ystem for an {A}pplied $\lambda$-{C}alculus},
  JOURNAL  = {Journal of Functional Programming},
  YEAR 	   = 1996,
  VOLUME   = {6},
  NUMBER   = {5},
  PAGES    = {723-756},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {KiR}
  }

@BOOK{ GZO78,
  AUTHOR    = {R.H. Gallagher and O.C. Zienkiewicz and J.T. Oden and others},
  EMAIL     = {},
  TITLE     = {{F}inite {E}lements in {F}luids},
  SERIES    = {Wiley Series in Numerical Methods in Engineering},
  VOLUME    = {3},
  PUBLISHER = {Wiley},
  YEAR      = 1978,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@BOOK{ GammHelmJohn+94,
  AUTHOR    = {E. Gamma and R. Helm and R. Johnson and J. Vlissides},
  EMAIL     = {},
  TITLE     = {Design Patterns: Elements of Reusable Object-Oriented Software},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1994,
  NOTE      = {ISBN 0-201-63361-2},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@INCOLLECTION{ GaoOlseSark+93,
  AUTHOR    = {G.R. Gao and R. Olsen and V. Sarkar and R. Thekkath},
  EMAIL     = {},
  TITLE     = {Collective Loop Fusion for Array Contraction},
  EDITOR    = {U. Banerjee and P. Gelernter and A. Nicolau and D. Padua},
  BOOKTITLE = {Proceedings of the 5th workshop on languages and compilers for
               Parallel Computing},
  SERIES    = {LNCS},
  VOLUME    = {1993},
  PUBLISHER = {Springer},
  YEAR      = 1993,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Fusion of Loops,Array Contraction}
  }

@TECHREPORT{ Ger94,
  AUTHOR      = {J. Gerlach},
  EMAIL       = {},
  TITLE       = {{PROMOTER} - {F}irst {A} pplication {S}tudy -
                 {N}avier-{S}tokes {E}quations},
  INSTITUTION = {GMD-FIRST},
  ADDRESS     = {},
  TYPE        = {{RWCP}},
  NUMBER      = {},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {"ftp://ftp.gmd.de/GMD/promoter/reports/Reports1994/first_application.ps.gz"},
  TOPICS      = {PROMOTER,Implmentation}
}

@PHDTHESIS{ Gill96,
  AUTHOR   = {A. Gill},
  EMAIL    = {},
  TITLE    = {{C}heap {D}eforestation for {N}on-strict {F}unctional {L}anguages},
  SCHOOL   = {Glasgow University},
  ADDRESS  = {},
  YEAR     = 1996,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {In functional languages intermediate data structures are often used as
              ``glue'' to connect separate parts of a program together. Deforestation
              is the process of automatically removing intermediate data structures.
              In this thesis we present and analyse a new approach to deforestation.
              This new approach is both practical and general. We analyse in detail
              the problem of list removal rather than the more general problem of
              arbitrary data structure removal. This more limited scope allows a
              complete evaluation of the pragmatic aspects of using our deforestation
              technology. We have implemented our list deforestation algorithm in the
              Glasgow Haskell compiler. Our implementation has allowed practical feedback.
              One important conclusion is that a new analysis is required to infer
              function arities and the linearity of lambda abstractions. This analysis
              renders the basic deforestation algorithm far more effective. We give a
              detailed assessment of our implementation of deforestation. We measure
              the effectiveness of our deforestation on a suite of real application
              programs. We also observe the costs of our deforestation algorithm. },
  sourceURL= {"http://www.dcs.gla.ac.uk/fp/authors/Andy_Gill/thesis2.ps.gz"},
  TOPICS   = {Haskell,Dense Arrays,Deforestation}
}

@INPROCEEDINGS{ GLP93,
  AUTHOR    = {A. Gill and J. Launchbury and S.L. {Peyton Jones}},
  EMAIL     = {},
  TITLE     = {{A} {S}hort {C}ut to {D}eforestation},
  EDITOR    = {},
  BOOKTITLE = {FPCA '93, Copenhagen},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {223-232},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/papers/deforestation-short-cut.ps.Z"},
  TOPICS    = {Haskell,Dense Arrays,Deforestation}
  }

@BOOK{ Gilly92,
  AUTHOR    = {D. Gilly and others},
  EMAIL     = {},
  TITLE     = {{U}nix in a {N}utshell},
  SERIES    = {A Nutshell Handbook},
  VOLUME    = {},
  PUBLISHER = {O'Reilly \& Associates, Inc.},
  YEAR      = 1992,
  NOTE      = {ISBN 1-56592-001-5},
  FTP       = {},
  KEYWORDS  = {UNIX},
  CONTENTS  = {Eine Nachschlagewerk, das kurz alle wesentlichen Aspekte
               der Benutzung von Unix darstellt und dabei etwas ausf\"uhrlicher als
               die Manual-Pages ist. Ein vollwertiger Ersatz f\"ur Manualpages, da
               viele der Crossreferenzen der Manualpages aufgel\"ost wurden.},
  TOPICS    = {Operating Systems}
  }

@INPROCEEDINGS{ GKS95,
  AUTHOR    = {W.K. Giloi and M. Kessler and A. Schramm},
  EMAIL     = {},
  TITLE     = {{PROMOTER}: {A} {H}igh-{L}evel, {O}bject-{P}arallel {P}rogramming
               {L}anguage},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of ICHPC'95},
  PUBLISHER = {},
  YEAR      = 1995,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"ftp://ftp.gmd.de/GMD/promoter/reports/Reports1995/ichpc95.ps.gz"},
  TOPICS    = {Language Design,PROMOTER}
  }

@BOOK{ GHT84,
  AUTHOR    = {H. Glaser and C. Hankin and D. Till},
  EMAIL     = {},
  TITLE     = {{P}rinciples of {F}unctional {P}rogramming},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice Hall},
  YEAR      = 1984,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@TECHREPORT{ GBD93,
  AUTHOR      = {A. Gleist and A. Beguelin and J. Dongarra and others},
  EMAIL       = {},
  TITLE       = {{PVM} 3 {U}sers {G}uide and {R}eference {M}anual},
  INSTITUTION = {Oak Ridge National Laboratory},
  ADDRESS     = {Tennessee},
  TYPE        = {ORNL/TM},
  NUMBER      = {12187},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {PVM}
}

@MANUAL{ GK76,
  AUTHOR       = {A. Goldberg and A. Kay},
  EMAIL        = {},
  TITLE        = {{S}malltalk-80, {I}nstruction {M}anual},
  ORGANIZATION = {Xerox, Palo Alto Research Center (PARC)},
  ADDRESS      = {Palo Alto, CA},
  EDITION      = {},
  YEAR         = 1976,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {Language Manuals}
}

@INCOLLECTION{ GH86,
  AUTHOR    = {B. Goldberg and P. Hudak},
  EMAIL     = {},
  TITLE     = {{A}lfalfa: {D}istributed {G}raph {R}eduction on a {H}ypercube {M}ultiprocessor},
  EDITOR    = {J.H. Fasel and R.M. Keller},
  BOOKTITLE = {Graph Reduction, Sante F$\acute{e}$},
  SERIES    = {LNCS},
  VOLUME    = {279},
  PUBLISHER = {Springer},
  YEAR      = 1986,
  PAGES     = {94-113},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS   = {Exploiting Concurrency}
  }

@BOOK{ GoldRobs84,
  AUTHOR    = {A.J. Goldberg and D. Robson},
  TITLE     = {{Smalltalk-80: The Language and its Implementation}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley, Reading, Massachusetts, USA},
  YEAR      = 1984,
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Smalltalk}
}

@ARTICLE{ GJ91,
  AUTHOR   = {C.K. Gomard and N.D. Jones},
  EMAIL    = {},
  TITLE    = {{A} {P}artial {E}valuator for the {U}ntyped {L}ambda-{C}alculus},
  JOURNAL  = {Journal of Functional Programming},
  YEAR 	   = 1991,
  VOLUME   = {1},
  NUMBER   = {1},
  PAGES    = {21-69},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Partial Evaluation}
  }

@INPROCEEDINGS{ GopiHenn89,
  AUTHOR    = {K. Gopinath and J.L. Hennessy},
  EMAIL     = {},
  TITLE     = {{C}opy {E}limination in {F}unctional {L}anguages},
  EDITOR    = {},
  BOOKTITLE = {Proc. Sixteenth Annual ACM Symposium on Principles of Programming Languages},
  PUBLISHER = {{ACM}-Press},
  YEAR      = 1989,
  PAGES     = {303-314},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@PHDTHESIS{ Gord92,
  AUTHOR   = {A.D. Gordon},
  EMAIL    = {},
  TITLE    = {{F}unctional {P}rogramming and {I}nput/{O}utput},
  SCHOOL   = {University of Cambridge},
  ADDRESS  = {England},
  YEAR     = 1992,
  NOTE     = {Available as Technical Report No.285},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {I/O Surveys}
}

@BOOK{ GoslJoyStee00,
  AUTHOR    = {J. Gosling and B. Joy and G. Steele},
  EMAIL     = {},
  TITLE     = {{T}he {J}ava {L}anguage {S}pecification, 2nd edition},
  SERIES    = {Java Series},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 2000,
  NOTE      = {ISBN 0-20131-008-2},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Java,Language Manuals}
  }

@ARTICLE{ GKW84,
  AUTHOR   = {J.R. McGraw and D.J. Kuck and M. Wolfe},
  EMAIL    = {},
  TITLE    = {{A} {D}ebate: {R}etire {F}ortran?},
  JOURNAL  = {Physics Today},
  YEAR 	   = 1984,
  VOLUME   = {37},
  NUMBER   = {5},
  PAGES    = {66-75},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Language Design}
  }

% formerly GSAO85
@TECHREPORT{ GrawSkedAllaOlde+85,
  AUTHOR      = {J.R. McGraw and S.K. Skedzielewski and S.J. Allan
                 and R.R. Oldehoeft and others},
  EMAIL       = {},
  TITLE       = {{\sc Sisal}: {S}treams and {I}teration in a
                 {S}ingle {A}ssignment {L}anguage: {R}eference {M}anual {V}ersion 1.2},
  INSTITUTION = {Lawrence Livermore National Laboratory},
  ADDRESS     = {LLNL, Livermore California},
  TYPE        = {M},
  NUMBER      = {146},
  YEAR        = 1985,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Language Manuals,Sisal}
}

@ARTICLE{ Gropp96,
  AUTHOR   = {W. Gropp and E. Lusk and N. Doss and A. Skjellum},
  EMAIL    = {},
  TITLE    = {A high-performance, portable implementation of the
                 {MPI} message passing interface standard},
  JOURNAL  = {Parallel Computing}, 
  YEAR     = 1996,
  VOLUME   = {22},
  NUMBER   = {6},
  PAGES    = {789--828},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= 
{ftp://ftp.mcs.anl.gov/pub/mpi/mpich/papers/mpicharticle.ps},
  TOPICS   = {MPI}
  }

@MASTERSTHESIS{ Grelck96,
  AUTHOR   = {C. Grelck},
  EMAIL    = {},
  TITLE    = {{I}ntegration eines {M}odul- und {K}lassen-{K}onzeptes in
              die funktionale {P}rogrammiersprache {\sc Sac} -- {S}ingle 
              {A}ssignment {C}},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1996,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {http://www.informatik.uni-kiel.de/~sacbase/doc/sac2c-modules-classes-dipl-cg-96.dvi.gz},
  TOPICS   = {SAC,Masterthesis/PhD}
}

@INPROCEEDINGS{ Grelck98,
  AUTHOR    = {C. Grelck},
  EMAIL     = {},
  TITLE     = {{S}hared {M}emory {M}ultiprocessor {S}upport for {SAC}},
  EDITOR    = {K. Hammond and T. Davie and C. Clack},
  BOOKTITLE = {Proc. of the 10th International Workshop on
                  Implemenatation of Functional Languages (IFL'98, London)},
  PUBLISHER = {University College, London},
  YEAR      = 1998,
  PAGES     = {155--170},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,Exploiting Concurrency}
  }

@INCOLLECTION{ GrelckIFL98,
  AUTHOR    = {C. Grelck},
  EMAIL     = {},
  TITLE     = {{S}hared {M}emory {M}ultiprocessor {S}upport for {SAC}},
  EDITOR    = {K. Hammond and A.J.T. Davie and C. Clack},
  BOOKTITLE = {Implementation of Functional Languages (IFL~'98), London, UK},
  SERIES    = {LNCS},
  VOLUME    = {1595},
  PUBLISHER = {Springer},
  YEAR      = 1999,
  PAGES     = {38-54},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,Exploiting Concurrency}
  }

@INPROCEEDINGS{ GrelckIFL98short,
  AUTHOR    = {C. Grelck},
  TITLE     = {{S}hared {M}emory {M}ultiprocessor {S}upport for {SAC}},
  EDITOR    = {K. Hammond and T. Davie and C. Clack},
  BOOKTITLE = {Proc. of Implementing Functional Languages (IFL
                  '98), London, Selected Papers},
  PUBLISHER = {Springer},
  SERIES    = {LNCS},
  VOLUME    = {1595},
  YEAR      = 1999,
  PAGES     = {38--54},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,Exploiting Concurrency}
  }

@INPROCEEDINGS{ GrelckPDCN03,
  AUTHOR    = {C. Grelck},
  TITLE     = {{A Multithreaded Compiler Backend for High-Level Array Programming}},
  EDITOR    = {M.H. Hamza},
  BOOKTITLE = {Proceedings of the 21st International Multi-Conference on
               Applied Informatics (AI'03),
               Part II: International Conference on Parallel and Distributed Computing and
               Networks (PDCN'03), Innsbruck, Austria},
  PUBLISHER = {ACTA Press},
  SERIES    = {},
  VOLUME    = {},
  NUMBER    = {},
  YEAR      = 2003,
  PAGES     = {},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,Shared Memory}
}

@INPROCEEDINGS{ GrelHinkScho05,
  AUTHOR    = {C. Grelck and K. Hinkfu{\3} and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{With-Loop Fusion for Data Locality and Parallelism}},
  EDITOR    = {A. Butterfield},
  BOOKTITLE = {{Implementation and Application of Functional Languages,
                17th INternational Workshop, IFL'05}},
  PUBLISHER = {Trinity College, Dublin},
  YEAR      = 2005,
  PAGES     = {Technical Report TCD-CS-2005-60},
  NOTE      = {NB: superseded by \cite{GrelHinkSchoIFL05}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INCOLLECTION{ GrelHinkSchoIFL05,
  AUTHOR    = {C. Grelck and K. Hinkfu{\3} and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{With-Loop Fusion for Data Locality and Parallelism}},
  EDITOR    = {A. Butterfield},
  BOOKTITLE = {{Implementation and Application of Functional Languages,
                17th INternational Workshop, IFL'05, Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {???},
  PUBLISHER = {Springer},
  YEAR      = 2006,
  PAGES     = {},
  NOTE      = {to appear},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelKreySchoIFL99,
  AUTHOR    = {C. Grelck and D. Kreye and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{O}n {C}ode {G}eneration for {M}ulti-{G}enerator {WITH-L}oops in {SAC}},
  EDITOR    = {P. Koopman and C. Clack},
  BOOKTITLE = {Proc. of the 11th International Workshop on
                  Implementation of Functional Languages (IFL'99),
                  Lochem, The Netherlands, Selected Papers},
  PUBLISHER = {Springer},
  SERIES    = {LNCS},
  VOLUME    = {1868},
  YEAR      = 2000,
  PAGES     = {77-95},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelKreyScho99,
  AUTHOR    = {C. Grelck and D. Kreye and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{O}n {C}ode {G}eneration for {M}ulti-{G}enerator {WITH-L}oops in {SAC}},
  EDITOR    = {P. Koopman and C. Clack},
  BOOKTITLE = {Proc. of the 11th International Workshop on
                  Implementation of Functional Languages (IFL'99),
                  Lochem, The Netherlands},
  PUBLISHER = {Catholic University of Nijmegen},
  SERIES    = {},
  VOLUME    = {},
  YEAR      = 1999,
  PAGES     = {57-74},
  NOTE      = {NB: superseded by \cite{GrelKreySchoIFL99}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoKPS04,
  AUTHOR    = {C. Grelck and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{Implementing 3-dimensional FFT in the Functional Array Language SAC
                - A Case Study on Programming Methodology and Runtime Performance}},
  EDITOR    = {P. Thiemann},
  BOOKTITLE = {Proceedings of the 12th German Workshop on Programming Languages
               and Foundations of Programming},
  PUBLISHER = {University of Freiburg},
  YEAR      = 2004,
  PAGES     = {},
  NOTE      = {to appear},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@INPROCEEDINGS{ GrelSchoPARCO05,
  AUTHOR    = {C. Grelck and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{M}erging {C}ompositions of {A}rray {S}keletons in {SAC}},
  EDITOR    = {H. Kuchen},
  BOOKTITLE = {Proceedings of PARCO'05},
  PUBLISHER = {(invited paper)},
  YEAR      = 2005,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoPARS05,
  AUTHOR    = {C. Grelck and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{G}eneric {P}arallel {A}rray {P}rogramming in {SAC}},
  EDITOR    = {E. Maehle},
  BOOKTITLE = {Proceedings of PARS'05},
  PUBLISHER = {PARS-Mitteilungen Nr. 22},
  YEAR      = 2005,
  PAGES     = {81-90},
  NOTE      = {ISSN 0177-0454},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelKuthSchoHLPP05,
  AUTHOR    = {C. Grelck and S. Kuthe and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A} {H}ybrid {S}hared {M}emory {E}xecution {M}odel for a
               {D}ata {P}arallel {L}anguage with {I/O}},
  EDITOR    = {A. Tiskin},
  BOOKTITLE = {Proceedings of HLPP'05},
  PUBLISHER = {University of Warwick, Coventry},
  YEAR      = 2005,
  PAGES     = {147-160},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@ARTICLE{ GrelKuthSchoPPL06,
  AUTHOR   = {C. Grelck and S. Kuthe and S.B. Scholz},
  EMAIL    = {},
  TITLE    = {{A} {H}ybrid {S}hared {M}emory {E}xecution {M}odel for a
               {D}ata {P}arallel {L}anguage with {I/O}},
  JOURNAL  = {Parallel Processing Letters},
  YEAR 	   = 2006,
  VOLUME   = {},
  NUMBER   = {},
  PAGES    = {},
  NOTE     = {to appear},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoGIPR05,
  AUTHOR    = {C. Grelck and S.-B. Scholz},
  TITLE     = {{With-Loop Fusion in SAC}},
  EDITOR    = {M. Hanus and F. Huch},
  BOOKTITLE = {22.~Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte,
               Bad Honnef, Germany},
  PUBLISHER = {University of Kiel, Institute of Computer Science and Applied Mathematic
s},
  SERIES    = {Technischer Bericht},
  VOLUME    = {},
  NUMBER    = {},
  YEAR      = 2005,
  PAGES     = {},
  NOTE      = {to appear},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC, on SAC}
}

@INPROCEEDINGS{ GrelSchoGIPR04,
  AUTHOR    = {C. Grelck and S.-B. Scholz},
  TITLE     = {{Generic Array Programming in SAC}},
  EDITOR    = {W. Goerigk},
  BOOKTITLE = {21.~Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte,
               Bad Honnef, Germany},
  PUBLISHER = {University of Kiel, Institute of Computer Science and Applied Mathematics},
  SERIES    = {Technischer Bericht},
  VOLUME    = {0410},
  NUMBER    = {},
  YEAR      = 2005,
  PAGES     = {43--53},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC, on SAC}
}

@INPROCEEDINGS{ GrelScholMG05a,
  AUTHOR    = {C. Grelck and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A Language Design for Multi-Threaded Execution}},
  EDITOR    = {A. Shafarenko and C. Jesshope},
  BOOKTITLE = {Proceedings of the 2nd Micro-grid Workshop on Scalable
               on-chip Parallelism},
  PUBLISHER = {University of Amsterdam},
  YEAR      = 2005,
  PAGES     = {61},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelScholMG05b,
  AUTHOR    = {C. Grelck and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A Hybrid Execution Model for SaC}},
  EDITOR    = {A. Shafarenko and C. Jesshope},
  BOOKTITLE = {Proceedings of the 2nd Micro-grid Workshop on Scalable
               on-chip Parallelism},
  PUBLISHER = {University of Amsterdam},
  YEAR      = 2005,
  PAGES     = {29},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@ARTICLE{ GrelSchoIJPP06,
  AUTHOR   = {C. Grelck and S.-B. Scholz},
  EMAIL    = {},
  TITLE    = {{A Functional Array Language for Efficient Multithreaded Execution}},
  JOURNAL  = {International Journal of Parallel Programming},
  YEAR 	   = 2006,
  VOLUME   = {},
  NUMBER   = {},
  PAGES    = {},
  NOTE     = {to appear},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoShaf05,
  AUTHOR    = {C. Grelck and S.-B. Scholz and A. Shafarenko},
  EMAIL     = {},
  TITLE     = {{A Binding-Time Analysis for Inferring Array Shapes}},
  EDITOR    = {A. Butterfield},
  BOOKTITLE = {{Implementation and Application of Functional Languages,
                17th INternational Workshop, IFL'05}},
  PUBLISHER = {Trinity College, Dublin},
  YEAR      = 2005,
  PAGES     = {Technical Report TCD-CS-2005-60},
  NOTE      = {NB: superseded by \cite{GrelSchoShafIFL05}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoShafIFL05,
  AUTHOR    = {C. Grelck and S.-B. Scholz and A. Shafarenko},
  EMAIL     = {},
  TITLE     = {{A Binding-Scope Analysis for Generic Programs on Arrays}},
  EDITOR    = {A. Butterfield},
  BOOKTITLE = {{Implementation and Application of Functional Languages,
                17th INternational Workshop, IFL'05}},
  SERIES    = {LNCS},
  VOLUME    = {???},
  PUBLISHER = {Springer},
  YEAR      = 2006,
  PAGES     = {},
  NOTE      = {to appear},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoTrojIFL03,
  AUTHOR    = {C. Grelck and S.-B. Scholz and K. Trojahner},
  EMAIL     = {},
  TITLE     = {{WITH-L}oop {S}calarization -- {M}erging {N}ested {A}rray {O}perations},
  EDITOR    = {G. Michaelson and P. Trinder},
  BOOKTITLE = {Proc. of the 15th International Workshop on
                  Implementation of Functional Languages (IFL'03),
                  Edinburgh, UK, Selected Papers},
  PUBLISHER = {Springer},
  SERIES    = {LNCS},
  VOLUME    = {3145},
  YEAR      = 2004,
  PAGES     = {118-134},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoTroj03,
  AUTHOR    = {C. Grelck and S.-B. Scholz and K. Trojahner},
  EMAIL     = {},
  TITLE     = {{WITH-L}oop {S}calarization -- {M}erging {N}ested {A}rray {O}perations},
  EDITOR    = {G. Michaelson and P. Trinder},
  BOOKTITLE = {Proc. of the 15th International Workshop on
                  Implementation of Functional Languages (IFL'03),
                  Edinburgh, UK},
  PUBLISHER = {Heriot-Watt University},
  SERIES    = {},
  VOLUME    = {},
  YEAR      = 2003,
  PAGES     = {63-78},
  NOTE      = {NB: superseded by \cite{GrelSchoTrojIFL03}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelScho95,
  AUTHOR    = {C. Grelck and S.B. Scholz},
  EMAIL     = {},
  TITLE     = {{C}lasses and {O}bjects as {B}asis for {I}/{O} in {S}{A}{C}},
  EDITOR    = {T. Johnsson},
  BOOKTITLE = {Proceedings of the Workshop on the Implementation of Functional
               Languages'95},
  PUBLISHER = {Chalmers University},
  YEAR      = 1995,
  PAGES     = {30-44},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/classes-objects-sac-bastad-95.dvi.gz},
  TOPICS    = {SAC,Uniqueness,on SAC}
  }

@INPROCEEDINGS{ GrelSchoAPL99,
  AUTHOR    = {C. Grelck and S.B. Scholz},
  EMAIL     = {},
  TITLE     = {{A}ccelerating {APL} {P}rograms with {SAC}},
  EDITOR    = {O. Lefevre},
  BOOKTITLE = {Proceedings of the Array Processing Language Conference 99},
  PUBLISHER = {{ACM}-{SIGAPL}},
  YEAR      = 1999,
  PAGES     = {50-57},
  NOTE      = {NB: superseded by \cite{GrelSchoAPLQQ99}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@ARTICLE{ GrelSchoAPLQQ99,
  AUTHOR   = {C. Grelck and S.B. Scholz},
  EMAIL    = {},
  TITLE    = {{A}ccelerating {APL} {P}rograms with {SAC}},
  JOURNAL  = {{SIGAPL} Quote Quad},
  YEAR     = 1999,
  VOLUME   = {29},
  NUMBER   = {2},
  PAGES    = {50-58},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {SAC,on SAC}
  }

@INCOLLECTION{ GrelSchoEUROPAR00,
  AUTHOR    = {C. Grelck and S.B. Scholz},
  EMAIL     = {},
  TITLE     = {{HPF} vs. {SAC} -- {A} {C}ase {S}tudy},
  EDITOR    = {A. Bode and T. Ludwig and R. Wism{\"u}ller},
  BOOKTITLE = {Euro-Par 2000 Parallel Processing},
  SERIES    = {LNCS},
  VOLUME    = {1900},
  PUBLISHER = {Springer},
  YEAR      = 2000,
  PAGES     = {620-624},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelScho02,
  AUTHOR    = {C. Grelck and S.B. Scholz},
  TITLE     = {Introducing generalized rank conjunctions to SaC or how to write
               and compile nested array operations},
  EDITOR    = {T. Arts and R. Pe{\~ n}a},
  BOOKTITLE = {Proceedings of the 14th International Workshop on Implementation
               of Functional Languages (IFL'02), Madrid, Spain},
  PUBLISHER = {Universidad Complutense de Madrid},
  SERIES    = {Technical Report},
  VOLUME    = {127-02},
  NUMBER    = {},
  YEAR      = 2002,
  PAGES     = {223-226},
  NOTE      = {NB: superseded by \cite{GrelSchoIFL02}},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sacbase/papers/.ps.gz},
  TOPICS    = {SAC,on SAC}
}

@INCOLLECTION{ GrelSchoPaCT03,
  AUTHOR    = {C. Grelck and S.B. Scholz},
  EMAIL     = {},
  TITLE     = {{T}owards an {E}fficient {F}unctional {I}mplementation of the {NAS} {B}enchmark {FT}},
  EDITOR    = {V. Malyshkin},
  BOOKTITLE = {Proceedings of the 7th International Conference on Parallel
               Computing Technologies (PaCT'03), Nizhni Novgorod, Russia},
  SERIES    = {LNCS},
  VOLUME    = {2763},
  PUBLISHER = {Springer},
  YEAR      = 2003,
  PAGES     = {230-235},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@ARTICLE{ GrelSchoPPL03,
  AUTHOR   = {C. Grelck and S.B. Scholz},
  EMAIL    = {},
  TITLE    = {{SaC} -- from {H}igh-{L}evel {P}rogramming with {A}rrays to {E}fficient
               {P}arallel {E}xecution},
  JOURNAL  = {Parallel Processing Letters},
  YEAR 	   = 2003,
  VOLUME   = {13},
  NUMBER   = {3},
  PAGES    = {401-412},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {SAC,on SAC}
  }

@INPROCEEDINGS{ GrelSchoHLPP03,
  AUTHOR    = {C. Grelck and S.B. Scholz},
  TITLE     = {{SaC} -- from {H}igh-{L}evel {P}rogramming with {A}rrays to {E}fficient 
               {P}arallel {E}xecution},
  EDITOR    = {F. Loulergue and G. Hains},
  BOOKTITLE = {Proceedings of the 2nd International Workshop on High-Level Parallel
               Programming and Applications (HLPP'03), Paris, France},
  PUBLISHER = {University of Paris Val de Marne},
  SERIES    = {},
  VOLUME    = {},
  NUMBER    = {},
  YEAR      = 2003,
  PAGES     = {113--125},
  NOTE      = {NB: superseded by \cite{GrelSchoPPL03}},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sacbase/papers/.ps.gz},
  TOPICS    = {SAC,on SAC}
}

@INPROCEEDINGS{ GrelSchoIFL02,
  AUTHOR    = {C. Grelck and S.B. Scholz},
  TITLE     = {{A}xis {C}ontrol in {SaC}},
  EDITOR    = {T. Arts and R. Pe{\~ n}a},
  BOOKTITLE = {Proceedings of the 14th International Workshop on Implementation
               of Functional Languages (IFL'02), Madrid, Spain, Selected Papers},
  PUBLISHER = {Springer-Verlag, Berlin, Germany},
  SERIES    = {LNCS},
  VOLUME    = {2670},
  NUMBER    = {},
  YEAR      = 2003,
  PAGES     = {182--198},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sacbase/papers/.ps.gz},
  TOPICS    = {SAC,on SAC}
}

@INPROCEEDINGS{ GrelckIFL00,
  AUTHOR    = {C. Grelck},
  TITLE     = {{Improving Cache Effectiveness through Array Data Layout in SAC}},
  EDITOR    = {M. Mohnen and P. Koopman},
  BOOKTITLE = {Proceedings of the 12th International Workshop on Implementation
               of Functional Languages (IFL'00), Aachen, Germany, selected papers},
  PUBLISHER = {Springer-Verlag, Berlin, Germany},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {2011},
  NUMBER    = {},
  YEAR      = 2001,
  PAGES     = {231--248},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sacbase/papers/array-data-layout-aachen-00.ps.gz},
  TOPICS    = {SAC,Array Data Layout}
}

@PHDTHESIS{ Grelck01,
  AUTHOR   = {C. Grelck},
  EMAIL    = {},
  TITLE    = {{I}mplicit {S}hared {M}emory {M}ultiprocessor {S}upport for the {F}unctional
              {P}rogramming {L}anguage {SAC} - {S}ingle {A}ssignment {C}},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 2001,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {SAC,Masterthesis/PhD}
}

@INPROCEEDINGS{ GrelckIFL01,
  AUTHOR    = {C. Grelck},
  TITLE     = {{Optimizations on Array Skeletons in a Shared Memory Environment}},
  EDITOR    = {T. Arts and M. Mohnen},
  BOOKTITLE = {Proceedings of the 13th International Workshop on Implementation
               of Functional Languages (IFL'01), Stockholm, Sweden, selected papers},
  PUBLISHER = {Springer-Verlag, Berlin, Germany},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {2312},
  NUMBER    = {},
  YEAR      = 2002,
  PAGES     = {36--54},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {http://www.isp.mu-luebeck.de/~grelck/publications/spmd-opt-stockholm-01.ps.gz},
  TOPICS    = {SAC,Synchronization}
}

@INPROCEEDINGS{ GrelckIPDPS02,
  AUTHOR    = {C. Grelck},
  TITLE     = {{Implementing the NAS Benchmark MG in SAC}},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 16th International Parallel and Distributed Processing Symposium
               (IPDPS'02), Fort Lauderdale, Florida, USA},
  PUBLISHER = {IEEE Computer Society Press},
  SERIES    = {},
  VOLUME    = {},
  NUMBER    = {},
  YEAR      = 2002,
  PAGES     = {},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {http://www.isp.mu-luebeck.de/~grelck/publications/sac-nas-mg-fortlauderdale-02.ps.gz},
  TOPICS    = {SAC,Benchmarks}
}

@INPROCEEDINGS{ GrelTrojIFL04,
  AUTHOR    = {C. Grelck and K. Trojahner},
  EMAIL     = {},
  TITLE     = {{I}mplicit {M}emory {M}anagement for {SaC}},
  EDITOR    = {C. Grelck and F. Huch},
  BOOKTITLE = {Implementation and Application of Functional Languages,
               16th International Workshop, IFL'04},
  PUBLISHER = {University of Kiel},
  YEAR      = 2004,
  PAGES     = {335-348},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC}
  }

@INCOLLECTION{ Groningen97,
  AUTHOR    = {J. van Groningen},
  EMAIL     = {},
  TITLE     = {{T}he {I}mplementation and {E}fficiency of {A}rrays in {C}lean 1.1},
  EDITOR    = {Werner Kluge},
  BOOKTITLE = {{Implementation of Functional Languages,
                8th International Workshop,
                Bad Godesberg, Germany, September 1996,
                Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {1268},
  PUBLISHER = {Springer},
  YEAR      = 1997,
  PAGES     = {105-124},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Clean,Dense Arrays}
  }

@BOOK{ GM94,
  AUTHOR    = {C. Gunter and J. Mitchell},
  EMAIL     = {},
  TITLE     = {{T}heoretical {A}spects of {O}bject-oriented {P}rogramming:
               {T}ypes, {S}emantics, and {L}anguage {D}esign},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {MIT Press},
  YEAR      = 1994,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {To Be Read,Types in General}
  }

@ARTICLE{ GKW85,
  AUTHOR   = {J.R. Gurd and C.C. Kirkham and I. Watson},
  EMAIL    = {},
  TITLE    = {{T}he {M}anchester {P}rototype {D}ataflow {C}omputer},
  JOURNAL  = cacm,
  YEAR     = 1985,
  VOLUME   = {28},
  NUMBER   = {1},
  PAGES    = {34-52},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  TOPICS   = {Exploiting Concurrency}
  }

% hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh

@BOOK{ Hackbusch93,
  AUTHOR    = {W. Hackbusch},
  EMAIL     = {},
  TITLE     = {{I}terative {L}\"osung gro\ss er schwachbesetzter {G}leichungssysteme},
  SERIES    = {Teubner Studienb\"ucher Mathematik},
  VOLUME    = {},
  PUBLISHER = {Teubner},
  YEAR      = 1993,
  NOTE      = {ISBN 3-519-12372-X},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {Algorithms}
  }

@BOOK{ Hackbusch85,
  AUTHOR    = {W. Hackbusch},
  EMAIL     = {},
  TITLE     = {{M}ulti-grid {M}ethods and {A}pplications},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Springer},
  YEAR      = 1985,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@BOOK{ HT82,
  AUTHOR    = {W. Hackbusch and U. Trottenberg},
  EMAIL     = {},
  TITLE     = {{M}ultigrid {M}ethods},
  SERIES    = {LNM},
  VOLUME    = {960},
  PUBLISHER = {Springer},
  YEAR      = 1982,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@ARTICLE{ Hackbusch85b,
  AUTHOR   = {W. Hackbusch},
  EMAIL    = {},
  TITLE    = {{S}chnelle {L}{\"o}ser fuer {P}artielle {D}ifferentialgleichungen},
  JOURNAL  = {Praktische Mathematik},
  YEAR 	   = 1985,
  VOLUME   = {27},
  NUMBER   = {8},
  PAGES    = {478-501},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Algorithms}
  }

@TECHREPORT{ HHL97,
  AUTHOR      = {J. Halen and P. Hammarlund and B. Lisper},
  EMAIL       = {},
  TITLE       = {{A}n {E}perimental {I}mplementation of a {H}ighly
                 {A}bstract {M}odel of {D}ata {P}arallel {P}rogramming},
  INSTITUTION = {Dept. of Teleinformatics, KTH},
  ADDRESS     = {Stockholm},
  TYPE        = {TRITA-IT},
  NUMBER      = {97:2},
  YEAR        = 1997,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {}
}

@BOOK{ HH89,
  AUTHOR    = {G. H{\"a}mmerlein and K.H. Hoffmann},
  EMAIL     = {},
  TITLE     = {{N}umerische {M}athematik},
  SERIES    = {Grundwissen Mathematik},
  VOLUME    = {7},
  PUBLISHER = {Springer},
  YEAR      = 1989,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@INCOLLECTION{ HB93,
  AUTHOR    = {M. Haines and W. B{\"o}hm},
  EMAIL     = {},
  TITLE     = {{T}ask {M}anagement, {V}irtual {S}hared {M}emory, and {M}ultithreading in a
               {D}istributed {M}emory {I}mplementation of {S}{I}{S}{A}{L}},
  EDITOR    = {A. Bode and others},
  BOOKTITLE = {PARLE '93},
  SERIES    = {LNCS},
  VOLUME    = {694},
  PUBLISHER = {Springer},
  YEAR      = 1993,
  PAGES     = {12-23},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {Explaines the basic concepts of the nCube implementation of
               SISAL from M. Haines & W. Boehm; discusses briefly some runtime
               effects:
                 1) singel-level distribution vs. multi-level distribution
                 2) (in connection with the VSM impl.) influences of Blocksizes/
                    Multithreading on the runtime (latency hiding).},
  TOPICS   = {Sisal}
  }

@INPROCEEDINGS{ HL93a,
  AUTHOR    = {P. Hammarlund and B. Lisper},
  EMAIL     = {},
  TITLE     = {{O}n the {R}elation between {F}unctional and {D}ata {P}arallel
               {P}rogramming {L}anguages},
  EDITOR    = {},
  BOOKTITLE = {FPCA '93},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {210-222},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Design,Functional Programming in General}
  }

@ARTICLE{ HSB97,
  AUTHOR   = {J. Hammes and S. Sur and W. B{\"o}hm},
  EMAIL    = {},
  TITLE    = {{On the effectiveness of functional language features: NAS benchmark FT}},
  JOURNAL  = {Journal of Functional Programming},
  YEAR     = 1997,
  VOLUME   = {7},
  NUMBER   = {1},
  PAGES    = {103-123},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Implmentation,Benchmarking,Dense Arrays,Haskell,Id}
  }

@MANUAL{ HAB95,
  AUTHOR       = {K. Hammond and L. Augustsson and B. Boutel and others},
  EMAIL        = {},
  TITLE        = {{R}eport on the {P}rogramming {L}anguage {H}askell: {A} {N}on-strict,
                  {P}urely {F}unctional {L}anguage},
  ORGANIZATION = {University of Glasgow},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1995,
  NOTE         = {Version 1.3},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {Haskell,Language Manuals}
}

@MANUAL{ HammPete+97,
  AUTHOR       = {K. Hammond and J. Peterson and others},
  EMAIL        = {},
  TITLE        = {{R}eport on the {P}rogramming {L}anguage {H}askell: {A} {N}on-strict,
                  {P}urely {F}unctional {L}anguage},
  ORGANIZATION = {Yale University},
  ADDRESS      = {New Haven, Connecticut},
  EDITION      = {},
  YEAR         = 1997,
  NOTE         = {Version 1.4},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {Haskell,Language Manuals}
}

@INCOLLECTION{ HR86,
  AUTHOR    = {P.G. Harrison and M.J. Reeve},
  EMAIL     = {},
  TITLE     = {{T}he {P}arallel {G}raph {R}eduction {M}achine {A}lice},
  EDITOR    = {J.H. Fasel and R.M. Keller},
  BOOKTITLE = {Graph Reduction, Santa F$\acute{e}$},
  SERIES    = {LNCS},
  VOLUME    = {279},
  PUBLISHER = {Springer},
  YEAR      = 1986,
  PAGES     = {94-113},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS   = {Exploiting Concurrency}
  }

@INPROCEEDINGS{ HL93,
  AUTHOR    = {P.H. Hartel and K.G. Langendoen},
  EMAIL     = {},
  TITLE     = {{B}enchmarking {I}mplementations of {L}azy {F}unctional {L}anguages},
  EDITOR    = {},
  BOOKTITLE = {FPCA '93},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {341-349},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Implmentation,Benchmarking}
  }

@BOOK{ HM97,
  AUTHOR    = {P. Hartel and H. Muller},
  EMAIL     = {},
  TITLE     = {{F}unctional {C}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1997,
  NOTE      = {ISBN 0-201-41950-5},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@MASTERSTHESIS{ Held94,
  AUTHOR   = {A. Held},
  EMAIL    = {},
  TITLE    = {{E}in {S}cheduler f{\"u}r ein verteiltes {R}eduktionssystem},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1994,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {KiR,Masterthesis/PhD}
}

@BOOK{ HennPatt95,
  AUTHOR    = {J. L. Hennessy and D. A. Patterson},
  TITLE     = {Computer Architecture: A Quantitative Approach, second edition},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Morgan Kaufmann, San Francisco, California, USA},
  YEAR      = 1995,
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Hardware}
}

@INPROCEEDINGS{ HerhScho04,
  AUTHOR    = {S. Herhut and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{T}owards {F}ully {C}ontrolled {O}verloading {A}cross
               {M}odule {B}oundaries},
  EDITOR    = {c. Grelck and F. Huch},
  BOOKTITLE = {Proceedings of the 16th International Workshop on the
               Implementation and Application of Functional Languages (IFL'04),
               L\"ubeck, Germany},
  PUBLISHER = {University of Kiel},
  YEAR      = 2004,
  PAGES     = {395-408},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@ARTICLE{ HCAA93,
  AUTHOR   = {J. Hicks and D. Chiou and B.S. Ang and Arvind},
  EMAIL    = {},
  TITLE    = {{P}erformance {S}tudies of {I}d on the {M}onsoon {D}ataflow {S}ystem},
  JOURNAL  = {Journal of Parallel and Distributed Computing},
  YEAR 	   = 1993,
  VOLUME   = {18},
  NUMBER   = {3},
  PAGES    = {273-300},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Exploiting Concurrency,Id}
  }

@BOOK{ Hinze00,
  AUTHOR    = {R. Hinze},
  EMAIL     = {},
  TITLE     = {{G}eneric {P}rograms and {P}roofs},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Habilitation thesis, Universit\"at Bonn},
  YEAR      = 2000,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Haskell}
  }

@INPROCEEDINGS{ HinzJone00,
  AUTHOR    = { R. Hinze and S. {Peyton Jones}},
  EMAIL     = {},
  TITLE     = {Derivable Type Classes},
  EDITOR    = {G. Hutton},
  BOOKTITLE = {Proceedings of the 4th Haskell Workshop},
  PUBLISHER = {},
  YEAR      = 2000,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-bonn.de/~ralf/Derive.ps.gz},
  TOPICS    = {Type Classes,Haskell}
  }

@BOOK{ Henderson80,
  AUTHOR    = {P. Henderson},
  EMAIL     = {},
  TITLE     = {{F}unctional {P}rogramming},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice Hall International},
  YEAR      = 1980,
  NOTE      = {ISBN 0-13-331579-7},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@INPROCEEDINGS{ HURK98,
  AUTHOR    = {W. Hielscher and L. Urbschat and C. Reinke and W. Kluge},
  EMAIL     = {},
  TITLE     = {{O}n {M}odelling {T}rain {T}raffic in a {M}odel {T}rain {S}ystem},
  EDITOR    = {K. Jensen},
  BOOKTITLE = {Proceedings Workshop on Practical Use of Coloured Petri-Nets and
               Design / CPN},
  PUBLISHER = {University of Aarhus, Denmark},
  YEAR      = 1998,
  PAGES     = {83-101},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Petri Nets}
  }

@MANUAL{ HPF93,
  AUTHOR       = {{High Performance Fortran Forum}},
  EMAIL        = {},
  TITLE        = {{H}igh {P}erformance {F}ortran language specification {V}1.1},
  ORGANIZATION = {},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1994,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {ftp://titan.cs.rice.edu/public/HPFF/draft/hpf-v11.dvi.gz},
  TOPICS       = {HPF,Language Manuals}
}

@BOOK{ HS86,
  AUTHOR    = {J.R. Hindley and J.P. Seldin},
  EMAIL     = {},
  TITLE     = {{I}ntroduction to {C}ombinators and {L}ambda {C}alculus},
  SERIES    = {London Mathematical Society Student Texts},
  VOLUME    = {1},
  PUBLISHER = {Cambridge University Press},
  YEAR      = 1986,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {LAMBDA-Calculus}
  }

@ARTICLE{ HRE95,
  AUTHOR   = {W. de Hoon and L. Rutten and M. van Eekelen},
  EMAIL    = {},
  TITLE    = {{I}mplementing a {F}unctional {S}preadsheat in {C}lean},
  JOURNAL  = {Journal of Functional Programming},
  YEAR 	   = 1995,
  VOLUME   = {5},
  NUMBER   = {3},
  PAGES    = {383-414},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Implmentation}
  }

@INPROCEEDINGS{ HuIwas97,
  AUTHOR    = {Z. Hu and H. Iwasaki},
  EMAIL     = {},
  TITLE     = {{T}upling {C}alculation {E}liminates {M}ultiple {D}ata {T}raversals},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 2nd {ICFP}},
  PUBLISHER = {{ACM}-Press},
  YEAR      = 1997,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Tupling}
  }

@ARTICLE{ Hudak89,
  AUTHOR   = {P. Hudak},
  EMAIL    = {},
  TITLE    = {{C}onception, {E}volution, and {A}pplication of {F}unctional 
              {P}rogramming {L}anguages},
  JOURNAL  = {{ACM} Computing Surveys},
  YEAR 	   = 1989,
  VOLUME   = {21},
  NUMBER   = {3},
  PAGES    = {359-411},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Functional Programming in General}
  }

@TECHREPORT{ Hud92,
  AUTHOR      = {P. Hudak},
  EMAIL       = {},
  TITLE       = {{M}utable {A}bstract {D}atatypes -- or --
                 {H}ow to {H}ave {Y}our {S}tate and {M}unge {I}t {T}oo},
  INSTITUTION = {Yale University},
  ADDRESS     = {},
  TYPE        = {DCS},
  NUMBER      = {RR-914},
  YEAR        = 1992,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {I/O Surveys}
}

@INPROCEEDINGS{ HB85,
  AUTHOR    = {P. Hudak and A. Bloss},
  EMAIL     = {},
  TITLE     = {{T}he {A}ggregate {U}pdate {P}roblem in {F}unctional {P}rogramming
               {S}ystems},
  EDITOR    = {},
  BOOKTITLE = {POPL '85},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1985,
  PAGES     = {300-313},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Array Allocation Optimizations,Dense Arrays}
  }

@MANUAL{ HPJW92,
  AUTHOR       = {P. Hudak and S. {Peyton Jones} and P. Wadler and others},
  EMAIL        = {},
  TITLE        = {{R}eport on the {P}rogramming {L}anguage {H}askell},
  ORGANIZATION = {Yale University},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1992,
  NOTE         = {Version 1.2},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  TOPICS      = {Haskell,Language Manuals}
}

% formerly HS89
@TECHREPORT{ HudaSund89,
  AUTHOR      = {P. Hudak and R.S. Sundaresh},
  EMAIL       = {},
  TITLE       = {{O}n the {E}xpressiveness of {P}urely {F}unctional {I}/{O} {S}ystems},
  INSTITUTION = {Yale University},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1989,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {This paper deals with I/O and nondeterminism. Three kinds
                 of I/O in fp are introduced: Streams (Dialoges), CPS and
                 so called systems, where an (input-) state of the system
                 is mapped into a list of (output-) states, each of which
                 consists of a response and a new state.
                 After a brief (!) discussion of nondeterminism and fp an
                 extended description of I/O in haskell is presented.
                 Nondeterminism is proposed as "gue with which programs
                 are put together", leaving the programms themselves referentially
                 transparent.} ,
  sourceURL   = {http://www.informatik.uni-kiel.de/~cr/papers/glasgow/io_tr.ps.gz},
  TOPICS    ={I/O Surveys}
}

@INPROCEEDINGS{ HY86,
  AUTHOR    = {P. Hudak and M.F. Young},
  EMAIL     = {},
  TITLE     = {{H}igher {O}rder {S}trictness {A}nalysis in {U}ntyped {L}ambda {C}alculus},
  EDITOR    = {},
  BOOKTITLE = {POPL '86, St. Petersburg, Florida},
  PUBLISHER = {{ACM}},
  YEAR      = 1986,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Strictness Analysis}
  }

@ARTICLE{ Hughes89,
  AUTHOR   = {J. Hughes},
  EMAIL    = {},
  TITLE    = {{W}hy {F}unctional {P}rogramming {M}atters},
  JOURNAL  = {The Computer Journal},
  YEAR 	   = 1989,
  VOLUME   = {32},
  NUMBER   = {2},
  PAGES    = {98-107},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Functional Programming in General}
  }

@INPROCEEDINGS{ HughPareSabr96,
  AUTHOR    = {J. Hughes and L. Pareto and A. Sabry},
  EMAIL     = {},
  TITLE     = {{P}roving the {C}orrectness of {R}eactive {S}ystems {U}sing {S}ized {T}ypes},
  EDITOR    = {},
  BOOKTITLE = {POPL '96},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1996,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Sized Types}
  }

@ARTICLE{ Hui95,
  AUTHOR   = {R. Hui},
  EMAIL    = {},
  TITLE    = {{R}ank and {U}niformity},
  JOURNAL  = {APL Quote Quad},
  YEAR 	   = 1995,
  VOLUME   = {25},
  NUMBER   = {4},
  PAGES    = {83-90},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {}
  }

@INPROCEEDINGS{ HiraSekeShim91,
  AUTHOR    = {K. Hiraki and S. Sekeguci and T. Shimada},
  EMAIL     = {},
  TITLE     = {{S}tatus {R}eport on {S}{I}{G}{M}{A}-1: a {D}ataflow {S}upercomputer},
  EDITOR    = {J.L. Gaudiot and L. Bic},
  BOOKTITLE = {Advanced Topics in Data-Flow Computing},
  PUBLISHER = {Prentice Hall},
  YEAR      = {1991},
  PAGES     = {},
  NOTE      = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS   = {Exploiting Concurrency}
  }

@TECHREPORT{ HHJW92,
  AUTHOR      = {C. Hall and K. Hammond and S. {Peyton Jones} and P. Wadler},
  EMAIL       = {},
  TITLE       = {{T}ype {C}lasses in {H}askell},
  INSTITUTION = {University of Glasgow},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1992,
  NOTE        = {},
  FTP         = {ftp.dcs.glasgow.ac.uk},
  KEYWORDS    = {},
  CONTENTS    = {Gives a good introduction into the typing system of haskell; kind
                 of detailled abstract of the type inference used for type classes
                 in haskell.} ,
  TOPICS   = {Haskell,Type Classes}
}

% iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii

@TECHREPORT{ IsoAPL84,
  AUTHOR      = {{International Standards Organization}},
  EMAIL       = {},
  TITLE       = {{I}nternational {S}tandard for {P}rogramming {L}anguage {APL}},
  INSTITUTION = {ISO},
  ADDRESS     = {},
  TYPE        = {ISO N8485},
  NUMBER      = {},
  YEAR        = 1984,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {},
  sourceURL   = {},
  TOPICS      = {APL}
}

@TECHREPORT{ IsoAPL93,
  AUTHOR      = {{International Standards Organization}},
  TITLE       = {{P}rogramming {L}anguage {APL}, {E}xtended},
  INSTITUTION = {ISO},
  ADDRESS     = {},
  TYPE        = {{ISO N93.03}},
  NUMBER      = {},
  YEAR        = 1993,
  CONTENTS    = {},
  sourceURL   = {},
  TOPICS      = {APL}
}

@BOOK{ Iverson62,
  AUTHOR    = {K.E. Iverson},
  EMAIL     = {},
  TITLE     = {{A} {P}rogramming {L}anguage},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Wiley, New York},
  YEAR      = 1962,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {APL,Language Manuals}
  }

% jjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj

@INPROCEEDINGS{ JJ97,
  AUTHOR    = {P. Jansson and J. Jeuring},
  EMAIL     = {},
  TITLE     = {{P}oly{P} -- a {P}olytipic {P}rogramming {L}anguage {E}xtension},
  EDITOR    = {},
  BOOKTITLE = {POPL'97},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1997,
  PAGES     = {470-482},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www/cs/chalmers.se/~patrikj/},
  TOPICS    = {Language Design,Functional Programming in General}
  }

@UNPUBLISHED{ Jay98,
  AUTHOR   = {C.B. Jay},
  EMAIL    = {},
  TITLE    = {{P}oly-dimensional regular arrays in {FISh}},
  YEAR     = 1998,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Fish}
}

@ARTICLE{ Jay99,
  AUTHOR   = {C.B. Jay},
  EMAIL    = {},
  TITLE    = {{P}rogramming in {FISh}},
  JOURNAL  = {International Journal on Software Tools for Technology Transfer},
  YEAR 	   = 1999,
  VOLUME   = {2},
  NUMBER   = {},
  PAGES    = {307--315},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {}
  }

@INPROCEEDINGS{ JMB98,
  AUTHOR    = {C.B. Jay and E. Moggi and G. Bell{\`e}},
  EMAIL     = {},
  TITLE     = {{F}unctors, {T}ypes and {S}hapes},
  EDITOR    = {R. Backhouse and T. Sheard},
  BOOKTITLE = {Workshop on Generic Programming: Marstrand, Sweden, 
                   18th June, 1998},
  PUBLISHER = {Chalmers University of Technology},
  YEAR      = 1998,
  PAGES     = {21-4},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Fish}
  }

@INCOLLECTION{ JaySteck98,
  AUTHOR    = {C.B. Jay and P.A. Steckler},
  EMAIL     = {},
  TITLE     = {{T}he {F}unctional {I}mperative: {S}hape!},
  EDITOR    = {Chris Hankin},
  BOOKTITLE = {Programming languages and systems: 
                   7th European Symposium on Programming, {ESOP'98}
                   Held as part of the joint european conferences on 
                   theory and practice of software, {ETAPS'98} 
                   Lisbon, Portugal, March/April 1998},
  SERIES    = {LNCS},
  VOLUME    = {1381},
  PUBLISHER = {Springer-Verlag},
  YEAR      = 1998,
  PAGES     = {139--53},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Fish}
  }

@PHDTHESIS{ Johnsson87,
  AUTHOR   = {T. Johnsson},
  EMAIL    = {},
  TITLE    = {{C}ompiling {L}azy {F}unctional {L}anguages},
  SCHOOL   = {Chalmers University of Technologie},
  ADDRESS  = {G{\"o}teborg},
  YEAR     = 1987,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Compilation Schemes}
}

@BOOK{ Jones85,
  AUTHOR    = {O. Jones},
  EMAIL     = {},
  TITLE     = {Introduction to the X Window System},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice Hall},
  YEAR      = 1985,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {X-Windows}
  }

@INPROCEEDINGS{ Jones93,
  AUTHOR    = {M.P. Jones},
  EMAIL     = {},
  TITLE     = {{A} system of constructor classes: overloading and implicit
               higher-order polymorphism},
  EDITOR    = {},
  BOOKTITLE = {FPCA '93, Copenhagen},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Type Classes}
  }

@INPROCEEDINGS{ Jones94,
  AUTHOR    = {M.P. Jones},
  EMAIL     = {},
  TITLE     = {{D}ictionary-free {O}verloading by {P}artial {E}valuation},
  EDITOR    = {},
  BOOKTITLE = {{ACM} Workshop on Partial Evaluation and Semantics-Based Program Manipulation},
  PUBLISHER = {{ACM}-Press},
  YEAR      = 1994,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"http://www.cse.ogi.edu/~mpj/pubs/pepm94.dvi.gz"},
  TOPICS    = {Type Classes}
  }

@TECHREPORT{ JD93,
  AUTHOR      = {M.P. Jones and L. Duponcheel},
  EMAIL       = {},
  TITLE       = {{C}omposing monads},
  INSTITUTION = {Yale University},
  ADDRESS     = {New Haven, CT, USA},
  TYPE        = {YALEU/DCS/RR},
  NUMBER      = {1004},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Monads}
}

@BOOK{ JoneGomaSest93,
  AUTHOR    = {N.D. Jones and C.K. Gomard and P. Sestoft},
  EMAIL     = {},
  TITLE     = {{P}artial {E}valuation and {A}utomatic {P}rogram {G}eneration},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice-Hall},
  YEAR      = 1993,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@ARTICLE{ JenkGlagMcCros86,
  AUTHOR   = {M.A. Jenkins and J.I. Glagow and C. McCrosky},
  EMAIL    = {},
  TITLE    = {{P}rogramming {S}tyles in {N}ial},
  JOURNAL  = {IEEE Software},
  YEAR 	   = 1986,
  VOLUME   = {?},
  NUMBER   = {1},
  PAGES    = {?},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {QNial}
  }

@ARTICLE{ JenkGlag89,
  AUTHOR   = {M.A. Jenkins and J.I. Glagow},
  EMAIL    = {},
  TITLE    = {{A} {L}ogical {B}asis for {N}ested {A}rray {D}ata {S}tructures},
  JOURNAL  = {Computer Languages Journal},
  YEAR 	   = 1989,
  VOLUME   = {14},
  NUMBER   = {1},
  PAGES    = {35-51},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Dense Arrays,QNial,Language Design}
  }

% formerly JJ93
@MANUAL{ JenkJenk93,
  AUTHOR       = {M.A. Jenkins and W.H. Jenkins},
  EMAIL        = {},
  TITLE        = {{T}he {Q}'{N}ial {L}anguage and {R}eference {M}anuals},
  ORGANIZATION = {Nial Systems Ltd.},
  ADDRESS      = {Ottawa, Canada},
  EDITION      = {},
  YEAR         = 1993,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  TOPICS      = {Language Manuals,QNial}
}

@UNPUBLISHED{ Jenkins98,
  AUTHOR   = {M.A. Jenkins},
  EMAIL    = {},
  TITLE    = {{A}ccelerating {Q'N}ial},
  YEAR     = 1998,
  NOTE     = {presented at the 1998 APL Futures Workshop},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {QNial}
}

@TECHREPORT{ JenkFals99,
  AUTHOR      = {M.A. Jenkins and P. Falster},
  EMAIL       = {},
  TITLE       = {{A}rray {T}heory and {NIAL}},
  INSTITUTION = {Technical University of Denmark, ELTEK},
  ADDRESS     = {Lyngby, Denmark},
  TYPE        = {},
  NUMBER      = {157},
  YEAR        = 1999,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {QNial}
}

@UNPUBLISHED{  Jenkins99,
  AUTHOR   = {M.A. Jenkins},
  EMAIL    = {},
  TITLE    = {{C}hoices in {A}rray {T}heory},
  YEAR     = 1999,
  NOTE     = {in preparation},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {QNial}
}

@BOOK{ JensWirt74,
  AUTHOR    = {K. Jensen and N. Wirth},
  EMAIL     = {},
  TITLE     = {{P}ascal {U}ser {M}anual and {R}eport},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Springer},
  YEAR      = 1974,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {Pascal,Manual},
  CONTENTS  = {Standard book on the programming language Pascal.},
  TOPICS    = {Language Manuals}
  }

% kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk

@TECHREPORT{ KadeKochSelb92,
  AUTHOR      = {F. Kaden and I. Koch and J. Selbig},
  EMAIL       = {},
  TITLE       = {{H}euristische {A}nalyse und {V}orhersage von {P}roteinstrukturen},
  INSTITUTION = {GMD},
  ADDRESS     = {Sankt Augustin},
  TYPE        = {GMD Arbeitspapiere},
  NUMBER      = {656},
  YEAR        = 1992,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Algorithms}
}

@TECHREPORT{ KSR92,
  AUTHOR      = {Kendall Square Research},
  EMAIL       = {},
  TITLE       = {{KSR}-1 {T}echnical {S}ummary},
  INSTITUTION = {Kendall Square Research},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1992,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {KSR}
}

@TECHREPORT{ Kennaway84,
  AUTHOR      = {J.R. Kennaway},
  EMAIL       = {},
  TITLE       = {{A}n {O}utline of {S}ome {R}esults of {S}taples on {O}ptimal
                 {R}eduction {O}rders in {R}eplacement {S}ystems},
  INSTITUTION = {University of East Anglia},
  ADDRESS     = {Norwich},
  TYPE        = {CSA},
  NUMBER      = {19},
  YEAR        = 1984,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Compilation Schemes}
}

@BOOK{ KR90,
  AUTHOR    = {B.W. Kernighan and D.M. Ritchie},
  EMAIL     = {},
  TITLE     = {{P}rogrammieren in {C}},
  SERIES    = {PC professionell},
  VOLUME    = {},
  PUBLISHER = {Hanser},
  YEAR      = 1990,
  NOTE      = {ISBN 3-446-15497-3},
  FTP       = {},
  KEYWORDS  = {C,Manual},
  CONTENTS  = {Standard book on the programming language C.},
  TOPICS    = {Language Manuals,C}
  }

@TECHREPORT{ KS95,
  AUTHOR      = {C.W. Kessler and H. Seidl},
  EMAIL       = {},
  TITLE       = {{I}ntegrating {S}ynchronous and {A}synchronous {P}aradigms: the {F}ork95 
                 {P}arallel {P}rogramming {L}anguage},
  INSTITUTION = {University of Trier},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {95-05},
  YEAR        = 1995,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {http://www.informatik.uni-trier.de/~kessler/fork95/mppmcrc.ps},
  TOPICS      = {Language Manuals}
}

@INPROCEEDINGS{ KW92,
  AUTHOR    = {D.J. King and P. Wadler},
  EMAIL     = {},
  TITLE     = {{C}ombining {M}onads},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the Fifth Annual Glasgow Workshop on Functional Programming},
  PUBLISHER = {Springer Verlag},
  YEAR      = 1992,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Monads}
  }

@ARTICLE{ Kluge83,
  AUTHOR   = {W.E. Kluge},
  EMAIL    = {},
  TITLE    = {{C}ooperating {R}eduction {M}achines},
  JOURNAL  = ieeetc,
  YEAR     = 1983,
  VOLUME   = {C-32},
  NUMBER   = {},
  PAGES    = {1002-1012},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {Outline of the ticket concept.},
  TOPICS    = {KiR}
  }

@BOOK{ Kluge92,
  AUTHOR    = {W.E. Kluge},
  EMAIL     = {},
  TITLE     = {{T}he {O}rganization of {R}eduction, {D}ata {F}low and
               {C}ontrol {F}low {S}ystems},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {MIT Press},
  YEAR      = 1992,
  NOTE      = {ISBN 0-262-61081-7},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@TECHREPORT{ Kluge94,
  AUTHOR      = {W. Kluge},
  EMAIL       = {},
  TITLE       = {{A} {U}ser's {G}uide for the {R}eduction {S}ystem $\pi$-{\sc red}},
  INSTITUTION = {University of Kiel},
  ADDRESS     = {},
  TYPE        = {Internal Report},
  NUMBER      = {9419},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {http://www.informatik.uni-kiel.de/inf/Kluge/KiR/manna.ps.gz},
  TOPICS      = {Language Manuals,KiR}
}
@INPROCEEDINGS{ Kluge96,
  AUTHOR    = {W. Kluge},
  EMAIL     = {},
  TITLE     = {{A} {L}azy {V}ariant of the {R}eduction {S}ystem $\pi$-{\sc red}},
  EDITOR    = {W. Kluge},
  BOOKTITLE = {Proceedings of the 8th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {Christian-Albrechts-Universit{\"a}t, Kiel},
  YEAR      = 1996,
  PAGES     = {227-242},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {KiR}
  }

@PROCEEDINGS{ Kluge96b,
  EDITOR    = {W. Kluge},
  TITLE     = {Proceedings of the 8th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = ifi,
  YEAR      = 1996,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@PROCEEDINGS{ Kluge97,
  EDITOR    = {W. Kluge},
  TITLE     = {{Implementation of Functional Languages,
                8th International Workshop,
                Bad Godesberg, Germany, September 1996,
                Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {1268},
  PUBLISHER = {Springer},
  YEAR      = 1997,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@INPROCEEDINGS{ Kluge97b,
  AUTHOR    = {W. Kluge},
  EMAIL     = {},
  TITLE     = {{O}n {P}attern {M}atching with {W}ild {C}ards of {V}ariable {A}rities},
  EDITOR    = {C. Clack and T. Davie and K. Hammond},
  BOOKTITLE = {Proceedings of the 9th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {University of St. Andrews},
  YEAR      = 1997,
  PAGES     = {309-326},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {KiR}
  }

@ARTICLE{ Kluge98,
  AUTHOR   = {W. Kluge},
  EMAIL    = {},
  TITLE    = {{T}he {K}icking {H}orse {P}ass {P}roblem},
  JOURNAL  = {Petri-Net News Letters},
  YEAR 	   = 1998,
  VOLUME   = {54},
  NUMBER   = {},
  PAGES    = {3-15},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Petri Nets}
  }

% formerly KRS95
@INCOLLECTION{ KlugRathSchoFPLE95,
  AUTHOR    = {W. E. Kluge and C. Rathsack and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{U}sing $\pi$-{\sc red} as a {T}eaching {T}ool for {F}unctional {P}rogramming
               and {P}rogram {E}xecution},
  EDITOR    = {P. H. Hartel and M. J. Plasmeijer},
  BOOKTITLE = {FPLE'95},
  SERIES    = {LNCS},
  VOLUME    = {1022},
  PUBLISHER = {Springer},
  YEAR      = 1995,
  PAGES     = {231-250},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/teaching-tool-fple95.ps.gz},
  TOPICS    = {KiR,on KiR}
  }

@INPROCEEDINGS{ KRS94,
  AUTHOR    = {J. Knoop and O. R{\"u}thing and B. Steffen},
  EMAIL     = {},
  TITLE     = {{Partial Dead Code Elimination}},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM} {SIGPLAN} Conference on Programming Language Design 
               and Implementation (PLDI'94)},
  PUBLISHER = {{ACM} {SIGPLAN} Notices No.29(6)},
  YEAR      = 1994,
  PAGES     = {147-158},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~or/pde-final.ps.gz},
  TOPICS    = {Dead Code Elimination}
  }

@BOOK{ Kogge91,
  AUTHOR    = {M. Kogge},
  EMAIL     = {},
  TITLE     = {{T}he {A}rchitecture of {S}ymbolic {C}omputers},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {McGraw-Hill},
  YEAR      = 1991,
  NOTE      = {ISBN 0-07-035596-7},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@INPROCEEDINGS{ KMIA96,
  AUTHOR    = {S. Kusakabe and T. Morimoto and K. Inenaga and M. Amamiya},
  EMAIL     = {},
  TITLE     = {{T}owards {P}ractical {I}mplementation of a 
               {D}ataflow-{B}ased {F}unctional {L}anguage on
               {S}tock {M}achines},
  EDITOR    = {W. Kluge},
  BOOKTITLE = {Proceedings of the 8th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {Christian-Albrechts-Universit{\"a}t, Kiel},
  YEAR      = 1996,
  PAGES     = {243-260},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Dense Arrays}
  }

@PHDTHESIS{ Kreye03,
  AUTHOR   = {D.J. Kreye},
  EMAIL    = {},
  TITLE    = {{A} {C}ompiler {B}ackend for {G}eneric {P}rogramming with {A}rrays},
  SCHOOL   = IFI,
  ADDRESS  = {},
  YEAR     = 2003,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {SAC,Dense Arrays,Masterthesis/PhD}
}

@MASTERSTHESIS{ Kreye98,
  AUTHOR    = {D.J. Kreye},
  TITLE     = {{Z}ur {G}enerierung von effizient ausf{\"u}hrbarem {C}ode aus
               {SAC}-spezifischen {S}chleifenkonstrukten},
  SCHOOL    = IFI,
  ADDRESS   = {},
  YEAR      = {1998},
  NOTE      = {},
  CONTENTS  = {},
  URL       = {http://www.informatik.uni-kiel.de/~dkr/diploma_thesis.ps.gz},
  TOPICS    = {SAC,Dense Arrays,Masterthesis/PhD}
}

@MANUAL{ KX98,
  AUTHOR       = {{Kx Systems}},
  EMAIL        = {},
  TITLE        = {{K} {R}eference {M}anual {V}ersion 2.0},
  ORGANIZATION = {{Kx Systems}},
  ADDRESS      = {Miami, Florida},
  EDITION      = {},
  YEAR         = 1998,
  NOTE         = {$<$http://www.kx.com/technical/documents/kreflite.pdf$>$},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {http://www.kx.com/technical/documents/kreflite.pdf},
  TOPICS       = {K,Language Manuals}
}

% llllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll

@INPROCEEDINGS{ LamRothWolf91,
  AUTHOR    = {M.S. Lam and E.E. Rothberg and M.E. Wolf},
  EMAIL     = {},
  TITLE     = {{T}he {C}ache {P}erformance of {B}locked {A}lgorithms},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the Fourth International Conference on
               Architectural Support for Programming Languages and
               Operating Systems, Palo Alto, California},
  PUBLISHER = {},
  YEAR      = 1991,
  PAGES     = {63--74},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {Very good introduction to blocking/tiling with respect
               to its impact on caches and locality},
  sourceURL = {http://suif.stanford.edu/papers/lam91.ps},
  TOPICS    = {Loop Transformation,Cache Utilization,SUIF},
  }

@INPROCEEDINGS{ LamWils92,
  AUTHOR    = {M.S. Lam and R.P. Wilson},
  EMAIL     = {},
  TITLE     = {Limits of Control Flow on Parallelism},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 19th Annual International Symposium on
           Computer Architecture},
  PUBLISHER = {},
  YEAR      = 1992,
  PAGES     = {46--57},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {This paper shows how control flow instructions like
                  branches and jumps, i.e. conditionals and loops,
                  limit instruction level parallelism},
  sourceURL = {http://suif.stanford.edu/papers/lam92.ps},
  TOPICS    = {Exploiting Concurrency,SUIF},
  }

@BOOK{ LS86,
  AUTHOR    = {J. Lambek and P. Scott},
  EMAIL     = {},
  TITLE     = {{I}ntroduction to {H}igher {O}rder {C}ategorial {L}ogic},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Cambridge University Press},
  YEAR      = 1986,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Category Theorie}
  }

@ARTICLE{ Landin64,
  AUTHOR   = {P.J. Landin},
  EMAIL    = {},
  TITLE    = {{T}he {M}echanical {E}valuation of {E}xpressions},
  JOURNAL  = {Computer Journal},
  YEAR 	   = 1964,
  VOLUME   = {6},
  NUMBER   = {4},
  PAGES    = {},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Compilation Schemes}
  }

@INPROCEEDINGS{ Launchbury93,
  AUTHOR    = {J. Launchbury},
  EMAIL     = {},
  TITLE     = {{L}azy {I}mperative {P}rogramming},
  EDITOR    = {},
  BOOKTITLE = {{ACM} Sigplan Workshop on State in Programming Languages},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {46-56},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.cse.ogi.edu/~jl/Papers/lazyImp.ps},
  TOPICS    = {}
  }

@INPROCEEDINGS{ LPJ94,
  AUTHOR    = {J. Launchbury and S. {Peyton Jones}},
  EMAIL     = {},
  TITLE     = {{L}azy {F}unctional {S}tate {T}hreads},
  EDITOR    = {},
  BOOKTITLE = {Programming Languages Design and Implementation},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1994,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/papers/lazy-functional-state-threads.ps.Z},
  TOPICS    = {Dense Arrays,Monads,Haskell}
  }

@BOOK{ LMKKQ89,
  AUTHOR    = {S.J. Leffler and M.K. Mc Kusik and M.J. Karels and J.S. Quarterman},
  EMAIL     = {},
  TITLE     = {4.3 {B}{S}{D} {U}{N}{I}{X} {O}peration {S}ystem},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1989,
  NOTE      = {ISBN 0-201-06196-1},
  FTP       = {},
  KEYWORDS  = {UNIX,OS},
  CONTENTS  = {Das Buch stellt ausf\"uhrlich das 4.3 BSD Unix der Berkeley University
               vor. Die Internas dieser weitverbreiteten Unix-Variante werden sehr
               umfassend dargestellt.},
  TOPICS    = {Operating Systems}
  }

@UNPUBLISHED{ Leroy97,
  AUTHOR   = {X. Leroy},
  EMAIL    = {},
  TITLE    = {{T}he {C}aml {L}ight system, release 0.74, documentation and user's guide},
  YEAR     = 1997,
  NOTE     = {INRIA, $<$http://caml.inria.fr/man-caml/index.html$>$},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {CAML}
}

@UNPUBLISHED{ LeroDoliGarr+01,
  AUTHOR   = {X. Leroy and D. Doligez and J. Garrigue and D. Remy and J. Vouillon},
  EMAIL    = {},
  TITLE    = {{T}he {O}bjective {C}aml system, release 3.02, {D}ocumentation and user's manual},
  YEAR     = 2001,
  NOTE     = {INRIA, $<$http://caml.inria.fr/ocaml/htmlman/index.html$>$},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {CAML}
}

@INPROCEEDINGS{ LW91,
  AUTHOR    = {X. Leroy and P. Weis},
  EMAIL     = {},
  TITLE     = {Polymorphic type inference and assignment},
  EDITOR    = {},
  BOOKTITLE = {POPL '91},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1991,
  PAGES     = {291-302},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {update in-place},
  CONTENTS  = {},
  sourceURL = {ftp://ftp.inria.fr/INRIA/Projects/cristal/Xavier.Leroy/polymorphic-assignment.dvi.gz},
  TOPICS    = {Types in General}
  }

@TECHREPORT{ Leuschel98,
  AUTHOR      = {M. Leuschel},
  EMAIL       = {},
  TITLE       = {{H}omomorphic {E}mbedding for {O}nline {T}ermination},
  INSTITUTION = {University of Southampton},
  ADDRESS     = {Southampton, UK},
  TYPE        = {DSSE-TR},
  NUMBER      = {98-11},
  YEAR        = 1998,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {}
}

% formerly LLS98
@INPROCEEDINGS{ LewiLinSnyd98,
  AUTHOR    = {E.C. Lewis and C. Lin and L. Snyder},
  EMAIL     = {},
  TITLE     = {{The Implementation and Evaluation of Fusion and Contraction}
               {in Array Languages}},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming
               Language Design and Implementation},
  PUBLISHER = {{ACM}},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {ZPL,Fusion of Loops}
  }

% formerly LSACC95
@TECHREPORT{ LinSnydAndeCham+95,
  AUTHOR      = {C. Lin and L. Snyder and R.E. Anderson and others},
  EMAIL       = {},
  TITLE       = {{ZPL} vs {HPF}: {A} {C}omparison of {P}erformance 
                 and {P}rogramming {S}tyle},
  INSTITUTION = {University of Washington},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {95-11-5},
  YEAR        = 1995,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {ftp://ftp.cs.washington.edu/tr/1995/11/UW-CSE-95-11-05.PS.Z},
  TOPICS      = {ZPL}
}

@TECHREPORT{ Lin96,
  AUTHOR      = {C. Lin},
  EMAIL       = {},
  TITLE       = {{ZPL Language Reference Manual}},
  INSTITUTION = {University of Washington},
  ADDRESS     = {},
  TYPE        = {UW-CSE-TR},
  NUMBER      = {94-10-06},
  YEAR        = 1996,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {ZPL,Language Manuals}
}

@BOOK{ Lubbe98,
  AUTHOR    = {J.C.A. van der Lubbe},
  EMAIL     = {},
  TITLE     = {Basic Methods of Cryptography},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Cambridge University Press},
  YEAR      = 1998,
  NOTE      = {ISBN 0-521-55559-0},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {To Be Read}
  }

@INPROCEEDINGS{ Lucas2001,
  AUTHOR    = {J. Lucas},
  EMAIL     = {},
  TITLE     = {{A}n {A}rray-{O}riented ({APL}) {W}ish {L}ist},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the Array Processing Language Conference 2001},
  PUBLISHER = {{ACM}-{SIGAPL}},
  YEAR      = 2001,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@MASTERSTHESIS{ Lukoschus97,
  AUTHOR   = {J. Lukoschus},
  EMAIL    = {},
  TITLE    = {{E}ntwicklung und {I}mplementation eines {C}ompilers und
              {L}aufzeitsystems f{\"u}r die {K}oordinationssprache {K2}},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1997,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {K2}
}

% mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm

@TECHREPORT{ MQHM87,
  AUTHOR      = {D. Mac Queen and R. Harper and R. Milner and others},
  EMAIL       = {},
  TITLE       = {{F}unctional {P}rogramming in {M}{L}},
  INSTITUTION = {University of Edinburgh},
  ADDRESS     = {},
  TYPE        = {LFCS Education},
  NUMBER      = {},
  YEAR        = 1987,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  TOPICS      = {Language Manuals}
}

@INPROCEEDINGS{ ManjAbde95,
  AUTHOR    = {N. Manjikian and T.S. Abdelrahman},
  EMAIL     = {},
  TITLE     = {Array Data Layout for the Reduction of Cache Conflicts},
  EDITOR    = {},
  BOOKTITLE = {Proc. International Conference on Parallel and
                  Distributed Computing Systems},
  PUBLISHER = {},
  YEAR      = 1995,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.eecg.toronto.edu/www-tsa/pdcs95.ps},
  TOPICS    = {Cache Utilization},
  }

@ARTICLE{ ManjAbde97,
  AUTHOR   = {N. Manjikian and T.S. Abdelrahman},
  EMAIL    = {},
  TITLE    = {Fusion of Loops for Parallelism and Locality},
  JOURNAL  = {IEEE Transactions on Parallel and Distributed Systems},
  YEAR     = 1997,
  VOLUME   = {8},
  NUMBER   = {2},
  PAGES    = {193--209},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {http://www.eecg.toronto.edu/www-tsa/tpds97},
  TOPICS   = {Loop Transformation,Cache Utilization},
  }

@MASTERSTHESIS{ Marcussen01,
  AUTHOR   = {N. Marcussen-Wulff},
  EMAIL    = {},
  TITLE    = {{\"U}ber die {V}erwendung der {S}tatic {S}ingle {A}ssignment
                {F}orm zur hochsprachlichen {O}ptimierung der funktionalen
                {P}rogrammiersprache {SAC}},
  SCHOOL   = {ifi},
  ADDRESS  = {},
  YEAR     = 2001,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {http://www.sac-home.org/papers/ssa-opt-dipl-nmw-01.ps.gz},
  TOPICS   = {SAC}
}

@INPROCEEDINGS{ MarcSchoIFL00,
  AUTHOR    = {N. Marcussen-Wulff and S.-B. Scholz},
  TITLE     = {On Interfacing {SAC} Modules with {C} Programs},
  EDITOR    = {Markus Mohnen},
  BOOKTITLE = {Proceedings of the
               12th International Workshop on the
               Implementation of Functional Languages (IFL 2000)},
  PUBLISHER = {RWTH Aachen},
  YEAR      = {2000},
  PAGES     = {381-386},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
}

@INBOOK{ Martin-Loef80,
  AUTHOR    = {P. Martin-L{\"o}f},
  EMAIL     = {},
  TITLE     = {Constructive Mathemeatics and Computer Programming},
  SERIES    = {Logic, Methodology and Philosophy},
  VOLUME    = {VI},
  CHAPTER   = {},
  PAGES     = {153-175},
  PUBLISHER = {North-Holland},
  YEAR      = 1980,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Dependent Types}
  }

@PHDTHESIS{ Maydan92,
  AUTHOR   = {D.E. Maydan},
  EMAIL    = {},
  TITLE    = {{A}ccurate {A}nalysis of {A}rray {R}eferences},
  SCHOOL   = {Stanford University},
  ADDRESS  = {},
  YEAR     = 1992,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Loop Transformation}
}

@ARTICLE{ KinlCarrTsen96,
  AUTHOR   = {K. McKinley and S. Carr and C.-W. Tseng},
  EMAIL    = {},
  TITLE    = {Improving Data Locality with Loop Transformations},
  JOURNAL  = {{ACM} Transactions on Programming Languages and Systems},
  YEAR     = 1996,
  VOLUME   = {18},
  NUMBER   = {4},
  PAGES    = {424--453},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {http://www.cs.umd.edu/users/tseng/papers/toplas96.ps},
  TOPICS   = {Loop Transformation,Cache Utilization},
  }

@TECHREPORT{ MPI94,
  AUTHOR      = {Message Passing Interface Forum},
  EMAIL       = {},
  TITLE       = {{MPI}: {A} {M}essage {P}assing {I}nterface {S}tandard},
  INSTITUTION = {University of Tenessee},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {MPI}
}

@ARTICLE{ Milner87,
  AUTHOR   = {R. Milner},
  EMAIL    = {},
  TITLE    = {{A} {T}heory of {T}ype {P}olymorphism in {P}rogramming},
  JOURNAL  = {Journal of Computer and System Sciences},
  YEAR 	   = 1987,
  VOLUME   = {17},
  NUMBER   = {},
  PAGES    = {348-375},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Types in General}
  }

%formerly MTH90
@BOOK{ MilnToftHarp90,
  AUTHOR    = {R. Milner and M. Tofte and R. Harper},
  EMAIL     = {},
  TITLE     = {{T}he {D}efinition of {S}tandard {ML}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {MIT Press},
  YEAR      = 1990,
  NOTE      = {ISBN 0-262-63132-6},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Manuals}
  }

@INCOLLECTION{ Mycroft84,
  AUTHOR      = {A. Mycroft},
  EMAIL       = {},
  TITLE       = {{P}olymorphic {T}ype {S}chemes and {R}ecursive {D}efinitions},
  EDITOR      = {},
  BOOKTITLE   = {Symposium on Programming},
  SERIES      = {LNCS},
  VOLUME      = {167},
  PUBLISHER   = {Springer},
  YEAR        = {1984},
  PAGES       = {217-239},
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {},
  TOPICS      = {Types in General}
}

@BOOK{ MuchShaf96,
  AUTHOR    = {V.B. Muchnik and A. Shafarenko},
  EMAIL     = {},
  TITLE     = {{D}ata {P}arallel {C}omputing: the {L}anguage {D}imension},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Thompson Publishing},
  YEAR      = 1996,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Design}
  }

@PHDTHESIS{ Mullin88,
  AUTHOR   = {L.M. Restifo Mullin},
  EMAIL    = {},
  TITLE    = {{A} {M}athematics of {A}rrays},
  SCHOOL   = {Syracuse University},
  ADDRESS  = {},
  YEAR     = 1988,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {Very formal description/definition of the psi-calculus.} ,
  TOPICS   = {Dense Arrays,PSI-Calculus}
}

@INPROCEEDINGS{ Mullin91,
  AUTHOR    = {L.M. Restifo Mullin},
  EMAIL     = {},
  TITLE     = {{T}he {$\Psi$}-{F}unction: {A} {B}asis for {FFP} with {A}rrays},
  EDITOR    = {L.M. Restifo Mullin},
  BOOKTITLE = {Arrays, Functional Languages and Parallel Systems},
  PUBLISHER = {Kluwer Academic Publishers},
  YEAR      = 1991,
  PAGES     = {185-201},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Dense Arrays,PSI-Calculus}
  }

@INPROCEEDINGS{ MJ91,
  AUTHOR    = {L.M. Restifo Mullin and M. Jenkins},
  EMAIL     = {},
  TITLE     = {{A} {C}omparison of {A}rray {T}heory and a {M}athematics of {A}rrays},
  EDITOR    = {},
  BOOKTITLE = {Arrays, Functional Languages and Parallel Systems},
  PUBLISHER = {Kluwer Academic Publishers},
  YEAR      = 1991,
  PAGES     = {237-269},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Dense Arrays,PSI-Calculus}
  }

@ARTICLE{ MJ96,
  AUTHOR   = {L.M. Restifo Mullin and M. Jenkins},
  EMAIL    = {},
  TITLE    = {{E}ffective {D}ata {P}arallel {C}omputation using the {P}si {C}alculus},
  JOURNAL  = {Concurrency Journal},
  YEAR 	   = 1996,
  VOLUME   = {?},
  NUMBER   = {},
  PAGES    = {},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {Discusses the compilation of a 4-dimensional example in detail},
  sourceURL= {},
  TOPICS   = {PSI-Calculus}
  }

@TECHREPORT{ MDST95,
  AUTHOR      = {L.M. Restifo Mullin and D. Dooling and E. Sandberg and
                 S. Thibault},
  EMAIL       = {},
  TITLE       = {{F}ormal {M}ethods for {P}artitioning, {S}cheduling, {R}outing,
                 and {C}ommunication {P}rotocol},
  INSTITUTION = {University of Missouri-Rolla},
  ADDRESS     = {Dept. of Computer Science},
  TYPE        = {CSC},
  NUMBER      = {95-04},
  YEAR        = 1995,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {PSI-Calculus}
}

@TECHREPORT{ MT94,
  AUTHOR      = {L. Mullin and S. Thibault},
  EMAIL       = {},
  TITLE       = {{A} {R}eduction {S}emantics for {A}rray {E}xpressions: {T}he {P}{S}{I} {C}ompiler},
  INSTITUTION = {University of Missouri-Rolla},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {CSC-94-05},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {A short and easy to understand introduction on how the moa
		 compiler works.} ,
  TOPICS   = {Dense Arrays,PSI-Calculus}
}

@INPROCEEDINGS{ MKS96,
  AUTHOR    = {L. Mullin and W. Kluge and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{O}n {P}rogramming {S}cientific {A}pplications in {\sc Sac}},
  EDITOR    = {W. Kluge},
  BOOKTITLE = {Proceedings of the 8th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {Christian-Albrechts-Universit{\"a}t, Kiel},
  YEAR      = 1996,
  PAGES     = {321-339},
  NOTE      = {NB: superseded by \cite{ScholzIFL96}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {on SAC,SAC,PSI-Calculus}
  }

@BOOK{ Modi88,
  AUTHOR    = { J.J. Modi},
  EMAIL     = {},
  TITLE     = {{P}arallel {A}lgorithms and {M}atrix {C}omputation},
  SERIES    = {Oxford Applied Mathematics and Computer Science Series},
  VOLUME    = {},
  PUBLISHER = {Clarendon Press},
  YEAR      = 1988,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

% nnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn

@MANUAL{ ncubePM90,
  AUTHOR       = {nCUBE Cooperation},
  EMAIL        = {},
  TITLE        = {n{CUBE} 2 {P}rocessor {M}anual},
  ORGANIZATION = {},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1990,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {nCUBE}
}

@INPROCEEDINGS{ NPJ98,
  AUTHOR    = {L. Nemeth and S. {Peyton Jones}},
  EMAIL     = {},
  TITLE     = {{A} {D}esign for {W}arm {F}usion},
  EDITOR    = {C. Clack and T. Davie and K. Hammond},
  BOOKTITLE = {Proceedings of the 10th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {University College, London},
  YEAR      = 1998,
  PAGES     = {381-393},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Haskell,Dense Arrays,Fusion of Functions}
  }

@TECHREPORT{ Nikhil88,
  AUTHOR      = {R.S. Nikhil},
  EMAIL       = {},
  TITLE       = {{I}{D} {V}ersion 88.1, {R}eference {M}anual},
  INSTITUTION = {MIT, Laboratory for Computer Science},
  ADDRESS     = {Cambridge, MA},
  TYPE        = {CSG Memo},
  NUMBER      = {284},
  YEAR        = 1988,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  TOPICS      = {Language Manuals,Id}
}

@MANUAL{ Nikhil91,
  AUTHOR       = {R.S. Nikhil},
  EMAIL        = {},
  TITLE        = {{I}{D} {V}ersion 88.1, {R}eference {M}anual},
  ORGANIZATION = {MIT, Laboratory for Computer Science},
  ADDRESS      = {Cambridge, MA},
  EDITION      = {90.1},
  YEAR         = 1991,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {ftp://csg-ftp.lcs.mit.edu/pub/papers/csgmemo/memo-284-2.ps.gs},
  TOPICS       = {Language Manuals,Id}
}

@INPROCEEDINGS{ Nikh94,
  AUTHOR    = {R.S. Nikhil},
  EMAIL     = {},
  TITLE     = {{C}id: {A} {P}arallel "{S}hared-memory" {C} for {D}istributed {M}emory {M}achines},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 7th. Annual Workshop on Languages and Compilers for
               Parallel Computing, Ithaca, NY},
  PUBLISHER = {Springer-Verlag},
  YEAR      = 1994,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.research.digital.com/CRL/personal/nikhil/cid/cid.ps.Z},
  TOPICS    = {Cid,Exploiting Concurrency}
  }

@TECHREPORT{ Nikh95,
  AUTHOR      = {R.S. Nikhil},
  EMAIL       = {},
  TITLE       = {{C}id {L}anguage {R}eference {M}anual},
  INSTITUTION = {Cambridge Research Laboratory, DEC},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1995,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {Introduction on Cid; Cid is an extension of C intended for
                 distributed memory multiprocessors; it basically consists
                 of FORK, GLOBAL OBJECTS and DISTRIBUTED ARRAYS.},
  sourceURL   = {ftp://crl.dec.com/pub/digital/cid/language_reference.ps.Z},
  TOPICS      = {Cid,Language Manuals}
}

@PHDTHESIS{ Noble95,
  AUTHOR   = {R. Noble},
  EMAIL    = {},
  TITLE    = {{L}azy {F}unctional {C}omponents for {G}raphical {U}ser {I}nterfaces},
  SCHOOL   = {University of York},
  ADDRESS  = {},
  YEAR     = 1995,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Gadgets,I/O Surveys}
}

@INCOLLECTION{ NR95,
  AUTHOR    = {R. Noble and C. Runciman},
  EMAIL     = {},
  TITLE     = {{G}adgets: {L}azy {F}unctional {C}omponents for {G}raphical {U}ser
               {I}nterfaces},
  EDITOR    = {M. Hermenegildo and S.D. Swierstra},
  BOOKTITLE = {PLILP'95},
  SERIES    = {LNCS},
  VOLUME    = {982},
  PUBLISHER = {Springer},
  YEAR      = 1995,
  PAGES     = {321-340},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Gadgets,Fudgets}
  }

@INPROCEEDINGS{ Noecker93,
  AUTHOR    = {E. N{\"o}cker},
  EMAIL     = {},
  TITLE     = {{S}trictness {A}nalysis {U}sing {A}bstract {R}eduction},
  EDITOR    = {},
  BOOKTITLE = {FPCA '93, Copenhagen},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {255-265},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    ={Strictness Analysis}
  }

% oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo

@BOOK{ Okasaki98,
  AUTHOR    = {C. Okasaki},
  EMAIL     = {},
  TITLE     = {{P}urely {F}unctional {D}ata {S}tructures},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Cambridge University Press},
  YEAR      = 1998,
  NOTE      = {ISBN 0-521-66350-4},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@INPROCEEDINGS{ Oldehoeft92,
  AUTHOR    = {R.R. Oldehoeft},
  EMAIL     = {},
  TITLE     = {{I}mplementing {A}rrays in {SISAL} 2.0},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the Second SISAL Users' Conference},
  PUBLISHER = {},
  YEAR      = 1992,
  PAGES     = {209-222},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Sisal,Dense Arrays}
  }

@INCOLLECTION{ OCA86,
  AUTHOR    = {R.R. Oldehoeft and D.C. Cann and S.J. Allan},
  EMAIL     = {},
  TITLE     = {{S}{I}{S}{A}{L}: {I}nitial {M}{I}{M}{D} {P}erformance {R}esults},
  EDITOR    = {W. H{\"a}ndler and others},
  BOOKTITLE = {CONPAR '86},
  SERIES    = {LNCS},
  VOLUME    = {237},
  PUBLISHER = {Springer},
  YEAR      = 1986,
  PAGES     = {120-127},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {Some valuable references on conceptual papers (streams, arrays,
               process management, etc.) about SISAL;
               Gives a brief introduction on the concepts used within SISAL;
               includes performance results on the shared memory machine HEP.
               Includes some valuable references on conceptual papers (streams,
               arrays, process management, etc.) about SISAL.},
  TOPICS   = {Sisal}
  }

% pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp

% formerly PW86
@ARTICLE{ PaduWolfe86,
  AUTHOR   = {D.A. Padua and M.J. Wolfe},
  EMAIL    = {},
  TITLE    = {{Advanced Compiler Optimizations for Supercomputers}},
  JOURNAL  = {Comm. {ACM}},
  YEAR 	   = 1986,
  VOLUME   = {29},
  NUMBER   = {12},
  PAGES    = {1184-1201},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {To Be Read,Compiler Optimization Surveys}
  }

@BOOK{ PS94,
  AUTHOR    = {J. Palsberg and M.I. Schwartzbach},
  EMAIL     = {},
  TITLE     = {{O}bject-{O}riented {T}ype {S}ystems},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {John Wiley \& Sons},
  YEAR      = 1994,
  NOTE      = {ISBN 0-471-94128-X},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Types in General}
  }

@TECHREPORT{ PAM93,
  AUTHOR      = {S.S. Pande and D.P. Agrawal and J. Mauney},
  EMAIL       = {},
  TITLE       = {{A}utomatic {C}ompiler for a {P}arallel {F}unctional {L}anguage on a
                 {D}istributed {M}emory {M}achine},
  INSTITUTION = {North Carolina State University},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {This paper concentrates on optimizing the code for the
                 "functional" (DAG) parallelism in SISAL for distributed
                 memory machines. It's based on an implementation on the
                 intel ip860 machines Gamma, Delta, Paragon.} ,
  TOPICS   = {Sisal}
}

@INCOLLECTION{ Pepper79,
  AUTHOR    = {P. Pepper},
  EMAIL     = {},
  TITLE     = {{A} {S}tudy of {T}ransformational {S}emantics},
  EDITOR    = {F. Bauer and M. Broy},
  BOOKTITLE = {Program Construction; Internal Summer School},
  SERIES    = {LNCS},
  VOLUME    = {69},
  PUBLISHER = {Springer},
  YEAR      = 1979,
  PAGES     = {322-505},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@TECHREPORT{ Pepper91,
  AUTHOR      = {P. Pepper},
  EMAIL       = {},
  TITLE       = {The {P}rogramming {L}anguage {OPAL} (1st edition)},
  INSTITUTION = {TU Berlin},
  ADDRESS     = {},
  TYPE        = {Technical Report},
  NUMBER      = {91--10},
  YEAR        = 1991,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {http://www.cs.tu-berlin.de/~uebb/papers/published/ReportOpal.ps.gz},
  TOPICS      = {Language Manuals}
}

% formerly Per91
@PHDTHESIS{ Perry91,
  AUTHOR   = {N. Perry},
  EMAIL    = {},
  TITLE    = {{T}he {I}mplementation of {P}ractical {F}unctional {P}rogramming {L}anguages},
  SCHOOL   = {Imperial College},
  ADDRESS  = {London},
  YEAR     = 1991,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {ftp://smis-asterix.massey.ac.nz/pub/ResearchPapers/thesis/},
  TOPICS   = {I/O Surveys}
}

@INPROCEEDINGS{ PeteJone93,
  AUTHOR    = {J. Peterson and M.P. Jones},
  EMAIL     = {},
  TITLE     = {{I}mplementing {T}ype {C}lasses},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of {ACM} {SIGPLAN} Symposium on Programming Language Design and Implementation},
  PUBLISHER = {{ACM} {SIGPLAN}},
  YEAR      = 1993,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Type Classes}
  }

@BOOK{ PJ87,
  AUTHOR    = {S.L. {Peyton Jones}},
  EMAIL     = {},
  TITLE     = {{T}he {I}mplementation of {F}unctional {P}rogramming {L}anguages},
  SERIES    = {Series in Computer Science},
  VOLUME    = {},
  PUBLISHER = {Prentice-Hall International},
  YEAR      = 1987,
  NOTE      = {ISBN 0-13-453325-9},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General,Compilation Schemes,Types in General}
  }

@INCOLLECTION{ PJCSH87,
  AUTHOR    = {S.L. {Peyton Jones} and C. Clack and J. Salkid and M. Hardie},
  EMAIL     = {},
  TITLE     = {{G}{R}{I}{P} - a {H}igh {P}erformance {A}rchitecture for
               {P}arallel {G}raph {R}eduction},
  EDITOR    = {G. Kahn},
  BOOKTITLE = {FPCA '87, Portland, Oregon},
  SERIES    = {LNCS},
  VOLUME    = {274},
  PUBLISHER = {Springer},
  YEAR      = 1987,
  PAGES     = {98-112},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS   = {Exploiting Concurrency}
  }

@INPROCEEDINGS{ PJS89,
  AUTHOR    = {S. {Peyton Jones} and J. Salkild},
  EMAIL     = {},
  TITLE     = {{T}he {S}pineless {T}agless {G}-{M}achine},
  EDITOR    = {},
  BOOKTITLE = {FPCA '89, London},
  YEAR      = 1989,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS   = {Compilation Schemes}
  }

% formerly PJW93
@INPROCEEDINGS{ PeytWadl93,
  AUTHOR    = {S.L. {Peyton Jones} and P. Wadler},
  EMAIL     = {},
  TITLE     = {{I}mperative functional programming},
  EDITOR    = {},
  BOOKTITLE = {POPL '93, New Orleans},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {ccall primitive for monadic I/O is presented. An extended
               comparison against dialoges, and CPS is given. The I/O model
               is extended for arrays permitting destructive updates of
               such structures. For this topic as well a comparison against
               CPS style is done. },
  TOPICS    ={Monads,I/O Surveys}
  }

@PHDTHESIS{ Pierce91,
  AUTHOR   = {B.C. Pierce},
  EMAIL    = {},
  TITLE    = {{P}rogramming with {I}ntersection {T}ypes and {B}ounded {P}olymorphism},
  SCHOOL   = {Carnegie Mellon University},
  ADDRESS  = {Pittsburgh, USA},
  YEAR     = 1991,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Intersection Types}
}

@BOOK{ Pierce02,
  AUTHOR    = {B.C. Pierce},
  EMAIL     = {},
  TITLE     = {{Types and Programming Languages}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {MIT Press},
  YEAR      = 2002,
  NOTE      = {ISBN 0-262-16209-1},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Types and Typesystems}
  }

% formerly PE93
@BOOK{ PlasEeke93,
  AUTHOR    = {R. Plasmeijer and M. van Eekelen},
  EMAIL     = {},
  TITLE     = {{F}unctional {P}rogramming and {P}arallel {G}raph {R}ewriting},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1993,
  NOTE      = {ISBN 0-201-41663-8},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {Clean,Functional Programming in General}
  }

@MANUAL{ PlasEeke94,
  AUTHOR       = {M.J. Plasmeijer and M. van Eckelen},
  EMAIL        = {},
  TITLE        = {{C}oncurrent {C}lean 1.0 {L}anguage {R}eport},
  ORGANIZATION = {University of Nijmegen},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1995,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {ftp://ftp.cs.kun.nl/pub/Clean/Clean10/doc/refman.ps.gz},
  TOPICS       = {Clean,Language Manuals}
}

@MANUAL{ PlasEeke97,
  AUTHOR       = {R. Plasmeijer and M. van Eekelen},
  EMAIL        = {},
  TITLE        = {{C}oncurrent {C}lean 1.2 {L}anguage {R}eport},
  ORGANIZATION = {High Level Software Tools B.V. and University of Nijmegen},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1997,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {"ftp://ftp.cs.kun.nl/pub/Clean/Clean12/doc/refman12.ps.gz"},
  TOPICS       = {Clean,Language Manuals}
}

@ARTICLE{ Plotkin74,
  AUTHOR   = {G. Plotkin},
  EMAIL    = {},
  TITLE    = {{C}all by {N}ame, {C}all by {V}alue, and the {L}ambda {C}alculus},
  JOURNAL  = {Theoretical Computer Science},
  YEAR 	   = 1974,
  VOLUME   = {1},
  NUMBER   = {},
  PAGES    = {},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {LAMBDA-Calculus}
  }

@BOOK{ PTVF93,
  AUTHOR    = { W.H. Press and S.A. Teukolsky and W.T. Vetterling and B.P. Flannery },
  EMAIL     = {},
  TITLE     = {{N}umerical {R}ecipes in {C}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Cambridge University Press},
  YEAR      = 1993,
  NOTE      = {ISBN 0-521-43108-5},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"http://world.std.com/~nr"},
  TOPICS    = {Algorithms,Implmentation}
  }

@TECHREPORT{ Pthread95,
  AUTHOR      = {Institute of Electrical and Electronic Engineers, Inc.},   
  EMAIL       = {},
  TITLE       = {{I}nformation {T}echnology --- {P}ortable {O}perating {S}ystems
                  {I}nterface ({POSIX}) --- {P}art: {S}ystem {A}pplication
                  {P}rogram {I}nterface ({API}) --- {A}mendment 2: {T}hreads
                  {E}xtension [{C} {L}anguage]},
  INSTITUTION = {IEEE},
  ADDRESS     = {New York, NY},
  TYPE        = {{IEEE S}tandard 1003.1c--1995},
  NUMBER      = {},
  YEAR        = 1995,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {},
  sourceURL   = {},
  TOPICS      = {PThreads}
} 

% qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
% rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr

@PHDTHESIS{ Rathsack96,
  AUTHOR   = {C. Rathsack},
  EMAIL    = {},
  TITLE    = {{Z}ur {\"U}bersetzung von {T}ermen eines angewandten $\lambda$-{K}alk{\"u}ls
              unter besonderer {B}er{\"u}cksichtigung der {R}{\"u}ck{\"u}bersetzbarkeit
              ausgezeichneter {Z}wischenzust{\"a}nde der {C}odeausf{\"u}hrung},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1996,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {KiR}
}

@INPROCEEDINGS{ RathScho92,
  AUTHOR    = {C. Rathsack and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{LISA}-a {L}azy {I}nterpreter for a {F}ull {F}ledged $\lambda$-
               {C}alculus},
  EDITOR    = {H. Kuchen and R. Loogen},
  BOOKTITLE = {Proceedings of the 4th Int. Workshop on the Parallel Implementation
               of Functional Languages},
  PUBLISHER = {RWTH Aachen},
  YEAR      = 1992,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/lisa-aachen-92.dvi.gz},
  TOPICS    = {KiR,Compilation Schemes,on KiR}
  }

@BOOK{ Reade89,
  AUTHOR    = {C. Reade},
  EMAIL     = {},
  TITLE     = {{E}lements of {F}unctional {P}rogramming},
  SERIES    = {International Computer Science Series},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1989,
  NOTE      = {ISBN 0-201-12915-9},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Functional Programming in General}
  }

@INPROCEEDINGS{ Reinke95,
  AUTHOR    = {C. Reinke},
  EMAIL     = {},
  TITLE     = {{F}unctions, {F}rames, and {I}nteractions},
  EDITOR    = {T. Johnsson},
  BOOKTITLE = {Proceedings of the Workshop on the Implementation of Functional
               Languages'95},
  PUBLISHER = {Chalmers University},
  YEAR      = 1995,
  PAGES     = {157-172},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {KiR,Frames}
  }

@PHDTHESIS{ Reinke97,
  AUTHOR   = {C. Reinke},
  EMAIL    = {},
  TITLE    = {{F}unctions, {F}rames, and {I}nteractions -- completing a
              $\lambda$-calculus-based
              purely functional language with respect to programming-in-the-large
              and interactions with runtime environments},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1997,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {KiR}
}

@INPROCEEDINGS{ Reinke97b,
  AUTHOR    = {C. Reinke},
  EMAIL     = {},
  TITLE     = {{O}n functional programming, language design, and persistence},
  EDITOR    = {C. Clack and T. Davie and K. Hammond},
  BOOKTITLE = {Proceedings of the 9th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {University of St. Andrews},
  YEAR      = 1997,
  PAGES     = {85,100},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {KiR}
  }

@TECHREPORT{ Reynolds96,
  AUTHOR      = {J.C. Reynolds},
  EMAIL       = {},
  TITLE       = {{D}esign of the {P}rogramming {L}anguage {F}orsythe},
  INSTITUTION = {Carnegie Mellon University},
  ADDRESS     = {Pittsburgh, USA},
  TYPE        = {CMU-CS},
  NUMBER      = {96-146},
  YEAR        = 1996,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {"ftp://ftp.cs.cmu.edu/user/jcr/forsytherep.ps.gz"},
  TOPICS      = {Forsythe,Intersection Types}
}

@PHDTHESIS{ Reppy92,
  AUTHOR   = {J.H. Reppy},
  EMAIL    = {},
  TITLE    = {{H}igher-order {C}oncurrency},
  SCHOOL   = {Cornell University},
  ADDRESS  = {},
  YEAR     = 1992,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Exploiting Concurrency}
}

@BOOK{ Rice81,
  AUTHOR    = {J.R. Rice},
  EMAIL     = {},
  TITLE     = {{M}atrix {C}omputations {A}nd {M}athematical {S}oftware},
  SERIES    = {Computer Science Series},
  VOLUME    = {},
  PUBLISHER = {McGraw-Hill},
  YEAR      = 1981,
  NOTE      = {ISBN 0-07-052145-X},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms}
  }

@INPROCEEDINGS{ RV95,
  AUTHOR    = {J.G. Riecke and R. Viswanathan},
  EMAIL     = {},
  TITLE     = {{I}solating {S}ide {E}ffects in {S}equential {L}anguages},
  EDITOR    = {},
  BOOKTITLE = {POPL '95},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1995,
  PAGES     = {1-12},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {ftp://ftp.research.att.com/dist/riecke/isolating-sequential.ps.gz},
  TOPICS    = {Integration of States in General}
  }

@ARTICLE{ RSL93,
  AUTHOR   = {M.C. Rinard and D.J. Scales and M.S. Lam},
  EMAIL    = {},
  TITLE    = {{Jade: A High-Level, Machine-Independent Language for Parallel Programming}},
  JOURNAL  = {IEEE Computer},
  YEAR 	   = 1993,
  VOLUME   = {26},
  NUMBER   = {6},
  PAGES    = {28-38},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {http://suif.stanford.edu/papers/rinard93.ps},
  TOPICS   = {Jade,Exploiting Concurrency}
  }

@INPROCEEDINGS{ RSL92,
  AUTHOR    = {M.C. Rinard and D.J. Scales and M.S. Lam},
  EMAIL     = {},
  TITLE     = {{Heterogeneous Parallel Programming in Jade}},
  EDITOR    = {},
  BOOKTITLE = {Supercomputing '92},
  PUBLISHER = {IEEE},
  YEAR      = 1992,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://suif.stanford.edu/papers/rinard92.ps},
  TOPICS    = {Jade,Exploiting Concurrency}
  }

@BOOK{ RobbRobb96,
  AUTHOR    = {K.A. Robbins and S. Robbins},
  EMAIL     = {},
  TITLE     = {{P}ractical {UNIX} {P}rogramming},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice Hall},
  YEAR      = 1996,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Operating Systems,PThreads}
  }

@ARTICLE{ Rosser84,
  AUTHOR   = {J.B. Rosser},
  EMAIL    = {},
  TITLE    = {{H}ighlights of the {H}istory of {L}ambda {C}alculus},
  JOURNAL  = {Annals of the History of Computing},
  YEAR 	   = 1984,
  VOLUME   = {6},
  NUMBER   = {4},
  PAGES    = {},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {LAMBDA-Calculus}
  }

@INPROCEEDINGS{ RothKenn96,
  AUTHOR    = {G. Roth and K. Kennedy},
  EMAIL     = {},
  TITLE     = {{D}ependence {A}nalysis of {F}ortran90 {A}rray {S}yntax},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the International Conference on Parallel and
               Distributed Processing Techniques and Applications},
  PUBLISHER = {},
  YEAR      = 1996,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Loop Transformation}
  }

@INPROCEEDINGS{ RothKenn96short,
  AUTHOR    = {G. Roth and K. Kennedy},
  TITLE     = {{D}ependence {A}nalysis of {F}ortran90 {A}rray {S}yntax},
  EDITOR    = {},
  BOOKTITLE = {Proc. PDPTA'96},
  PUBLISHER = {},
  YEAR      = 1996,
  PAGES     = {},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {ftp://softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96653-S.ps.gz},
  TOPICS    = {Loop Transformation}
  }

% formerly RK98
@TECHREPORT{ RothKenn98,
  AUTHOR      = {G. Roth and K. Kennedy},
  EMAIL       = {},
  TITLE       = {{L}oop {F}usion in {H}igh {P}erformance {F}ortran},
  INSTITUTION = {Rice University},
  ADDRESS     = {Houston, Texas},
  TYPE        = {CRPC},
  NUMBER      = {TR98745},
  YEAR        = 1998,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {HPF}
}

% ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss

@TECHREPORT{ SF93,
  AUTHOR      = {A. Sabry and J. Field},
  EMAIL       = {},
  TITLE       = {{R}easoning about {E}xplicit and {I}mplicit {R}epresentations of {S}tate},
  INSTITUTION = {Yale University},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {impmonads},
  CONTENTS    = {} ,
  sourceURL   = {http://www.cs.cmu.edu/afs/cs.cmu.edu/user/sabry/Mosaic/store-sipl.dvi},
  TOPICS      = {Integration of States in General}
}

@TECHREPORT{ SSM88,
  AUTHOR      = {V. Sarkar and S. Skedzielewski and P. Miller},
  EMAIL       = {},
  TITLE       = {{A}n {A}utomatically {P}artitioning {C}ompiler for {S}{I}{S}{A}{L}},
  INSTITUTION = {Lawrence Livermore National Laboratory},
  ADDRESS     = {LLNL, Livermore California},
  TYPE        = {},
  NUMBER      = {UCRL-98289},
  YEAR        = 1988,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {submitted to CONPAR 88; An algorithm for determining the
                 grain size of chunks of SISAL code is described. It is
                 based on performance of basic operations and execution
                 profile information.} ,
  TOPICS   = {Sisal}
}

@INPROCEEDINGS{ SarkThek92,
  AUTHOR    = {V. Sarkar and R. Thekkath},
  EMAIL     = {},
  TITLE     = {A General Framework for Iteration-Reordering Loop Transformations},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM} {SIGPLAN} '92 Conference on
                  Programming Language Design and Implementation,
                  San Francisco, California},
  PUBLISHER = {},
  YEAR      = 1992,
  PAGES     = {175--187},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {This paper presents a very general framework for loop
                  transformations which extends the usual unimodular
                  approach by also covering non-unimodular
                  transformations such as blocking, interleaving or parallelization. },
  sourceURL = {http://www.csg.lcs.mit.edu:8001/Users/vivek/ps/SaTh92.ps},
  TOPICS    = {Loop Transformation}
  }

@INPROCEEDINGS{ SCA93,
  AUTHOR    = {A.V.S. Sastry and W. Clinger and Z. Ariola},
  EMAIL     = {},
  TITLE     = {{O}rder-of-evaluation {A}nalysis for {D}estructive {U}pdates in
               {S}trict {F}unctional {L}anguages with {F}lat {A}ggregates},
  EDITOR    = {},
  BOOKTITLE = {FPCA '93, Copenhagen},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1993,
  PAGES     = {266-275},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {Array Allocation Optimizations}
  }

@INCOLLECTION{ Sch92,
  AUTHOR    = {J. Schepers},
  EMAIL     = {},
  TITLE     = {{I}nvariance {P}roperties in {D}istributed {S}ystems},
  EDITOR    = {L. Boug$\acute{e}$},
  BOOKTITLE = {CONPAR '92},
  SERIES    = {LNCS},
  VOLUME    = {634},
  PUBLISHER = {Springer},
  YEAR      = {1992},
  PAGES     = {145-156},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS   = {Exploiting Concurrency}
  }

@INPROCEEDINGS{ SBK91,
  AUTHOR    = {C. Schmittgen and H. Bl{\"o}dorn and W.E. Kluge},
  EMAIL     = {},
  TITLE     = {{S}tructured {D}ata {T}ypes in the {R}eduction {S}ystem $\pi$-{\sc red}},
  EDITOR    = {},
  BOOKTITLE = {Arrays, Functional Languages and Parallel Systems},
  PUBLISHER = {Kluwer Academic Publishers},
  YEAR      = 1991,
  PAGES     = {171-183},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {Montreal Workshop},
  CONTENTS  = {},
  TOPICS    = {KiR}
  }

@ARTICLE{ SBK92,
  AUTHOR   = {C. Schmittgen and H. Bl{\"o}dorn and W.E. Kluge},
  EMAIL    = {},
  TITLE    = { $\pi$-{\sc red$^*$} - a {G}raph {R}educer for {F}ull-{F}ledged $\lambda$-{C}alculus},
  JOURNAL  = ngc,
  YEAR     = 1992,
  VOLUME   = {10},
  NUMBER   = {2},
  PAGES    = {173-195},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  TOPICS    = {KiR}
  }

@PHDTHESIS{ Sch86,
  AUTHOR   = {C. Schmittgen},
  EMAIL    = {},
  TITLE    = {{S}pezifikation der {A}rchitektur und {R}ealisierung eines
              {R}eduktionssystems mit konsequenter {U}nterst{\"u}tzung strukturierter
              {D}atenobjekte und n-stelliger definierter {F}unktionen},
  SCHOOL   = {TU Berlin},
  ADDRESS  = {},
  YEAR     = 1986,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {Condensation},
  CONTENTS = {} ,
  TOPICS    = {KiR,Masterthesis/PhD}
}

@INPROCEEDINGS{ Schmittgen86,
  AUTHOR    = {C. Schmittgen},
  EMAIL     = {},
  TITLE     = {{A} {D}atatype {A}rchitecture for {R}eduction {M}achines},
  EDITOR    = {},
  BOOKTITLE = {19th Hawaii International Conference on System Sciences, Vol. I},
  PUBLISHER = {},
  YEAR      = 1986,
  PAGES     = {78-87},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {KiR}
  }

@INPROCEEDINGS{ SGHKW86,
  AUTHOR    = {C. Schmittgen and A. Gerdts and J. Haumann and W. Kluge and M. Woitass},
  EMAIL     = {},
  TITLE     = {{A} {S}ystem {S}upported {W}orkload {B}alancing {S}cheme for
               {C}ooperating {R}eduction {M}achines},
  EDITOR    = {},
  BOOKTITLE = {19th Hawaii International Conference on System Sciences, Vol. I},
  PUBLISHER = {},
  YEAR      = 1986,
  PAGES     = {67-77},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    = {KiR}
  }

@TECHREPORT{ SP90,
  AUTHOR      = {H. Schl{\"u}tter and E. Pless},
  EMAIL       = {},
  TITLE       = {{D}ie {R}eduktionssprache {\sc {O}rel/2}},
  INSTITUTION = {Gesellschaft f\"ur Mathematik und Datenverarbeitung},
  ADDRESS     = {},
  TYPE        = {Technical Report},
  NUMBER      = {},
  YEAR        = 1990,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  TOPICS    = {KiR}
}

@MASTERSTHESIS{ Scholz92,
  AUTHOR   = {S.-B. Scholz},
  EMAIL    = {},
  TITLE    = {{L}isa -- {R}ealisierung eines interaktiven {L}azy-{E}valuators
              mit {P}atternmatch},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1992,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {KiR,on KiR,Masterthesis/PhD}
}

@INPROCEEDINGS{ ScholzIFL94,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{\bf {S}}ingle {\bf {A}}ssignment {{\bf {C}}} -- {F}unctional
               {P}rogramming {U}sing {I}mperative {S}tyle},
  EDITOR    = {John Glauert},
  BOOKTITLE = {Proceedings of the 6th International Workshop on the Implementation
		of Functional Languages},
  PUBLISHER = {University of East Anglia},
  YEAR      = 1994,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/sac-overview-norwich-94.dvi.gz},
  TOPICS    = {SAC,Dense Arrays,Language Design,Language Manuals,on SAC}
  }

@PHDTHESIS{ Scholz96,
  AUTHOR   = {S.-B. Scholz},
  EMAIL    = {},
  TITLE    = {{\bf {S}}ingle {\bf {A}}ssignment {\bf {C}} -- {E}ntwurf und 
              {I}mplementierung einer funktionalen {C}-{V}ariante mit
              spezieller {U}nterst{\"u}tzung shape-invarianter {A}rray-{O}perationen},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1996,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {http://www.informatik.uni-kiel.de/~sbs/mypapers/sac-design-sbs-phd-96.ps.gz},
  TOPICS   = {SAC,on SAC,Masterthesis/PhD}
}

@PHDTHESIS{ Scholz96short,
  AUTHOR   = {S.-B. Scholz},
  TITLE    = {{\bf {S}}ingle {\bf {A}}ssignment {\bf {C}} -- {E}ntwurf und
              {I}m\-ple\-men\-tier\-ung einer funktionalen {C}-{V}ariante mit
              spezieller {U}nterst{\"u}tzung shape-invarianter {A}rray-{O}perationen},
  SCHOOL   = {University of Kiel},
  ADDRESS  = {},
  YEAR     = 1996,
  NOTE     = {},
  CONTENTS = {} ,
  sourceURL= {http://www.informatik.uni-kiel.de/~sbs/mypapers/sac-design-sbs-phd-96.ps.gz},
  TOPICS   = {SAC,on SAC,Masterthesis/PhD}
}

% formerly Scholz97
@INCOLLECTION{ ScholzIFL96,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{On Programming Scientific Applications in {\sc Sac} -
                A Functional Language Extended by a Subsystem
                for High-Level Array Operations}},
  EDITOR    = {Werner Kluge},
  BOOKTITLE = {{Implementation of Functional Languages,
                8th International Workshop,
                Bad Godesberg, Germany, September 1996,
                Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {1268},
  PUBLISHER = {Springer},
  YEAR      = 1997,
  PAGES     = {85-104},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/scientific-applications-sac-bonn-96.ps.gz},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ Scholz97b,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{W}ith-loop-folding in {\sc Sac}--{C}ondensing {C}onsecutive {A}rray
               {O}perations},
  EDITOR    = {C. Clack and T. Davie and K. Hammond},
  BOOKTITLE = {Proceedings of the 9th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {University of St. Andrews},
  YEAR      = 1997,
  PAGES     = {225-242},
  NOTE      = {NB: superseded by \cite{ScholzIFL97}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC,Folding of Array Comprehensions,Dense Arrays}
  }

@INPROCEEDINGS{ Scholz97c,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A}n {O}verview of {\sc Sac} -- a {F}unctional {L}anguage
                 for {N}umerical {A}pplications},
  EDITOR    = {R. Berghammer and F. Simon},
  BOOKTITLE = {Programming Languages and Fundamentals of Programming,
               Technical Report 9717},
  PUBLISHER = ifi,
  YEAR      = 1997,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

% formerly Scholz98b
@INCOLLECTION{ ScholzIFL97,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{W}ith-loop-folding in {\sc {S}ac}--{C}ondensing {C}onsecutive {A}rray
               {O}perations},
  EDITOR    = {C. Clack and K.Hammond and T. Davie},
  BOOKTITLE = {{Implementation of Functional Languages,
                9th International Workshop, IFL'97,
                St. Andrews, Scotland, UK, September 1997,
                Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {1467},
  PUBLISHER = {Springer},
  YEAR      = 1998,
  PAGES     = {72-92},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/wlf-st-andrews-97.dvi.gz},
  TOPICS    = {SAC,on SAC,Folding of Array Comprehensions,Dense Arrays}
  }

@INCOLLECTION{ ScholzIFL97short,
  AUTHOR    = {S.-B. Scholz},
  TITLE     = {{W}ith-loop-folding in {SAC}--{C}ondensing {C}onsecutive {A}rray
               {O}perations},
  EDITOR    = {},
  BOOKTITLE = {{Implementation of Functional Languages,
                9th International Workshop, IFL'97,
                St. Andrews, Scotland, UK, September 1997,
                Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {1467},
  PUBLISHER = {Springer},
  YEAR      = 1998,
  PAGES     = {72-92},
  NOTE      = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/wlf-st-andrews-97.dvi.gz},
  TOPICS    = {SAC,on SAC,Folding of Array Comprehensions,Dense Arrays}
  }

@INPROCEEDINGS{ ScholzAPL98,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{O}n {D}efining {A}pplication-{S}pecific {H}igh-{L}evel {O}perations
               by {M}eans of {S}hape-{I}nvariant {P}rogramming {F}acilities},
  EDITOR    = {S. Picchi and M. Micocci},
  BOOKTITLE = {Proceedings of the Array Processing Language Conference 98},
  PUBLISHER = {{ACM}-{SIGAPL}},
  YEAR      = 1998,
  PAGES     = {40-45},
  NOTE      = {NB: superseded by \cite{ScholzAPLQQ99}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sbs/mypapers/sac-defining-array-ops-rome-98.ps.gz},
  TOPICS    = {SAC,on SAC}
  }

@ARTICLE{ ScholzAPLQQ99,
  AUTHOR   = {S.-B. Scholz},
  EMAIL    = {},
  TITLE    = {{O}n {D}efining {A}pplication-{S}pecific {H}igh-{L}evel {O}perations
               by {M}eans of {S}hape-{I}nvariant {P}rogramming {F}acilities},
  JOURNAL  = {{SIGAPL} Quote Quad},
  YEAR 	   = 1999,
  VOLUME   = {29},
  NUMBER   = {3},
  PAGES    = {32-39},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {SAC,on SAC}
  }

@INPROCEEDINGS{ Scholz98c,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A} {C}ase {S}tudy: {E}ffects of {\sc With}-{L}oop-{F}olding on the {NAS}
               {B}enchmark {MG} in {\sc {S}ac}},
  EDITOR    = {C. Clack and T. Davie and K. Hammond},
  BOOKTITLE = {Proceedings of the 10th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {University College, London},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {NB: superseded by \cite{ScholzIFL98}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INCOLLECTION{ ScholzIFL98,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A} {C}ase {S}tudy: {E}ffects of {W}{\sc ith}-{L}oop-{F}olding on the {NAS}
               {B}enchmark {MG} in {S}{\sc ac}},
  EDITOR    = {K. Hammond and A.J.T. Davie and C. Clack},
  BOOKTITLE = {Implementation of Functional Languages (IFL~'98), London, UK, Selected Papers},
  SERIES    = {LNCS},
  VOLUME    = {1595},
  PUBLISHER = {Springer},
  YEAR      = 1999,
  PAGES     = {220-231},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INCOLLECTION{ ScholzIFL98short,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A} {C}ase {S}tudy: {E}ffects of {W}{\sc ith}-{L}oop-{F}olding on the {NAS}
               {B}enchmark {MG} in {S}{\sc ac}},
  EDITOR    = {},
  BOOKTITLE = {Implementation of Functional Languages (IFL~'98), London, UK},
  SERIES    = {LNCS},
  VOLUME    = {1595},
  PUBLISHER = {Springer},
  YEAR      = 1999,
  PAGES     = {220-231},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ ScholzIFL01,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{A Type System for Inferring Array Shapes }},
  EDITOR    = {T. Arts and M. Mohnen},
  BOOKTITLE = {Proceedings of the 13th International Workshop on Implementation of
               Functional Languages  (IFL'01), Stockholm, Sweden},
  PUBLISHER = {Ericsson Computer Science Laboratory},
  YEAR      = 2001,
  PAGES     = {65--82},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {http://www.informatik.uni-kiel.de/~sacbase/papers/sac-inferring-shapes-stockholm-01.ps.gz},
  TOPICS    = {SAC,on SAC,Types and Typesystems}
  }

@INPROCEEDINGS{ ScholzIFL02,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{An algorithm for inferring array types with varying levels of shape information}},
  EDITOR    = {T. Arts and R. Pe{\~n}a},
  BOOKTITLE = {Proceedings of the 14th International Workshop on Implementation of
               Functional Languages  (IFL'02), Madrid, Spain},
  PUBLISHER = {Universidad Complutense de Madrid},
  SERIES    = {Technical Report},
  VOLUME    = {127-02},
  YEAR      = 2002,
  PAGES     = {226-228},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC,Types and Typesystems}
  }

@ARTICLE{ ScholzJFP03,
  AUTHOR     = {Sven-Bodo Scholz},
  TITLE      = {{Single} {Assignment} {C} ---
                Efficient Support for High-Level Array Operations in a
                Functional Setting},
  JOURNAL    = {Journal of Functional Programming},
  YEAR       = {2003},
  VOLUME     = {13},
  NUMBER     = {6},
  PAGES      = {1005--1059},
  NOTE       = {},
  CONTENTS   = {},
  sourceURL  = {http://www.informatik.uni-kiel.de/~sacbase/papers/???},
  TOPICS     = {SAC,on SAC}
}

@BOOK{ Scholz03,
  AUTHOR    = {Sven-Bodo Scholz},
  EMAIL     = {},
  TITLE     = {{G}eneric {A}rray {P}rogramming},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Habilitation thesis, Universit\"at Kiel},
  YEAR      = 2003,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INCOLLECTION{ ScholzCEFP05,
  AUTHOR    = {S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{Functional Array Programming in SaC}},
  EDITOR    = {Z. Horvath},
  BOOKTITLE = {Central European Summer School on Functional Programming},
  SERIES    = {LNCS},
  VOLUME    = {???},
  PUBLISHER = {Springer},
  YEAR      = 2006,
  PAGES     = {},
  NOTE      = {to appear},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@TECHREPORT{ Schramm94,
  AUTHOR      = {A. Schramm},
  EMAIL       = {},
  TITLE       = {{C}oncepts and {F}ormal {D}escription of the {PROMOTER} {L}anguage
                 {V}ersion 1.0},
  INSTITUTION = {GMD-FIRST},
  ADDRESS     = {},
  TYPE        = {{RWCP}},
  NUMBER      = {},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {"ftp://ftp.gmd.de/GMD/promoter/reports/Reports1994/lang.ps.gz"},
  TOPICS      = {PROMOTER,Language Manuals}
}

@MASTERSTHESIS{ Schroeder94,
  AUTHOR   = {R. Schr{\"o}der},
  EMAIL    = {},
  TITLE    = {{I}ntegration von {V}erteilungen und von {M}essungen
              in ein codeausf{\"u}hrendes {R}eduktionssystem},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1994,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {KiR,Masterthesis/PhD}
}

@INPROCEEDINGS{ SchroederIFL97,
  AUTHOR    = {R. Schr{\"o}der},
  EMAIL     = {},
  TITLE     = {{D}istributed {B}readth-first {S}earches as {S}peculative {E}valuations},
  EDITOR    = {C. Clack and T. Davie and K. Hammond},
  BOOKTITLE = {Proceedings of the 9th International Workshop on Implementation of
               Functional Languages},
  PUBLISHER = {University of St. Andrews},
  YEAR      = 1997,
  PAGES     = {243-259},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Exploiting Concurrency,KiR}
}

@INPROCEEDINGS{ Schroeder98,
  AUTHOR    = {R. Schr{\"o}der},
  EMAIL     = {},
  TITLE     = {{S}peculative {E}valuations as {C}oncurrent {B}readth-first {S}earches},
  EDITOR    = {Herbert Kuchen},
  BOOKTITLE = {Proceedings of the 7th International Workshop on Functional and
               Logic Programming},
  PUBLISHER = {University of M{\"u}nster},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Exploiting Concurrency,KiR}
}

@TECHREPORT{ Schumacher94,
  AUTHOR      = {R. Schumacher},
  EMAIL       = {},
  TITLE       = {{T}he {KSR}-1 in a {C}omputer {C}enter {E}nvironment},
  INSTITUTION = {University of Mannheim},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {Exploiting Concurrency}
}

@MASTERSTHESIS{ Schwartz98,
  AUTHOR   = {S. Schwartz},
  EMAIL    = {},
  TITLE    = {{Z}ur {C}ode-{O}ptimierung von {S}chleifenkonstrukten der
              {P}rogrammiersprache {\sc Sac} -- {\sc Single Assignment C}},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1998,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {SAC,Masterthesis/PhD}
}

@TECHREPORT{ SerrWeis94,
  AUTHOR      = {M. Serrano and P. Weis},
  EMAIL       = {},
  TITLE       = {1+1 = 1, an optimizing {C}aml compiler},
  INSTITUTION = {INRIA},
  ADDRESS     = {},
  TYPE        = {Rapport de recherche},
  NUMBER      = {2301},
  YEAR        = 1994,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {ftp://ftp.inria.fr/INRIA/Projects/cristal/Pierre.Weis/serrano-weis.ps.Z},
  TOPICS      = {CAML}
}

@INCOLLECTION{ Serrarens97,
  AUTHOR    = {P.R. Serrarens},
  EMAIL     = {},
  TITLE     = {{Implementing the Conjugate Gradient Algorithm in a Functional Language}},
  EDITOR    = {Werner Kluge},
  BOOKTITLE = {{Implementation of Functional Languages,
                8th International Workshop,
                Bad Godesberg, Germany, September 1996,
                Selected Papers}},
  SERIES    = {LNCS},
  VOLUME    = {1268},
  PUBLISHER = {Springer},
  YEAR      = 1997,
  PAGES     = {125-140},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Clean,Dense Arrays,Implmentation,Benchmarking,Array Allocation Optimizations}
  }

@INPROCEEDINGS{ Shafarenko02,
  AUTHOR    = {A. Shafarenko},
  EMAIL     = {},
  TITLE     = {{C}oercion as {H}omomorphism: {T}ype {I}nference in a {S}ystem with {S}ubtyping
               and {O}verloading},
  EDITOR    = {},
  BOOKTITLE = {},
  PUBLISHER = {},
  YEAR      = 2002,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@INPROCEEDINGS{ ShafSchoIFL04,
  AUTHOR    = {A. Shafarenko and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{G}eneral {H}omomorphic {O}verloading},
  EDITOR    = {C. Grelck and F. Huch},
  BOOKTITLE = {Proc. of the 16th International Workshop on
                  Implementation of Functional Languages (IFL'04),
                  L\"ubeck, Germany, Selected Papers},
  PUBLISHER = {Springer},
  SERIES    = {LNCS},
  VOLUME    = {3474},
  YEAR      = 2005,
  PAGES     = {195-210},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ ShafScho05,
  AUTHOR    = {A. Shafarenko and S.-B. Scholz},
  EMAIL     = {},
  TITLE     = {{Implementing a numerical solution for the KPI equation using Single
                Assignment C: lessons and experience}},
  EDITOR    = {A. Butterfield},
  BOOKTITLE = {{Implementation and Application of Functional Languages,
                17th INternational Workshop, IFL'05}},
  PUBLISHER = {Trinity College, Dublin},
  YEAR      = 2005,
  PAGES     = {Technical Report TCD-CS-2005-60},
  NOTE      = {NB: superseded by \cite{ShafSchoHerh+IFL05}},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@INPROCEEDINGS{ ShafSchoHerh+IFL05,
  AUTHOR    = {A. Shafarenko and S.-B. Scholz and S. Herhut and C. Grelck
               and K. Trojahner},
  EMAIL     = {},
  TITLE     = {{Implementing a numerical solution for the KPI equation using Single
                Assignment C: lessons and experience}},
  EDITOR    = {A. Butterfield},
  BOOKTITLE = {{Implementation and Application of Functional Languages,
                17th INternational Workshop, IFL'05}},
  SERIES    = {LNCS},
  VOLUME    = {???},
  PUBLISHER = {Springer},
  YEAR      = 2006,
  PAGES     = {},
  NOTE      = {to appear},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {SAC,on SAC}
  }

@MANUAL{ Sharp87,
  AUTHOR       = {I.P Sharp \& Associates},
  TITLE        = {{SHARP APL Release 19.0 Guide for APL Programmers}},
  ORGANIZATION = {I.P Sharp \& Associates, Ltd.},
  ADDRESS      = {},
  EDITION      = {},
  YEAR         = 1987,
  NOTE         = {},
  CONTENTS     = {In this release (?), Sharp APL introduced the rank operator.},
  sourceURL    = {},
  TOPICS       = {APL}
}

@MASTERSTHESIS{ Sievers95,
  AUTHOR   = {A. Sievers},
  EMAIL    = {},
  TITLE    = {{M}aschinenunabh{\"a}ngige {O}ptimierungen eines {C}ompilers
              f{\"u}r die funktionale {P}rogrammiersprache {S}ingle
              {A}ssignment {C}},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1995,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {http://www.informatik.uni-kiel.de/~sacbase/doc/sac2c-optimierungen-dipl-asi-95.dvi.gz},
  TOPICS   = {SAC,Masterthesis/PhD}
}

@MANUAL{ SG85,
  AUTHOR       = {S. Skedzielewski and J. Glauert},
  EMAIL        = {},
  TITLE        = {{I}{F}1 {A}n {I}ntermidiate {F}orm for {A}pplicative {L}anguages},
  ORGANIZATION = {Lawrence Livermore National Laboratory},
  ADDRESS      = {LLNL, Livermore California},
  EDITION      = {},
  YEAR         = 1985,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {Mainly of interest for implementators;
                  Detailed description of IF1, the first intermediate language
                  of SISAL. Manual like, containing some examples.},
  TOPICS   = {Sisal}
}

@TECHREPORT{ SS88,
  AUTHOR      = {S. Skedzielewski and R.J. Simpson},
  EMAIL       = {},
  TITLE       = {{A} {S}imple {M}ethod to {R}emove {R}eference {C}ounting in {A}pplicative
                 {L}anguages},
  INSTITUTION = {Lawrence Livermore National Laboratory},
  ADDRESS     = {LLNL, Livermore California},
  TYPE        = {},
  NUMBER      = {UCRL-100156},
  YEAR        = 1988,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {submitted to {ACM} {SIGPLAN} Programming Languages Design and
                 Implementation 89;
                 Describes the prototype "update in place" mechanism of
                 SISAL which is improved by D. Cann's mechanism.} ,
  TOPICS   = {Sisal}
}

@INCOLLECTION{ SW85,
  AUTHOR    = {S. Skedzielewski and M.L. Welcome},
  EMAIL     = {},
  TITLE     = {{D}ata {F}low {G}raph {O}ptimization in {I}{F}1},
  EDITOR    = {},
  BOOKTITLE = {FPCA '85, Nancy},
  SERIES    = {LNCS},
  VOLUME    = {201},
  PUBLISHER = {Springer},
  YEAR      = 1985,
  PAGES     = {17-34},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {Describes the experiences of applying standard compiler
               optimization techniques (like inlining, CSE & loop invariant
               removal) to data flow languages, esp.SISAL.},
  TOPICS   = {Sisal}
  }

% formerly SBEP93
@TECHREPORT{ SmetBareEeke+93,
  AUTHOR      = {S. Smetsers and E. Barendsen and M. van Eekelen and R. Plasmeijer},
  EMAIL       = {},
  TITLE       = {{G}uaranteeing {S}afe {D}estructive {U}pdates through a {T}ype {S}ystem
                 with {U}niqueness {I}nformation for {G}raphs},
  INSTITUTION = {University of Nijmegen},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1993,
  NOTE        = {},
  FTP         = {Zeus.cs.kun.nl},
  KEYWORDS    = {},
  CONTENTS    = {After a brief (!) introduction on graphes and types on graphes
                 the idea of the UNQ type is presented. This leads to a formal
                 specification and a correctness proof. Finally a quicksort
                 algorithm permitting the use of destructive updates is presented.} ,
  TOPICS   = {Clean,Uniqueness Types,Uniqueness}
}

@TECHREPORT{ Snyder99,
  AUTHOR      = {L. Snyder},
  EMAIL       = {},
  TITLE       = {{A} {ZPL} {P}rogramming {G}uide ({V}ersion 6.3)},
  INSTITUTION = {University of Washington},
  ADDRESS     = {},
  TYPE        = {Technical {R}eport},
  NUMBER      = {},
  YEAR        = 1999,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {ZPL}
}

@MANUAL{ Stallman94,
  AUTHOR       = {R.M. Stallman},
  EMAIL        = {},
  TITLE        = {{U}sing and {P}orting {GNU} {CC}},
  ORGANIZATION = {Free Software Foundation},
  ADDRESS      = {Cambridge, USA},
  EDITION      = {},
  YEAR         = 1994,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {},
  sourceURL    = {},
  TOPICS       = {C}
}

@ARTICLE{ Staples80,
  AUTHOR   = {J. Staples},
  EMAIL    = {},
  TITLE    = {{C}omputation on {G}raph-{L}ike {E}xpressions},
  JOURNAL  = {Theoretical Computer Science},
  YEAR 	   = 1980,
  VOLUME   = {10},
  NUMBER   = {},
  PAGES    = {171-185},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {}
  }

@BOOK{ Stroustrup91,
  AUTHOR    = {B. Stroustrup},
  EMAIL     = {},
  TITLE     = {{T}he {C++} {P}rogramming {L}anguage},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1991,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Manuals}
  }

% tttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttt

@BOOK{ Tan92,
  AUTHOR    = {A.S. Tannenbaum},
  EMAIL     = {},
  TITLE     = {{M}odern {O}perating {S}ystems},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Prentice-Hall},
  YEAR      = 1992,
  NOTE      = {ISBN 0-13-595752-4},
  FTP       = {},
  KEYWORDS  = {UNIX,OS},
  CONTENTS  = {Allgemeine Darstellung aller Komponenten des Unix-Systems.
               Dieses Buch bietet dem Einsteiger eine F\"ulle von Informationen
               in einer verst\"andlichen Form, bleibt aber in der Unix-Version
               universell.},
  TOPICS    = {Operating Systems}
  }

@TECHREPORT{ CM5_91,
  AUTHOR      = {Thinking Machines Corporation},
  EMAIL       = {},
  TITLE       = {{CM}-5 {T}echnical {S}ummary},
  INSTITUTION = {Thinking Machines Corporation},
  ADDRESS     = {},
  TYPE        = {},
  NUMBER      = {},
  YEAR        = 1991,
  NOTE        = {},
  FTP         = {},
  KEYWORDS    = {},
  CONTENTS    = {} ,
  sourceURL   = {},
  TOPICS      = {CM}
}

@MASTERSTHESIS{ Timm97,
  AUTHOR   = {S. Timm},
  EMAIL    = {},
  TITLE    = {{Z}ur {I}mplementierung von {E}in-/{A}usgabe-{O}perationen in {\sc KiR}},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1997,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {KiR}
}

@PHDTHESIS{ Tu86,
  AUTHOR   = {H-C. Tu},
  EMAIL    = {},
  TITLE    = {{FAC}: {F}unctional {A}rray {C}alculator and its {A}pplication
              to {APL} and {F}unctional {P}rogramming},
  SCHOOL   = {Yale University},
  ADDRESS  = {},
  YEAR     = 1986,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Dense Arrays,Language Manuals}
}

@ARTICLE{ TP86,
  AUTHOR   = {H-C. Tu and A.J. Perlis},
  EMAIL    = {},
  TITLE    = {{FAC}: {A} {F}unctional {APL} {L}anguage},
  JOURNAL  = {IEEE Software},
  YEAR 	   = 1986,
  VOLUME   = {3},
  NUMBER   = {1},
  PAGES    = {36-45},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Language Manuals}
  }

@ARTICLE{ Turner79,
  AUTHOR   = {D.A. Turner},
  EMAIL    = {},
  TITLE    = {{A} {N}ew {I}mplementation {T}echnique for {A}pplicative {L}anguages},
  JOURNAL  = {Software-Practice and Experience},
  YEAR 	   = 1979,
  VOLUME   = {9},
  NUMBER   = {},
  PAGES    = {31-49},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Compilation Schemes}
  }

@INCOLLECTION{ Turner85,
  AUTHOR    = {D.A. Turner},
  EMAIL     = {},
  TITLE     = {{M}iranda: a {N}on-{S}trict {F}unctional {L}anguage with
               {P}olymorphic {T}ypes},
  EDITOR    = {},
  BOOKTITLE = {IFIP '85, Nancy},
  SERIES    = {LNCS},
  VOLUME    = {201},
  PUBLISHER = {Springer},
  YEAR      = 1985,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS      = {Language Manuals}
  }

@ARTICLE{ Turner86,
  AUTHOR   = {D.A. Turner},
  EMAIL    = {},
  TITLE    = {{A}n {O}verview of {M}iranda},
  JOURNAL  = {{SIGPLAN} Notices},
  YEAR 	   = 1986,
  VOLUME   = {21},
  NUMBER   = {12},
  PAGES    = {158-166},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Language Manuals}
  }

% uuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuu
% vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv

@INCOLLECTION{ Veldhuizen98,
  AUTHOR    = {T.L. Veldhuizen},
  EMAIL     = {},
  TITLE     = {{A}rrays in {B}litz{++}},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 2nd International Scientific Computing
               in Object-Oriented Parallel Environments (ISCOPE'98)},
  SERIES    = {LNCS},
  VOLUME    = {},
  PUBLISHER = {Springer},
  YEAR      = 1998,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

@INPROCEEDINGS{ Veldhuizen99,
  AUTHOR    = {T.L. Veldhuizen},
  EMAIL     = {},
  TITLE     = {{C++} {T}emplates as {P}artial {E}valuation},
  EDITOR    = {O. Danvy},
  BOOKTITLE = {Proceedings of PEPM'99, The ACM SIGPLAN Workshop on
               Partial Evaluation and Semantics-Based Program
               Manipulation},
  PUBLISHER = {University of Aarhus, Dept. of Computer Science},
  YEAR      = 1999,
  PAGES     = {13--18},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

% wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

@ARTICLE{ Wadler90b,
  AUTHOR   = {P.L. Wadler},
  EMAIL    = {},
  TITLE    = {{D}eforestation: transforming programs to eliminate trees},
  JOURNAL  = {Theoretical Computer Science},
  YEAR     = 1990,
  VOLUME   = {73},
  NUMBER   = {2},
  PAGES    = {231-248},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL = {"ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/authors/Philip_Wadler/deforestation.dvi"},
  TOPICS    = {Haskell,Dense Arrays,Deforestation}
  }

@ARTICLE{ Wadler92a,
  AUTHOR   = {P. Wadler},
  EMAIL    = {},
  TITLE    = {{C}omprehending {M}onads},
  JOURNAL  = {Mathematical Structures in Computer Science},
  YEAR     = 1992,
  VOLUME   = {2},
  NUMBER   = {4},
  PAGES    = {},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {(Special issue of selected papers from 6'th Conference
              on Lisp and Functional Programming.)},
  TOPICS    ={Monads}
  }

@INPROCEEDINGS{ Wadler90a,
  AUTHOR    = {P. Wadler},
  EMAIL     = {},
  TITLE     = {{L}inear types can change the world!},
  EDITOR    = {M. Broy and C.B. Jones},
  BOOKTITLE = {Programming Concepts and Methods},
  PUBLISHER = {Noth Holland},
  YEAR      = 1990,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  TOPICS    ={Linear Types}
  }

@INPROCEEDINGS{ Wadler92b,
  AUTHOR    = {P. Wadler},
  EMAIL     = {},
  TITLE     = {{T}he essence of functional programming},
  EDITOR    = {},
  BOOKTITLE = {POPL '92, Albequerque},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1992,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {Easy to understand introduction on monadic programming style.
               A very simple lambda calculus interpreter is used as an example
               and shows up the flexibility of the monadic style. Finally a
               brief comparison against CPS is made.},
  TOPICS    ={Monads}
  }

% formerly WB89

@INPROCEEDINGS{ WadlBlot89,
  AUTHOR    = {P. Wadler and S. Blott},
  EMAIL     = {},
  TITLE     = {{H}ow to {M}ake ad-hoc {P}olymorphism {L}ess ad hoc},
  EDITOR    = {},
  BOOKTITLE = {POPL '89},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1989,
  PAGES     = {60-76},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Type Classes}
  }

@BOOK{ Warsi93,
  AUTHOR    = {Z.U.A. Warsi},
  EMAIL     = {},
  TITLE     = {{F}luid {D}ynamics: {T}heoretical and {C}omputational
               {A}pproaches},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {CRC Press},
  YEAR      = 1993,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Algorithms,Implmentation}
  }

@BOOK{ Wehnes85,
  AUTHOR    = {H. Wehnes},
  EMAIL     = {},
  TITLE     = {{FORTRAN}-77: {S}trukturierte {P}rogrammierung mit {FORTRAN}-77},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Carl Hanser Verlag},
  YEAR      = 1985,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Fortran,Language Manuals}
  }

@INPROCEEDINGS{ Weigang85,
  AUTHOR    = {J. Weigang},
  EMAIL     = {},
  TITLE     = {{A}n {I}ntroduction to {STSC}'s APL compiler},
  EDITOR    = {},
  BOOKTITLE = {APL89 Conference Proceedings},
  PUBLISHER = {{ACM} {SIGAPL} Quota Quad, volume 15},
  YEAR      = 1989,
  PAGES     = {231-238},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {APL,Dense Arrays,Compilation Schemes}
  }

@MANUAL{ WSKR86,
  AUTHOR       = {M. Welcome and S. Skedzielewski and R.K. Yates and J. Ranelletti},
  EMAIL        = {},
  TITLE        = {{I}{F}2 {A}n {A}pplicative {L}anguage {I}ntermediate {F}orm with
                  {E}xplicit {M}emory {M}anagement},
  ORGANIZATION = {Lawrence Livermore National Laboratory},
  ADDRESS      = {LLNL, Livermore California},
  EDITION      = {},
  YEAR         = 1986,
  NOTE         = {},
  FTP          = {},
  KEYWORDS     = {},
  CONTENTS     = {Mainly of interest for implementators;
                  Detailed description of IF2, the second intermediate language of
                  SISAL. It introduces "non-functional" features like memory
                  management, artifical data dependencies and code reorganisation
                  based on applicative order semantics due to efficiency of target
                  code into IF1. },
  TOPICS   = {Sisal}
}

@BOOK{ Wirth85,
  AUTHOR    = {N. Wirth},
  EMAIL     = {},
  TITLE     = {{P}rogramming in {M}odula-2},
  SERIES    = {Texts and Monographs in Computer Science},
  VOLUME    = {},
  PUBLISHER = {Springer},
  YEAR      = 1985,
  NOTE      = {ISBN 0-387-15078-1},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Language Manuals}
  }

@ARTICLE{ Wise85,
  AUTHOR   = {D. Wise},
  EMAIL    = {},
  TITLE    = {{R}epresenting matrices as quadtrees for parallel processors},
  JOURNAL  = {Inf. Process. Lett.},
  YEAR 	   = 1985,
  VOLUME   = {20},
  NUMBER   = {},
  PAGES    = {195-199},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Array Data Layout,Dense Arrays,Sparse Arrays}
  }

@INCOLLECTION{ Wise00,
  AUTHOR    = {D. Wise},
  EMAIL     = {},
  TITLE     = {{A}hnentafel indexing into {M}orton-ordered arrays, or matrix locality for free},
  EDITOR    = {A. Bode and T. Ludwig and R. Wism{\"u}ller},
  BOOKTITLE = {Euro-Par 2000 Parallel Processing},
  SERIES    = {LNCS},
  VOLUME    = {1900},
  PUBLISHER = {Springer},
  YEAR      = 2000,
  PAGES     = {24-33},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Array Data Layout,Dense Arrays,Sparse Arrays}
  }

@INCOLLECTION{ WiseFrenGu+01,
  AUTHOR    = {D. Wise and J.D. Frens and Y. Gu and others },
  EMAIL     = {},
  TITLE     = {{L}anguage {S}upport for {M}orton-ordered {M}atrices},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the 8th {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming},
  SERIES    = {{SIGPLAN} {N}otices},
  VOLUME    = {36(7)},
  PUBLISHER = {{ACM}},
  YEAR      = 2001,
  PAGES     = {24-33},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {"http://www.cs.indiana.edu/~dswise/ppopp01.pdf"},
  TOPICS    = {Array Data Layout,Dense Arrays,Sparse Arrays}
  }

@ARTICLE{ WolfLam91a,
  AUTHOR   = {M. E. Wolf and M. S. Lam},
  EMAIL    = {},
  TITLE    = {{A} {L}oop {T}ransformation {T}heory and
              {A}n {A}lgorithm to {M}aximize {P}arallelism},
  JOURNAL  = {IEEE TOPDS},
  YEAR 	   = 1991,
  VOLUME   = {},
  NUMBER   = {},
  PAGES    = {},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {}
  }

@INPROCEEDINGS{ WolfLam91,
  AUTHOR    = {M. E. Wolf and M. S. Lam},
  EMAIL     = {},
  TITLE     = {A Data Locality Optimizing Algorithm},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM {SIGPLAN}'91} Conference on
               Programming Language Design and Implementation},
  PUBLISHER = {},
  YEAR      = 1991,
  PAGES     = {30--44},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {Complete theory of loop transformations to improve
               cache performance, i.e. maximizing locality at the
               cache level},
  sourceURL = {http://suif.stanford.edu/papers/wolf91a.ps},
  TOPICS    = {Loop Transformation,Cache Utilization,SUIF},
  }

@MASTERSTHESIS{ Wolf95,
  AUTHOR   = {H. Wolf},
  EMAIL    = {},
  TITLE    = {{\sc Sac} {$\rightarrow$} {C} -- {E}in {B}asiscompiler f{\"u}r
              die funktionale {P}rogrammiersprache {\sc Sac}},
  SCHOOL   = ifi,
  ADDRESS  = {},
  YEAR     = 1995,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {http://www.informatik.uni-kiel.de/~sacbase/doc/sac2c-basiscompiler-dipl-hw-95.dvi.gz},
  TOPICS   = {SAC,Masterthesis/PhD}
}

@BOOK{ Wolfe95,
  AUTHOR    = {M.J. Wolfe},
  EMAIL     = {},
  TITLE     = {{High-Performance Compilers for Parallel Computing}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1995,
  NOTE      = {ISBN 0-8053-2730-4},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Compiler Optimization Surveys}
  }

% xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

@INPROCEEDINGS{ XiPfen98,
  AUTHOR    = {H. Xi and F. Pfenning},
  EMAIL     = {},
  TITLE     = {{E}liminating {A}rray {B}ound {C}hecking {T}hrough {D}ependent {T}ypes},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM} Conference on
                 Programming Language Design and Implementation
                 ({PLDI})},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1998,
  PAGES     = {249-257},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Dependent Types}
  }

@INPROCEEDINGS{ XiPfen99,
  AUTHOR    = {H. Xi and F. Pfenning},
  EMAIL     = {},
  TITLE     = {{D}ependent {T}ypes in {P}ractical {P}rogramming},
  EDITOR    = {},
  BOOKTITLE = {POPL '99},
  PUBLISHER = {{ACM} Press},
  YEAR      = 1999,
  PAGES     = {214-227},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Dependent Types}
  }

% yyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy

@INPROCEEDINGS{ YiAdveKenn00,
  AUTHOR    = {Q. Yi and V. Adve and K. Kennedy},
  EMAIL     = {},
  TITLE     = {{T}ransforming {L}oops {T}o {R}ecursion for {M}ulti-{L}evel {M}emory {H}ierarchies},
  EDITOR    = {},
  BOOKTITLE = {Proceedings of the {ACM} {SIGPLAN}'00 Conference on
                 Programming Language Design and Implementation
                 ({PLDI}), Vancouver, Canada},
  PUBLISHER = {{ACM} Press},
  YEAR      = 2000,
  PAGES     = {},
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {}
  }

% zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz

@PHDTHESIS{ Zenger98,
  AUTHOR   = {Christoph Zenger},
  EMAIL    = {},
  TITLE    = {{I}ndizierte {T}ypen},
  SCHOOL   = {Universit{\"a}t Karlsruhe},
  ADDRESS  = {},
  YEAR     = 1998,
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {} ,
  sourceURL= {},
  TOPICS   = {Indexed Types}
}

@ARTICLE{ ZBG88,
  AUTHOR   = {H. Zima and H. Bast and M. Gerndt},
  EMAIL    = {},
  TITLE    = {{SUPERB}: a {T}ool for {S}emi-{A}utomatic {SIMD/MIMD} {P}arallelization},
  JOURNAL  = {Parallel Computing},
  YEAR 	   = 1988,
  VOLUME   = {6},
  NUMBER   = {1},
  PAGES    = {1-18},
  NOTE     = {},
  FTP      = {},
  KEYWORDS = {},
  CONTENTS = {},
  sourceURL= {},
  TOPICS   = {Exploiting Concurrency}
  }

% formerly ZC91
@BOOK{ ZimaChap91,
  AUTHOR    = {H. Zima and B. Chapman},
  EMAIL     = {},
  TITLE     = {{Supercompilers for Parallel and Vector Computers}},
  SERIES    = {},
  VOLUME    = {},
  PUBLISHER = {Addison-Wesley},
  YEAR      = 1991,
  NOTE      = {},
  FTP       = {},
  KEYWORDS  = {},
  CONTENTS  = {},
  sourceURL = {},
  TOPICS    = {Compiler Optimization Surveys}
  }