@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}
}