@string{fpca95 = "Conference Record of {FPCA} '95, {SIGPLAN-SIGARCH-WG}2.8
		    {C}onference on {F}unctional {P}rogramming {L}anguages and
		    {C}omputer {A}rchitecture"}

@techreport   {backhouse88,
  AUTHOR      = "R.C. Backhouse",
  TITLE       = "An Exploration of the {B}ird--{M}eertens Formalism",
  INSTITUTION = "Department of Mathematics and Computing Science,
		 University of Groningen",
  YEAR        = 1988,
  NUMBER      = "Computing Science Notes CS 8810",
  NOTE        = ""}

@inproceedings{backhouse91a,
  AUTHOR      = "Backhouse, R.C. and de Bruin, P.J. and Hoogendijk, P.
		 and Malcolm, G. and Voermans, T.S. and van der Woude,
		 J.C.S.P.",
  TITLE       = "Relational catamorphisms",
  BOOKTITLE   = "Constructing Programs from Specifications",
  EDITOR      = "B. M{\"{o}}ller",
  YEAR        = 1991,
  PUBLISHER   = "North-Holland",
  PAGES       = "287--318"}

@inproceedings{backhouse91b,
  AUTHOR      = "Backhouse, R.C. and de Bruin, P.J. and Hoogendijk, P.
		 and Malcolm, G. and Voermans, T.S. and van der Woude,
		 J.C.S.P.",
  TITLE       = "Polynomial relators",
  BOOKTITLE   = "Proceedings second Conference on Algebraic Methodology
		 and Software Technology",
  YEAR        = 1991}

@MastersThesis{berglund96,
  author = 	 {Patrik Berglund},
  title = 	 {A polytypic rewriting system},
  school = 	 {Chalmers University of Technology},
  year = 	 1996,
  note = 	 {Forthcoming},
  }

@inproceedings{bird87,
  AUTHOR      = "R.S. Bird",
  TITLE       = "An introduction to the theory of lists",
  BOOKTITLE   = "Logic of Programming and Calculi of Discrete Design",
  SERIES      = "NATO ASI Series",
  VOLUME      = "F36",
  EDITOR      = "M. Broy",
  PAGES       = "5--42",
  PUBLISHER   = "Springer--Verlag",
  YEAR        = "1987"}

@inproceedings{bird89,
  AUTHOR      = "R.S. Bird",
  TITLE       = "Lectures on Constructive Functional Programming",
  BOOKTITLE   = "Constructive Methods in Computing Science",
  SERIES      = "NATO ASI Series",
  VOLUME      = "F55",
  EDITOR      = "M. Broy",
  PAGES       = "151--216",
  PUBLISHER   = "Springer--Verlag",
  YEAR        = "1989",
  abstractURL ="http://www.comlab.ox.ac.uk/oucl/publications/monos/PRG-69.html",
  keywords    ="BMF"

}

@Article      {birddemoorhoogendijk93,
  title={Generic functional programming with types and relations},
  author={Richard Bird and Oege de Moor and Paul Hoogendijk},
  pages={1--28},
  journal="Journal of {F}unctional {P}rogramming",
  year=1996,
  volume=6,
  number=1
  }

@mastersthesis{bjoerk97,
  AUTHOR="Björk, Staffan",
  TITLE="Polytypic parsing",
  YEAR="1997",
  SCHOOL="University of Göteborg",
  NOTE="Forthcoming"}

@InProceedings{vandijk95,
  author = 	 "Dijk, J. van",
  title = 	 "Monadic Type Inference and Experimental Type Systems",
  booktitle = 	 "Proceedings of 
                  The Workshop on the 
                  Implementation of Functional 
                  Languages '95",
  editor =	 "Johnsson, Thomas",
  year =	 "1995",
  pages =	 "281--293"
}

@TechReport{fegaras96a,
  author = 	 {Fegaras, Leonidas},
  title = 	 {Fusion for Free!},
  institution =  {Department of Computer Science, Oregon Graduate Institute},
  year = 	 {1996},
  number =	 {CSE-96-001},
  note =	 {Available by {\tt ftp} 
                  from {\tt cse.ogi.ed}
                  in {\tt /pub/tech-reports/1996/96-001.ps.gz}},
  key =		 {program fusion, data structures}
  }

@inproceedings{fokker95,
  AUTHOR=     "J. Fokker",
  TITLE=      "Functional Parsers",
  BOOKTITLE=  "Advanced Functional Programming",
  EDITOR=     "J. Jeuring and E. Meijer",
  SERIES=     "Lecture {N}otes in {C}omputer {S}cience",
  VOLUME=     "925",
  PUBLISHER=  "Springer-Verlag",
  YEAR=       "1995"
  } 

@inproceedings{fokkinga91b,
  AUTHOR      = "M.M. Fokkinga",
  TITLE       = "Calculate Categorically!",
  EDITOR      = "J. van Leeuwen",
  BOOKTITLE   = "Proceedings SION Computing Science in the Netherlands",
  PAGES       = "211--230",
  YEAR        = "1991"}

@article{fokkinga91c,
   author= "Fokkinga, M. M."
  ,title= "Datatype Laws without Signatures"
  ,journal = "Mathematical Structures in Computer Science"
  ,year = 1996
  ,volume = "6"
  ,pages = "1--32"
  }

@phdthesis    {fokkinga92,
  AUTHOR      = "M.M. Fokkinga",
  TITLE       = "Law and order in algorithmics",
  SCHOOL      = "Twente University",
  YEAR        = "1992"}

@TECHREPORT   {mmf94a,
   author = "M.M. Fokkinga"
  ,institution = "University of Twente"
  ,month = jun
  ,number = "94-28"
  ,title = "Monadic Maps and Folds for Arbitrary Datatypes"
  ,type = "Memoranda Informatica"
  ,year = "1994"
  }

@unpublished  {hoogendijkbackhouse97,
  AUTHOR ="Hoogendijk, Paul and Backhouse, Roland",
  TITLE="When do datatypes commute?",
  YEAR="1997",
  NOTE="Unpublished manuscript, Eindhoven University of Technology"}

@InProceedings{hu97a,
  author = "Hu, Z. and Iwasaki, H. and Takeichi, M. and Takano, A.",
  title  = "Tupling Calculation Eliminates Multiple Data Traversals",
  booktitle = {{Proceedings of the 2nd ACM SIGPLAN International 
               Conference on Functional Programming (ICFP'97)}},
  year =	 {1997},
  publisher =	 {ACM Press},
  address =	 {Amsterdam, The Netherlands},
  OPTpages = 	 {}
  }

@inproceedings{hughes95,
  AUTHOR=     "J. Hughes",
  TITLE=      "The Design of a Pretty-printing Library",
  BOOKTITLE=  "Advanced Functional Programming",
  EDITOR=     "J. Jeuring and E. Meijer",
  SERIES=     {Lecture {N}otes in {C}omputer {S}cience},
  volume=     "925",
  PUBLISHER=  "Springer-Verlag",
  YEAR=       "1995"
  } 

@mastersthesis{huisman96,
  AUTHOR="Huisman, Marieke",
  TITLE="The calculation of a polytypic parser",
  YEAR="1996",
  SCHOOL="Utrecht University",
  NOTE="INF/SRC-96-19"}

@mastersthesis{jansson95,
  AUTHOR= "P. Jansson",
  TITLE= "Polytypism and polytypic unification",
  SCHOOL= "Computing Science, Chalmers University of Technology", 
  NOTE = "Available from {\tt http://www.cse.chalmers.se/}{\tt \~{}patrikj/}{\tt poly/}\linebreak[0]{\tt masters/}.",
  documentURL="http://www.cse.chalmers.se/~patrikj/papers/masters/masters.html",
  YEAR= "1995"}

@inproceedings{jay95,
  AUTHOR      = "Jay, C. Barry",
  TITLE       = "Polynomial Polymorphism",
  BOOKTITLE   = "Proceedings of the Eighteenth Australasian Computer
		 Science Conference",
  BOOKEDITOR  = "Kotagiri, R.",
  YEAR        = "1995",
  PAGES       = "237--243"}

@article      {jayscp,
  AUTHOR = "Jay, C. Barry",
  TITLE      = "A semantics for shape",	  
  JOURNAL = "Science of Computer Programming",
  VOLUME = "25",
  PAGES = "251--283",
  YEAR = "1995"}		  

@inproceedings{jeuring90a,
  AUTHOR      = "J. Jeuring",
  TITLE       = "Algorithms from Theorems",
  EDITOR      = "M. Broy and C.B. Jones",
  BOOKTITLE   = "Programming Concepts and Methods",
  PUBLISHER   = "North-Holland",
  PAGES       = "247--266",
  YEAR        = "1990",
  NOTE        = ""}

@inproceedings{jeuringppm,
  TITLE       = "Polytypic pattern matching",
  AUTHOR      = "Jeuring, J.",
  PAGES       = "238--248",
  YEAR        = "1995",
  BOOKTITLE   = "Conference Record of {FPCA} '95, {SIGPLAN-SIGARCH-WG}2.8
		    {C}onference on {F}unctional {P}rogramming {L}anguages and
		    {C}omputer {A}rchitecture"}  

@unpublished  {jeuringetal94,
  AUTHOR      = "Jeuring, J. and Hutton, G. and Moor, O. de",
  TITLE       = "Hollum -- a polytypic programming extension to Gofer",
  YEAR        = "1994",
  NOTE        = "Code obtainable by {\tt ftp} from {\tt ftp.cs.chalmers.se} in
		 the directory {\tt pub/users/johanj/}, file {\tt
		 hollum.tar.Z}"} 

@inproceedings{janssonjeuring1997a,
  author      ="P. Jansson and J. Jeuring",
  title       ="Poly{P} - a polytypic programming language extension",
  booktitle   ="{POPL} '97: The 24th {ACM SIGPLAN-SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages", 
  publisher   ="ACM Press",
  pages       ="470--482", 
  year        ="1997",
  documentURL ="http://www.cse.chalmers.se/~johanj/polytypism/polyp.ps"
  }

@unpublished  {janssonjeuring-polyunify,
  TITLE       = "Polytypic unification",
  AUTHOR      = "Jansson, P. and Jeuring, J.",
  NOTE        = "Submitted for publication. Available from 
		 {\tt http://www.cse.chalmers.se/}{\tt \~{}patrikj/}{\tt poly/}{\tt unify2.ps}",
  documentURL = "http://www.cse.chalmers.se/~patrikj/poly/unify.ps",
  YEAR        = "1997"}

@inproceedings{jeuringjansson-afp,
  TITLE       = "Polytypic Programming",
  AUTHOR      = "Jeuring, J. and Jansson, P.",
  BOOKTITLE   = "{A}dvanced {F}unctional {P}rogramming, {S}econd {I}nternational {S}chool", 
  EDITOR      = "Launchbury, J. and Meijer, E. and Sheard, T.",
  PUBLISHER   = "Springer-Verlag",
  PAGES       = "68--114",		  
  NOTE        = "LNCS 1129",
  YEAR        = "1996"}

@inproceedings{jones95afp,
  AUTHOR      = "Mark P. Jones",
  TITLE       = "Functional Programming with Overloading and
		 Higher-Order Polymorphism",
  BOOKTITLE   = "Advanced Functional Programming",
  EDITOR      = "J. Jeu\-ring and E. Meijer",
  SERIES      = {Lecture {N}otes in {C}omputer {S}cience 925},
  PAGES       = "97--136",
  PUBLISHER   = "Springer-Verlag",
  YEAR        = "1995"
  } 

@inproceedings{malcolm89,
  AUTHOR      = "G. Malcolm",
  TITLE       = "Homomorphisms and promotability",
  EDITOR      = "J.L.A. van de Snepscheut",
  BOOKTITLE   = "Mathematics of Program Construction",
  NOTE        = "LNCS 375",
  PAGES       = "335--347",
  PUBLISHER   = "Springer-Verlag",
  YEAR        = "1989"}

@article      {malcolm90b,
  AUTHOR      = "G. Malcolm",
  TITLE       = "Data structures and program transformation",
  JOURNAL     = "Science of Computer Programming",
  VOLUME      = "14",
  PAGES       = "255-279",
  YEAR        = "1990"}

@inproceedings{meertens86,
  AUTHOR      = "L. Meertens",
  TITLE       = "Algorithmics --- towards programming as a mathematical activity",
  EDITOR      = "J.W. de Bakker and M. Hazewinkel and J.K. Lenstra",
  BOOKTITLE   = "Proceedings of the CWI Symposium on Mathematics and
		 Computer Science", 
  SERIES      = "CWI Monographs",
  VOLUME      = "1",
  PAGES       = "289--334",
  PUBLISHER   = "North--Holland",
  YEAR        = "1986"}

@article      {meertens90,
  AUTHOR      = "L. Meertens",
  TITLE       = "Paramorphisms",
  JOURNAL     = "Formal Aspects of Computing",
  VOLUME      = "4",
  NUMBER      = "5",
  PAGES       = "413--425",
  YEAR        = "1992"}

@InProceedings{meertens96,
  author = 	 {Meertens, L.},
  title = 	 {Calculate Polytypically!},
  booktitle = 	 {Proceedings of the {E}igth {I}nternational 
                  {S}ymposium {PLILP} '96 
                  {P}rogramming {L}anguages: 
                  {I}mplementations, {L}ogics and {P}rograms},
  editor =	 {Kuchen, H. and Swierstra, S.D.},
  volume =	 {1140},
  series =	 {Lecture {N}otes in {C}omputer {S}cience},
  year =	 {1996},
  publisher =	 {Springer {V}erlag},
  pages =	 {1--16},
}

@inproceedings{meijeretal91,
  AUTHOR      = "Meijer, E. and Fokkinga, M. and Paterson, R.",
  TITLE       = "Functional Programming with Bananas, Lenses, Envelopes,
		 and Barbed Wire",
  EDITOR      = "Hughes, J.",
  BOOKTITLE   = "Proceedings of the 5th ACM Conference on Functional
		 Programming Languages and Computer Architecture,
		 FPCA '91",
  PAGES       = "124--144",
  YEAR        = "1991"}

@INPROCEEDINGS{meijerhutton95,
  AUTHOR=     "E. Meijer and G. Hutton",
  TITLE=      "Bananas in Space: Extending Fold and Unfold to Exponential Types",
  BOOKTITLE   = "Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8
		    Conference on Functional Programming Languages and
		    Computer Architecture",
  YEAR=       "1995",
  PAGES=      "324--333"
  }

@inproceedings{meijerjeuring95,
  AUTHOR      = "Meijer, E. and Jeuring, J.",
  TITLE       = "Merging monads and folds for functional programming",
  BOOKTITLE   = "Advanced Functional Programming",
  EDITOR      = "J. Jeuring and E. Meijer",
  SERIES      = {Lecture {N}otes in {C}omputer {S}cience 925},
  PAGES       = "228--266",
  PUBLISHER   = "Springer-Verlag",
  YEAR        = "1995"
  } 

@phdthesis    {demoor91,
  AUTHOR      = "Moor, O. de",
  TITLE       = "Categories, relations and dynamic programming",
  SCHOOL      = "Oxford University",
  NOTE        = "Technical Monograph PRG-98",
  YEAR        = "1992"}

@article      {demoor94,
  AUTHOR      = "Moor, O. de",
  TITLE       = "Categories, relations and dynamic programming",
  JOURNAL     = "Mathematical {S}tructures in {C}omputer {S}cience",
  VOLUME      = "4",
  PAGES       = "33--69",
  YEAR        = "1994"}

@inproceedings{demoor95,
  AUTHOR    = "Moor, O. de",
  TITLE     = "A Generic Program for Sequential Decision Processes",
  BOOKTITLE = "Programming Languages: Implementations, Logics, and Programs, PLILP '95", 
  EDITORS   = "Hermenegildo, M. and Swierstra, D. S.",
  YEAR      = "1995",
  SERIES    = "Lecture Notes in Computer Science",
  VOLUME    = "982",
  PAGES     = "1--23",
  PUBLISHER = "Springer-Verlag"}

@phdthesis    {ruehr92b,
  AUTHOR      = "Ruehr, Fritz",
  TITLE       = "Analytical and Structural Polymorphism Expressed Using
		 Patterns Over Types",
  SCHOOL      = "University of Michigan",
  YEAR        = "1992"}

@InProceedings{rojemo95,
  author = 	 {Niklas R{\"{o}}jemo},
  title = 	 {{Highlights from nhc -- a space-efficient Haskell compiler}},
  booktitle = 	 fpca95,
  publisher =	 {ACM Press},
  year =	 {1995}
}

@unpublished  {sheard93b,
  AUTHOR      = "T. Sheard",
  TITLE       = "Type parametric programming",
  YEAR        = "1993",
  NOTE        = "Unpublished manuscript, Oregon Graduate Institute of Science and Technology, Portland, OR, USA"}

@inproceedings{sheard93c,
  author      ="Sheard, T. and Fegaras, L.",
  title       ="A Fold for All Seasons",
  pages       ="233-242",
  booktitle   ="Proceedings of the 6th {ACM} {C}onference on {F}unctional
		 {P}rogramming {L}anguages and {C}omputer {A}rchitecture
		 {FPCA} '93",
  publisher   ="ACM Press",
  month       ="June",
  year        ="93",
  abstractURL ="ftp://cse.ogi.edu/pub/crml/papers.html",
  documentURL ="ftp://cse.ogi.edu/pub/crml/fpca93.ps.Z"
  }    

@unpublished  {hooksheard93,
  AUTHOR      = "Hook, James and Sheard, Tim",
  TITLE       = "A semantics of compile-time reflection",
  YEAR        = "1993",
  NOTE        = "Oregon Graduate Institute of Science and Technology,
		 Beaverton, OR, USA"}

@TechReport   {sheardnelson95,
  AUTHOR = "Sheard, T. and Nelson, N.",
  TITLE = "Type Safe Abstractions Using Program Generators",
  institution = "Oregon Graduate Institute of Science and Technology, Portland, OR, USA",
  NUMBER = "95-013",
  YEAR = "1995"}		  

@inproceedings{fegarassheard96,
  AUTHOR      = "Fegaras, Leonidas and Sheard, Tim",
  TITLE       = "Revisiting Catamorphisms over Datatypes with Embedded
		    Functions",
  YEAR        = "1996",
  BOOKTITLE   = "Proceedings Principles of Programming Languages, POPL
		    '96"}

@INPROCEEDINGS{takanomeijer95,
  AUTHOR=     "Takano, A. and Meijer, E.",
  TITLE=      "Shortcut deforestation in calculational form",
  BOOKTITLE   = "Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8
		    Conference on Functional Programming Languages and
		    Computer Architecture",
  YEAR=       "1995",
  PAGES=      "306--313"
  }

@MastersThesis{vestin97,
  author = 	 {Vestin, M{\aa}ns },
  title = 	 {Genetic algorithms in Haskell with polytypic programming},
  school = 	 {G{\"{o}}teborg University, Gothenburg, Sweden},
  year = 	 {1997},
  note =	 {Available from {\tt http://www.cse.chalmers.se/\~{}johanj/polytypism/genetic.ps}}
}

@book{belletal90,
TITLE="Text Compression",
AUTHOR="Bell, Timothy C. and Cleary, John G. and
Witten, Ian H.",
PUBLISHER="Prentice Hall",
YEAR="1990"}

@inproceedings{bjm96,
AUTHOR="Bell\`{e}, G. and Jay, C.B. and Moggi, E.",
TITLE="Functorial {M}{L}",
BOOKTITLE="PLILP '96",
NOTE="LNCS",
PUBLISHER ="Springer-Verlag",
YEAR=1996}

@article{bohmberarducci85,
AUTHOR      = "B{\"{o}}hm, C. and Berarducci, A.",
TITLE       = "Automatic synthesis of typed {$\Lambda$}-programs on term
               algebras", 
JOURNAL     = "Theoretical Computer Science",
VOLUME      = "39",
PAGES       = "135--154",
PUBLISHER   = "North-Holland",
YEAR        = "1985"}

@article{cameron88,
		  AUTHOR="Cameron, Robert D.",
		  TITLE="Source Encoding Using Syntactic Information
		  Source Models",
		  JOURNAL="IEEE Transactions on Information Theory",
		  VOLUME="34",
		  NUMBER="4",
		  YEAR="1988",
		  PAGES="843--850"}

@unpublished{cockettfukushima92,
  AUTHOR = "Cockett, R. and Fukushima, T.",
  TITLE = "About {\tt Charity}",
  NOTE = "Unpublished article, see {\tt http://www.cpsc.ucalgary.ca/projects/charity/home.html}",
  YEAR = "1992"}

@article{contla85,
  AUTHOR="Contla, J.F.",
  TITLE="Compact Coding of Syntactically Correct
  Source Programs",
  JOURNAL="Software --- Practice and Experience",
  VOLUME="15",
  NUMBER="7",
  PAGES="625--636",
  YEAR="1985"}

@inproceedings{damasmilner82,
AUTHOR      = "Damas, L. and Milner, R.",
TITLE       = "Principal type-schemes for functional programs",
BOOKTITLE   = "9th Symposium on Priciples of Programming Languages, POPL '82", 
PAGES       = "207--212",
YEAR        = "1982"}

@techreport{davieswitten93,
  AUTHOR="Davies, Rod M. and Witten, Ian H.",
  TITLE="Compressing computer programs",
  INSTITUTION="Department of ComputerScience,
  University of Waikato, Hamilton, New Zealand",
  YEAR=1993,
  NUMBER="93/7"}

@article{dershowitz79,
		  AUTHOR="Dershowitz, N.",
		  TITLE="A note on simplification orderings",
		  JOURNAL="Information Processing Letters",
		  VOLUME="9",
		  NUMBER="5",
		  YEAR="1979",
		  PAGES="212--215"}

@INPROCEEDINGS{Freyd,
AUTHOR=     "P. Freyd",
TITLE=      "Recursive Types Reduced to Inductive Types",
BOOKTITLE=  "Proceedings Logic in Computer Science, LICS '90",
PAGES=      "498--507",
YEAR=       "1990"
}

@book{gammaetal95,
AUTHOR      = "Gamma, E. and Helm, R. and Johnson, R. and Vlissides, J.",
TITLE       = "Design Patterns -- Elements of Reusable Object-Oriented
		  Software",
PUBLISHER   = "Addison-Wesley Publishing Company",
YEAR        = "1995"}

@phdthesis{hagino87a,
AUTHOR      = "T. Hagino",
TITLE       = "Category Theoretic Approach to Data Types",
SCHOOL      = "University of Edinburgh",
YEAR        = "1987"}

@inproceedings{harpermorrisett95,
AUTHOR      = "Harper, Robert and Morrisett, Greg",
TITLE       = "Compiling Polymorphism Using Intensional Type Analysis",
BOOKTITLE   = "22nd Symposium on Priciples of Programming Languages,
               POPL '95", 
PAGES       = "130--141",
YEAR        = "1995"}

@article{hudakpjwadler92,
AUTHOR     = "Fasel, J.H. and Hudak, P. and Pey\-ton Jo\-nes, S. and
              Wad\-ler, P.", 
TITLE      = "Sigplan {N}otices {S}pecial {I}ssue on the {F}unctional
              {P}rogramming {L}anguage {H}askell",
JOURNAL    = "ACM SIGPLAN notices",
VOLUME     = "27",
NUMBER     = "5",
PAGES      = "",
YEAR       = "1992"}

@unpublished{gofer93,
AUTHOR      = "Jones, Mark P.",
TITLE       = "{G}ofer",
YEAR        = "1995",
NOTE        = "Available via ftp on {\tt ftp.cs.nott.ac.uk}"}

@book{jones94,
  AUTHOR ="Jones, Mark P.",
  TITLE="Qualified Types: Theory and Practice",
  PUBLISHER="Cambridge University Press",
  YEAR="1994"}

@inproceedings{JonesMarkP1994a,
 author      ="Jones, Mark P.",
 title       ="Dictionary-Free Overloading by Partial Evaluation",
 address     ="Orlando, Florida",
 booktitle   ="ACM SIGPLAN Workshop on Partial Evaluation and 
               Semantics-Based Program Manipulation",
 month       ="June",
 year        ="1994",
 scope       ="partial",
 abstractURL ="http://www.cs.nott.ac.uk:80/Department/Staff/mpj/pepm94.html",
 documentURL ="ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/papers/pepm94.ps.Z",
 keywords    ="type classes"
}

@article{jones95jfp,
  TITLE="A system of constructor classes: overloading
	  and implicit higher-order poly\-mor\-phism",
  AUTHOR="Mark P. Jones",
  JOURNAL="Journal of Functional Programming",
  PAGES="1--35",
  YEAR="1995"}

@article{katajainenetal86,
  AUTHOR="Katajainen, J. and Penttonen, M. and
  Teuhola, J.",
  TITLE="Syntax-directed Compression of Program
  Files",
  JOURNAL="Soft\-ware--Practice and Experience",
  VOLUME="16",
  NUMBER="3",
  PAGES="269--276",
  YEAR="1986"}

@inproceedings{klop92,
AUTHOR = "Klop, J.W.",
TITLE  = "Term rewriting systems",
BOOKTITLE = "Handbook of Logic in Computer Science",
EDITORS = "Abramsky, S. and Gabbay, D.M. and Maibaum, T.S.E.",
PAGES = "1--116",
PUBLISHER = "Oxford University Press",
YEAR = "1992"}		  

@article{knight89,
AUTHOR = "Knight, K.",
TITLE = "Unification: A Multidisciplinary Survey",
JOURNAL = "Computing Surveys",
PAGES = "93--124",
VOLUME = "21",
NUMBER = "1",
YEAR = "1989"}

@inproceedings{knuthbendix70,
		  AUTHOR="Knuth, D.E. and Bendix, P.B.",
		  TITLE="Simple word problems in universal algebras",
		  EDITOR="Leech, J.",
		  YEAR="1970",
		  BOOKTITLE="Computational Problems in Abstract
		  Algebra",
		  PAGES="263--297",
		  PUBLISHER="Pergamon Press"}

@article{lehmannsmyth81,
AUTHOR = "Lehmann, D.J. and Smyth, M.B.",
TITLE = "Algebraic Specification of Data Types: A Synthetic Approach",
JOURNAL = "Math. Systems Theory",
VOLUME = "14",
YEAR = "1981",
PAGES = "97--139"}		  

@article{lslx94,
  AUTHOR = "Lieberherr, K.J. and Silva-Lepe, I. and
  Xiao, C.",
  TITLE = "Adaptive Object-Oriented Programming ---
  Using Graph-Based Customization",
  JOURNAL = "Communications of the ACM",
  YEAR  = "1994",
  PAGES = "94--101"}

@book{manesarbib86,
AUTHOR      = "E.G. Manes and M.A. Arbib",
TITLE       = "Algebraic Approaches to Program Semantics",
YEAR        = "1986",
PUBLISHER   = "Springer Verlag",
SERIES      = "Text and Monographs in Computer Science"}

@inproceedings{martellietal86,
  AUTHOR = " Martelli, A. and Moiso, C. and Rossi,
  C.F.",
  TITLE="An algorithm for unification in equational
  theories",
  YEAR="1986",
  PAGES="180--186",
  BOOKTITLE="Proc. Symposium on Logic Programming"}

@InProceedings{moggi89,
  author = 	 {E. Moggi 
},
  title = 	 {Computational Lambda-Calculus and Monads},
  booktitle = 	 {{Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89)}},
  year =	 {1989},
  pages =	 {14--23}
  }

@ARTICLE{Moggi,
AUTHOR=     "E. Moggi",
TITLE=      "Notions of Computation and Monads",
JOURNAL=    "Information and Computation",
VOLUME=     "93",
NUMBER=     "1",
YEAR=       "1991",
PAGES=      "55--92"
}

@article{pxl95,
  AUTHOR = "Palsberg, J. and Xiao, C. and Lieberherr, K.",
  TITLE = "Efficient Implementation of Adaptive Software",
  JOURNAL = "TOPLAS",
  PAGES ="264--292",
  VOLUME= "17",
  NUMBER="2",
  YEAR = "1995"}

@article{Robinson1965,
 author      ="Robinson, J.A.",
 title       ="A Machine-oriented Logic Based on the Resolution Principle",
 pages       ="23--41",
 volume      ="12",
 journal     ="Journal of the {ACM}",
 year        ="1965"
}

@article{sheard91,
AUTHOR      = "Sheard, Tim",
TITLE       = "Automatic Generation and use of abstract structure
               operators", 
JOURNAL     = "ACM Transactions on Programming Languages and Systems",
VOLUME      = "13",
NUMBER      = "4",
PAGES       = "531--557",
YEAR        = "1991"}

@article{stone86,
  AUTHOR="Stone, R.G.",
  TITLE="On the Choice of Grammar and Parser for the
  Compact Analytical Encoding of Programs",
  JOURNAL="The Computer Journal",
  VOLUME="29",
  NUMBER="4",
  YEAR="1986",
  PAGES="307--314"}

@inproceedings{wadler89,
AUTHOR      = "P. Wadler",
TITLE       = "Theorems for free!",
BOOKTITLE   = "Functional Programming Languages and Computer
		  Architecture, FPCA '89",
PUBLISHER   = "ACM Press",
PAGES       = "347--359",
YEAR        = "1989",
NOTE        = ""}

@INPROCEEDINGS{Deforestation,
AUTHOR=     "P. Wadler",
TITLE=      "Deforestation: transforming programs to eliminate trees",
BOOKTITLE=  "Proceedings European Sytmposium on Programming, ESOP88",
NOTE=       "LNCS 300",
PAGES=      "344--358",
PUBLISHER=  "Springer-Verlag",
YEAR=       "1988"
}

@article{welch84,
		  AUTHOR="Welch, T.A.",
		  TITLE="A technique for high-performance data
		  compression",
		  JOURNAL="IEEE Computer",
		  VOLUME="17",
		  NUMBER="6",
		  YEAR="1984",
		  PAGES="8--19"}

@article{zivlempel77,
  AUTHOR="Ziv, J. and Lempel, A.",
  TITLE="A universal algorithm for sequential data
  compression",
  JOURNAL="IEEE Transactions on Information Theory",
  PAGES="337--343",
  YEAR="1977",
  VOLUME="23",
  NUMBER="3"}

 @manual{augustsson:hbc-manual,
	 AUTHOR = {L. Augustsson},
	 TITLE	= {{HBC User's Manual}},
	 YEAR = {1993},
	 ORGANIZATION = {Programming Methodology Group,
			 Department of Computer Sciences,
			 Chalmers},
	 ADDRESS = {S--412 96 G\"{o}teborg, Sweden},
	 NOTE = {Distributed with the {HBC} compiler.}
 }

@Article{barendregt:GTS,
   author = 	 "H.~P. Barendregt",
   title = 	 "{Introduction to Generalised Type Systems}",
   journal = 	 "J. Functional Programming",
   year = 	 "1991",
   volume = 	 "1(2)",
   pages = 	 "125-154",
   month = 	 "April",
 }

@book{peyton-jones:implementation,
	TITLE	= {{The Implementation of Functional Programming Languages}},
	AUTHOR = {Peyton~Jones, S. L.},
	PUBLISHER = {Prentice Hall},
        ISBN = {0-13-45333-X},
	YEAR = {1987}
}