@proceedings{.1, editor = {Bauer, F.L. and Eickel J.}, publisher = Springer, signature = {RH}, title = {Compiler Construction}, booktitle = {Compiler Construction}, year = 1976 } @proceedings{.2, editor = {Bjorner, Dines and Oest, Ole Nybye}, note = {LNCS 98}, publisher = Springer, signature = {RH}, title = {Towards a Formal Description of Ada}, booktitle = {Towards a Formal Description of Ada}, year = 1980 } @inproceedings{ABL86Fin, author = {Amadio, Roberto and Bruce, Kim B. and Longo, Giuseppe}, booktitle = {Proceedings of the Symposium on Logic in Computer Science, {Cambridge, Massachusetts}}, month = jun, organization = {IEEE Computer Society}, pages = {122--130}, title = {The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations}, year = 1986 } @inproceedings{ACPP89Dyn, address = {New York, NY, USA}, author = {M. Abadi and L. Cardelli and B. Pierce and G. Plotkin}, booktitle = {Proceedings of the sixteenth annual {ACM} symposium on Principles of programming languages ({POPL} '89), January 11--13, 1989, Austin, {TX}}, editor = {{ACM}}, keywords = {design; languages}, pages = {213--227}, publisher = ACM-Press, title = {Dynamic typing in a statically-typed language}, year = {1989}, zzz = {{\bf D.3.3} Software, PROGRAMMING LANGUAGES, Language Constructs and Features, Data types and structures. {\bf F.3.2} Theory of Computation, LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages, Denotational semantics. {\bf F.3.2} Theory of Computation, LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages, Operational semantics.} } @article{ACPP91Dyn, author = {Mart\'{\i}n Abadi and Luca Cardelli and Benjamin Pierce and Gordon Plotkin}, journal = {ACM Transactions on Programming Languages and Systems}, month = apr, number = {2}, pages = {237--268}, publisher = {ACM}, title = {Dynamic Typing in a Statically Typed Language}, volume = {13}, year = {1991} } @techreport{ACPR94Dyn, author = {Martin Abadi and Luca Cardelli and Benjamin Pierce and Didier Remy}, institution = {DEC SRC}, month = jan, number = {120}, title = {Dynamic Typing in Polymorphic Languages}, year = {1994}, zzz = {There are situations in programming where some dynamic typing is needed, even in the presence of advanced static type systems. We investigate the interplay of dynamic types with other advanced type constructions, discussing their integration into languages with explicit polymorphism (in the style of system F), implicit polymorphism (in the style of ML), abstract data types, and subtyping.} } @article{ACPR95Dyn, author = {Abadi, M. and Cardelli, L. and Pierce, B. and R\'{e}my, D.}, journal = {Journal of Functional Programming}, month = jan, number = 1, pages = {111--130}, title = {Dynamic typing in polymorphic languages}, volume = 5, year = 1995 } @inproceedings{AGO88, author = {Albano, A. and Giannotti, F. and Orsini, R. and Pedreschi, D.}, comment = {RH:DA}, crossref = "DTAP", signature = {RH:TS2, BI 3370/DATA}, title = {The Type System of {G}alileo} } @book{AHU83Dat, author = {Aho, Alfred V. and Hopcroft, John E. and Ullman, Jeffrey D.}, publisher = Addison-Wesley, title = {Data Structures and Algorithms}, booktitle = {Data Structures and Algorithms}, year = 1983 } @article{AVL62Org, author = {Adel'son-Vel'ski\u{\i}, G.M. and Landis, Y.M.}, journal = {Doklady Akademiia Nauk {SSSR}}, note = {English translation in Soviet Math. Dokl.~3, pp.~1259--1263}, pages = {263--266}, title = {An algorithm for the organization of information}, volume = 146, year = 1962 } @article{Aas88Eff, author = {Aasa, Annika and Holmstr{\"o}m, S{\"o}ren and Nilsson, Christina}, journal = {BIT}, number = 3, pages = {490--503}, title = {An efficiency comparison of some representations of purely functional arrays}, volume = 28, year = 1988 } @book{AbS87, author = {Abelson, Harold and Sussman, Gerald J.}, edition = {sixth}, publisher = MIT-Press, title = {Structure and Implementation of Computer Programms}, booktitle = {Structure and Implementation of Computer Programms}, year = 1987 } @inproceedings{Abr85Str, address = {Berlin}, author = {Abramsky, S.}, booktitle = {Proceedings of the Workshop on Programs as Data Objects (Copenhagen)}, editor = {Ganzinger H. and Jones N.}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Strictness Analysis And Polymorphic Invariance}, volume = 217, year = 1985 } @inbook{Abr90Abs, author = {Abramsky, S.}, journal = {Journal of Logic and Computation}, pages = {5-39}, title = {Abstract Interpretation, Logical Relations, and Kan Extensions}, volume = 1, year = 1990 } @techreport{AcH02Com, author = {Achten, Peter and Hinze, Ralf}, institution = {Nijmegen Institute for Computing and Information Sciences, University of Nijmegen}, month = jul, number = {NIII-R0206}, title = {Combining Generics and Dynamics}, year = 2002 } @article{Ada93Eff, author = {Adams, Stephen}, journal = {Journal of Functional Programming}, month = oct, number = 4, pages = {553--561}, title = {{Functional Pearls:} {E}fficient sets---a balancing act}, volume = 3, year = 1993 } @book{Aho86, author = {Aho, Alfred V. and Sethi, Ravi and Ullman, Jeffrey D.}, comment = {RH:DA}, entrydate = {10/87}, publisher = Addison-Wesley, signature = {RH, LS6}, title = {Compilers: Principles, Techniques and Tools}, booktitle = {Compilers: Principles, Techniques and Tools}, year = 1986 } @inproceedings{AiN88, author = {Ait-Kaci, Hassan and Nasr, Roger}, comment = {RH:DA}, crossref = "DTAP", signature = {RH:TS2, BI 3370/DATA}, title = {Integrating Data Type Inheritance into Logic Programming} } @inproceedings{AlM02Gen, author = {Altenkirch, Thorsten and McBride, Conor}, booktitle = {Pre-Proceedings of IFIP TC2 Working Conf.\ on Generic Programming, WCGP'02, Dagstuhl, 11--12 July 2002}, editor = {Gibbons, Jeremy and Jeuring, Jeuring}, note = {(Final Proceedings to be published by Kluwer Acad.\ Publ.)}, title = {Generic Programming Within Dependently Typed Programming}, year = 2002 } @inproceedings{AlP01Gen, address = {Älvsjö, Sweden}, author = {Artem Alimarine and Rinus Plasmeijer}, booktitle = {Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01}, editor = {Arts, Th. and Mohnen, M.}, month = sep, pages = {257--278}, title = {A Generic Programming Extension for {Clean}}, year = {2001} } @article{Alb85, author = {Albano, A. and Cardelli, L. and Orsini, R.}, comment = {RH:DA}, journal = tods, month = jun, number = 2, pages = {230-260}, status = {!}, title = {{G}alileo: A strongly typed, interactive conceptional language}, volume = 10, year = 1985 } @book{And86, author = {Andrews, Peter B.}, entrydate = {05/90}, publisher = AcPress, signature = {RH}, title = {An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof}, booktitle = {An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof}, year = 1986 } @article{And91Sea, author = {Andersson, Arne}, journal = {Software --- Practice and Experience}, month = oct, number = 10, pages = {1125--1128}, title = {A Note on Searching in a Binary Search Tree}, volume = 21, year = 1991 } @inproceedings{And95Par, address = {Cambridge}, author = {Andrews, James}, booktitle = {Proceedings of the International Symposium on Logic Programming}, editor = {Lloyd, John}, month = dec, pages = {591--608}, publisher = {MIT Press}, title = {A Paralogical Semantics for the {Prolog} Cut}, year = 1995 } @incollection{ApBlWa87, author = {Krzysztof Apt and Howard A. Blair and Adrian Walker}, comment = {ddbb}, pages = {89--148}, title = {Towards a Theory of Declarative Knowledge}, zzz = {Minker87} } @techreport{ApG93Has, author = {Appel, Andrew W. and Goncalves, Marcelo J. R.}, institution = {Princeton University, Computer Science Department}, month = feb, number = {CS-TR-412-93}, title = {Hash-Consing Garbage Collection}, year = 1993 } @inproceedings{ApM87, author = {Appel, Andrew W. and MacQueen, David B.}, comment = {RH:DA}, crossref = "FPCA87", signature = {RH:FP2}, title = {A Standard {ML} Compiler} } @inproceedings{App91Sta, author = {Appel, A. W. and MacQueen, D. B.}, pages = {1--13}, crossref = "PLILP91", title = {Standard {ML} of {New Jersey}} } @article{ArB87Ope, author = {Arbab, Bijan and Berry, Daniel M.}, journal = {Journal of Logic Programming}, month = dec, number = {4}, pages = {309--329}, title = {Operational and Denotational Semantics of {Prolog}}, volume = {4}, year = 1987 } @techreport{Asp90Int, address = {Rocquencourt, 78153 Le Chesnay, France}, author = {Asperti, A.}, institution = {Project Formel - INRIA}, title = {Integrating strict and lazy evaluation: the $\lambda_{\mbox{sl}}$-calculus}, year = 1990 } @inproceedings{Aug84, author = {Augustsson, Lennart}, pages = {218-227}, crossref = "SLFP84", signature = {RH:FP2}, title = {A Compiler for Lazy {ML}} } @inproceedings{Aug92Alt, author = {Augusteijn, Lex}, booktitle = {Second International Conference on the Mathematics of Program Construction, Oxford}, editor = {Bird, R.S. and Morgan, C.C. and Woodcock, J.C.P}, pages = {368--374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {An Alternative Derivation of a Binary Heap Construction Function}, volume = 669, year = 1992 } @article{Aug99Cay, author = {Augustsson, Lennart}, journal = sigplan, month = jan, number = 1, pages = {239--250}, title = {{Cayenne} -- a Language with Dependent Types}, volume = 34, year = 1999 } @article{BAG92Poi, author = {Ben-Amram, Amir M. and Galil, Zvi}, journal = {Journal of the ACM}, month = jul, number = 3, pages = {617--648}, title = {On Pointers versus Addresses}, volume = 39, year = 1992 } @article{BB85Aut, author = {B\"{o}hm, C. and Berarducci, A.}, journal = tcs, month = aug, number = {2-3}, pages = {135--154}, title = {Automatic synthesis of typed $\Lambda$-programs on term algebras}, volume = 39, year = 1985 } @article{BCD83, author = {Barendregt, Henk and Coppo, Mario and Dezani-Ciancaglini, Mariangiola}, entrydate = {08/90}, journal = {J. Symbolic Logic}, number = 4, signature = {RH:TS3}, title = {A Filter Lambda Model and the Completeness of Type Assignment}, volume = 48, year = 1983 } @book{BCW90Tex, author = {Bell, Timothy C. and Cleary, John G. and Witten, Ian H.}, publisher = {Prentice-Hall, Englewood Cliffs}, title = {Text Compression}, booktitle = {Text Compression}, year = 1990 } @inproceedings{BFL95Amo, author = {Boyar, Joan and Fagerberg, Rolf and Larsen, Kim S.}, pages = {270--281}, crossref = "WADS95", title = {Amortization Results for Chromatic Search Trees, with an Application to Priority Queues} } @article{BFL97Amo, author = {Boyar, Joan and Fagerberg, Rolf and Larsen, Kim S.}, journal = jcss, month = dec, number = 3, pages = {504--521}, title = {Amortization Results for Chromatic Search Trees, with an Application to Priority Queues}, volume = 55, year = 1997 } @inproceedings{BGH94Col, address = {Saskatoon, SK, Canada}, author = {Brinkman, A. and Graf, T. and Hinrichs, K.}, booktitle = {Proceedings of the 6th Canadian Conference on Computational Geometry}, month = aug, pages = {63--68}, publisher = {University of Saskatchewan}, title = {The colored quadrant priority search tree with an application to the all-nearest-foreign-neighbors problem}, year = 1994 } @article{BGM88, author = {Bosco, Pier Giorgio and Giovannetti, Elio and Moiso, Corrado}, comment = {ddbb}, journal = tcs, pages = {3-23}, signature = {RH:LP2}, title = {Narrowing vs. SLD-Resolution}, volume = 59, year = 1988 } @inproceedings{BHA85Str, address = {Berlin}, author = {Burn, G. and Hankin, C. and Abramsky, S.}, booktitle = {Proceedings of the Workshop on Programs as Data Objects (Copenhagen)}, editor = {Ganzinger, H. and Jones, N.}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {The theory of strictness analysis for higher-order functions}, volume = 217, year = 1985 } @techreport{BHL90, author = {Burt, A. D. and Hill, P. M. and Lloyd, J. W.}, comment = {ddbb}, institution = {Department of Computer Science, University of Bristol}, month = mar, number = {TR-90-02}, title = {Preliminary Report on the Logic Programming Language {G{\"o}del}}, year = 1990 } @incollection{BJJ98Gen, address = {Berlin}, author = {Backhouse, Roland and Jansson, Patrik and Jeuring, Johan and Meertens, Lambert}, booktitle = {3rd International Summer School on Advanced Functional Programming, {Braga}, {Portugal}}, editor = {Swierstra, S. Doaitse and Henriques, Pedro R. and Oliveira, Jose N.}, pages = {28--115}, publisher = Springer, series = LNCS, title = {{Generic Programming} --- {An Introduction} ---}, volume = 1608, year = 1999 } @article{BMH96Gen, author = {Bird, Richard and {de Moor}, Oege and Hoogendijk, Paul}, journal = {Journal of Functional Programming}, month = jan, number = 1, pages = {1--28}, title = {Generic functional programming with types and relations}, volume = 6, year = 1996 } @inproceedings{BMM88, author = {Bertolini, Bruno and Mancarella, Paolo and Meo, Luigi and Nini, Luca and Pedreschi, Dino and Turini, Franco}, crossref = "FGCS88", signature = {RH:LP1}, title = {A Progess Report on the LML Project} } @article{BMM90, author = {Bruce, Kim B. and Meyer, Albert R. and Mitchell, John C.}, entrydate = {05/90}, journal = ic, pages = {76-134}, signature = {RH:TS3}, title = {The Semantics of Second-Order Lambda Calculus}, volume = 85, year = 1990 } @inproceedings{BMP90, author = {Brogi, Antonio and Mancarella, Paolo and Pedreschi, Dino and others}, entrydate = {05/90}, crossref = "Meta90", signature = {RH:LP2}, title = {Hierarchies through Basic Meta-Level Operators} } @inproceedings{BMS80, author = {Burstall, R.M. and MacQueen, D.B. and Sannella, D.T.}, crossref = "SLFP80", signature = {RH:FP2}, title = {HOPE: An experimental applicative language} } @unpublished{BMS96Vie, author = {Burton, Warren and Meijer, Erik and Sansom, Patrick and Thompson, Simon and Wadler, Phil}, note = {Available from \verb|http://www.haskell.org/development/views.html|}, title = {Views: An Extension to {Haskell} Pattern Matching}, year = 1996 } @article{BMc93Eng, author = {Bentley, Jon Louis and McIlroy, M. Douglas}, journal = {Software --- Practice \& Experience}, month = nov, number = 11, pages = {1249--1265}, title = {Engineering a Sort Function}, volume = 23, year = 1993 } @techreport{BPS04XML, author = {Bray, Tim and Paoli, Jean and Sperberg-McQueen, C.M. and Maler, Eve and Yergeau, François and Cowan, John}, institution = {World Wide Web Consortium}, month = apr, number = {\texttt{http://www.w3.org/TR/xml11}}, title = {Extensible Markup Language ({XML}) 1.1}, year = 2004 } @techreport{BPS98XML, author = {Bray, Tim and Paoli, Jean and Sperberg-Macqueen, C.M.}, institution = {{WWW} Consortium}, month = feb, number = {http://www.w3.org/TR/1998/REC-xml-19980210}, title = {Extensible MArkup Language ({XML}) 1.0 (w3c Recommendation)}, year = 1998 } @article{BST95Dat, author = {Buchsbaum, Adam L. and Sundar, Rajamani and Tarjan, Robert E.}, journal = {SIAM Journal on Computing}, month = dec, number = 6, pages = {1190--1206}, title = {Data-Structural Bootstrapping, Linear Path Compression, and Catenable Heap-Ordered Double-Ended Queues}, volume = 24, year = 1995 } @inproceedings{BSW91Spa, author = {Becker, Bruno and Six, Hans-Werner and Widmayer, Peter}, pages = {128--137}, crossref = "SIGMOD91", title = {Spatial Priority Search: An Access Technique for Scaleless Maps} } @article{BaC85, author = {Bates, Joseph L. and Constable, Robert L.}, entrydate = {08/90}, journal = toplas, number = 1, pages = {113-136}, signature = {RH:TS3}, title = {Proofs as Programs}, volume = 7, year = 1985 } @unpublished{BaG89, author = {Barbuti, Roberto and Giacobazzi, Roberto}, entrydate = {05/90}, note = "?", signature = {RH:TS3}, title = {A Bottom-up Polymorphic Type Inference in Logic Programming} } @incollection{BaH03Gen, author = {Backhouse, Roland and Hoogendijk, Paul}, booktitle = {Generic Programming: Advanced Lectures}, editor = {Backhouse, Roland and Gibbons, Jeremy}, pages = {97--132}, publisher = Springer, series = LNCS, title = {Generic Properties of Datatypes}, volume = 2793, year = 2003 } @inproceedings{BaS02Typ, author = {Baars, Arthur I. and Swierstra, S. Doaitse}, booktitle = {Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4-6, 2002}, editor = {{Peyton Jones}, Simon}, month = oct, pages = {157-166}, publisher = ACM-Press, title = {Typing dynamic typing}, year = 2002 } @book{BaW81Alg, address = {Berlin}, author = {Bauer, F.L. and W{\"o}ssner, H.}, publisher = {Springer}, title = {Algorithmische Sprache und Programmentwicklung}, booktitle = {Algorithmische Sprache und Programmentwicklung}, year = {1981}, zzz = {3-540-09853-4} } @article{Baa88Uni, author = {Baader, Franz and B{\"u}ttner, Wolfram}, comment = {ddbb}, journal = tcs, pages = {345-352}, title = {Unification in Commutative Idempotent Monoids}, volume = 56, year = 1988 } @misc{Bac01Gal, author = {Backhouse, Roland}, note = {Lecture Notes}, title = {Galois Connections and Fixed Point Calculus}, year = 2001 } @article{Bac78, author = {Backus, John}, journal = cacm, month = aug, number = 8, signature = {RH:FP2}, title = {Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programms}, volume = 21, year = 1978 } @article{Bac78Can, author = {Backus, John}, journal = cacm, month = aug, number = 8, title = {Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs}, volume = 21, year = 1978 } @misc{Bac88, author = {Backhouse, Roland}, comment = {RH:DA}, howpublished = {Working Material (International Summer School on Constructive Methods in Computer Science)}, signature = {RH:TS3}, title = {Constructive Type Theory}, year = 1988 } @book{Bar81, author = {Barendregt, H. P.}, comment = {RH:DA}, publisher = North-Holland, signature = {BI 3521/Bare, RH}, title = {The Lambda Calculus - Its Syntax and Semantics}, booktitle = {The Lambda Calculus - Its Syntax and Semantics}, year = 1981 } @book{Bar84, author = {Barendregt, H. P.}, comment = {RH:DA}, note = {{\"U}berarbeitete Version}, publisher = North-Holland, signature = {BI 3521/Bare, RH}, title = {The Lambda Calculus - Its Syntax and Semantics}, booktitle = {The Lambda Calculus - Its Syntax and Semantics}, year = 1984 } @book{Bar84Lam, author = {Barendregt, H. P.}, edition = {revised}, publisher = North-Holland, title = {The Lambda Calculus --- {Its} Syntax and Semantics}, booktitle = {The Lambda Calculus --- {Its} Syntax and Semantics}, year = 1984 } @incollection{Bar86b, author = {Barbuti, Roberto and Bellia, Marco and Levi, Giorgio}, comment = {ddbb}, pages = {201-233}, crossref = "DeL86", title = {LEAF: A Language which integrates Logic, Equations and Functions} } @article{Bar88a, author = {Barbuti, Roberto and Mancarella, Paolo and Pedreschi, Dino and Turini, Franco}, journal = jlp, signature = {RH:LP1}, title = {A Transformational Approach to Negation in Logic Programming}, volume = "?", year = "?" } @inproceedings{Bar88b, author = {Barbuti, Roberto and Martelli, Maurizio}, crossref = "PLILP88", signature = {RH:LP1}, title = {A characterization of non-floundering logic programs and goals based on abstract interpretation techniques} } @inproceedings{Bar90, author = {Barendregt, Henk and Hemerik, Kees}, entrydate = {08/90}, crossref = "ESOP90", signature = {RH:TS3}, title = {Types in Lambda Calculi and Programming Languages} } @inproceedings{Bar91Abs, author = {Baraki, G.}, booktitle = {Proceedings of the fifth ACM conference on Functional Languages and Computer Architecture}, editor = {Hughes R.~J.~M.}, month = {26-30 August}, note = {Cambridge, Massachusetts}, pages = {367-378}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {A Note on Abstract Interpretation of Polymorphic Functions}, volume = 523, year = 1991 } @incollection{Bar92Lam, author = {Barendregt, H.P.}, pages = {118-309}, crossref = "HLCS2", title = {Lambda Calculi with Types} } @incollection{BarFun90, author = {Barendregt, H. P.}, chapter = 7, pages = {321-363}, crossref = "HTCSB90", title = {Functional Programming and Lambda Calculus} } @inproceedings{BarSub91, author = {Chitta Baral and V. S. Subrahmanian}, comment = {ddbb}, pages = {69--86}, title = {Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning}, zzz = {LPNMR91} } @inproceedings{Bay71BBT, address = {San Diego}, author = {Bayer, R.}, booktitle = {Proceedings of 1971 ACM SIGFIDET Workshop on Data Description, Access and Control}, editor = {Codd, E.F. and Dean, A.L.}, month = nov, pages = {219--235}, title = {Binary {B}-trees for virtual memory}, year = 1971 } @article{Bay72Sym, author = {Bayer, Rudolf}, journal = {Acta Informatica}, pages = {290--306}, title = {Symmetric Binary {B}-Trees: Data Structure and Maintenance Algorithms}, volume = 1, year = 1972 } @book{BdM97Alg, address = {London}, author = {Bird, Richard and {de Moor}, Oege}, publisher = {Prentice Hall Europe}, title = {Algebra of Programming}, booktitle = {Algebra of Programming}, year = 1997 } @techreport{Bei88, author = {Beierle, Christoph}, entrydate = {05/90}, institution = LILOG, number = 52, signature = {RH:FP3}, title = {Semantische Aspekte des algebraischen Programmierens}, type = LILOGRep, year = 1988 } @inproceedings{Bei88a, author = {Beierle, Christoph and Pletat, Udo}, crossref = "WALP88", signature = {RH:LP1, STL}, title = {Integrating Logic Programming and Equational Specification of Abstract Data Type} } @techreport{Bei88b, author = {Beierle, Christoph and Pletat, Udo}, comment = {RH:DA}, institution = LILOG, keywords = {Types}, number = 37, signature = {RH:LP1, STL}, title = {On The Integration of Equality, Sorts, and Logic Programming}, type = LILOGRep, year = 1988 } @techreport{Bei88c, author = {Beierle, Christoph and Pletat, Udo}, number = 38, signature = {RH:LP1, STL}, title = {Semantics of Logic Programs with Equational Abstract Data Type Specifications}, type = {LiLog-Report}, year = 1988 } @inproceedings{Bel82, author = {Bellia, Marco and Degano, Pierpaolo and Levi, Giorgio}, keywords = {Semantic}, pages = {281-295}, crossref = "LP82", signature = {RH:LP1}, title = {The Call by Name Semantics of a Clause Language with Functions} } @article{Bel86a, author = {Bellia, Marco and Levi, Giorgio}, comment = {ddbb}, journal = jlp, keywords = {functional programming,logic programming,semantics,narrowing,completion,SLD-resolution of equational formulas,set abstraction,lazy evaluation,concurrency}, number = 3, pages = {217-236}, signature = {RH:LP1}, title = {The Relation between Logic and Functional Languages: A Survey}, volume = 3, year = 1986 } @article{Ber78Sta, address = {Berlin}, author = {G. Berry}, journal = {Automata, Languages and Programming, Fifth Colloquium, Udine}, note = {Lecture Notes in Computer Science 62.}, pages = {72-89}, publisher = {Springer-Verlag}, title = {Stable Models of Typed Lambda-Calculi}, year = {1978} } @inproceedings{BiH03Tro, author = {Bird, Richard and Hinze, Ralf}, booktitle = {Proceedings of the 2003 ACM SIGPLAN Haskell Workshop}, editor = {Jeuring, Johan}, month = sep, pages = {1--6}, publisher = ACM-Press, title = {Functional Pearl: {Trouble} Shared is Trouble Halved}, year = 2003 } @inproceedings{BiM98Nes, author = {Bird, Richard and Meertens, Lambert}, booktitle = {Fourth International Conference on Mathematics of Program Construction, {MPC'98}, {Marstrand}, {Sweden}}, editor = {Jeuring, J.}, month = jun, pages = {52--67}, publisher = Springer, series = LNCS, title = {Nested Datatypes}, volume = 1422, year = 1998 } @article{BiP98Gen, author = {Bird, Richard and Paterson, Ross}, journal = {Formal Aspects of Computing}, number = 2, pages = {200--222}, title = {Generalised folds for nested datatypes}, volume = 11, year = 1999 } @article{BiP99Bru, author = {Bird, Richard and Paterson, Ross}, journal = {Journal of Functional Programming}, month = jan, number = 1, pages = {77--91}, title = {De {Bruijn} notation as a nested datatype}, volume = 9, year = 1999 } @book{BiW88, author = {Bird, Richard and Wadler, Philip}, publisher = Prentice-Hall, series = {Series in Computer Science}, title = {Introduction to Functional Programming}, booktitle = {Introduction to Functional Programming}, year = 1988 } @article{Bil90Ope, author = {Billaud, Michel}, journal = {Theoretical Computer Science}, month = mar, number = 2, pages = {193--208}, title = {Simple operational and denotational semantics for {Prolog} with cut}, volume = 71, year = 1990 } @article{Bir84Pro, author = {Bird, R. S.}, journal = toplas, month = oct, number = 4, pages = {487--504}, title = {The promotion and accumulation strategies in transformational programming}, volume = 6, year = 1984 } @incollection{Bir88, author = {Bird, Richard S.}, entrydate = {08/90}, crossref = "Bro88", signature = {RH:MISC2}, title = {Lectures on Constructive Functional Programming} } @article{Bir96Fun, author = {Bird, Richard S.}, journal = {Science of Computer Programming}, pages = {15--31}, title = {Functional algorithm design}, volume = 26, year = 1996 } @article{Bir97Bui, author = {Bird, Richard S.}, journal = {Journal of Functional Programming}, month = jul, number = 4, pages = {441--445}, title = {Functional {P}earl: {On} building trees with minimum height}, volume = 7, year = 1997 } @article{Bir97Mer, author = {Bird, Richard S.}, journal = {Journal of Functional Programming}, month = may, number = 3, pages = {349--354}, title = {Functional {Pearl}: {On} Merging and Selection}, volume = 7, year = 1997 } @book{Bir98Int, address = {London}, author = {Bird, Richard}, edition = {2nd}, publisher = {Prentice Hall Europe}, title = {Introduction to Functional Programming using {Haskell}}, booktitle = {Introduction to Functional Programming using {Haskell}}, year = 1998 } @article{BirAlp86, author = {Bird, R. S. and Hughes, R. J. M.}, journal = ipl, pages = {53-57}, title = {The alpha-beta algorithm: an exercise in program transformation}, volume = 24, year = 1986 } @article{BirPro84, author = {Bird, R. S.}, journal = toplas, number = 4, title = {The promotion and accumulation strategies in transformational programming}, volume = 6, year = 1984 } @article{BirTra86, author = {Bird, R. S.}, journal = scp, pages = {159-189}, title = {Transformational Programming and the paragraph problem}, volume = 6, year = 1986 } @article{BirUsi84, author = {Bird, R. S.}, journal = acta, pages = {239-250}, title = {Using circular programs to avoid multiple traversals of data}, volume = 21, year = 1984 } @techreport{BlH88, author = {Bl{\"a}sius, K. H. and Hedtst{\"u}ck, U.}, entrydate = {05/90}, institution = LILOG, number = 51, signature = {RH:LP2}, title = {Resolution with Feature Unification}, type = LILOGRep, year = 1988 } @article{BlM04Mod, author = {Blume, Matthias and McAllester, David}, journal = {ACM SIG{\-}PLAN Notices}, month = sep, number = 9, pages = {189--200}, title = {A sound (and complete) model of contracts}, volume = 39, year = 2004 } @article{BlM05Mod, author = {Blume, Matthias and McAllester, David}, journal = {Journal of Functional Programming}, note = {to appear}, title = {Sound and Complete Models of Contracts}, year = 2005 } @techreport{Ble90Pre, address = {Pittsburgh, PA}, author = {Blelloch, G.E.}, institution = {School of Computer Science, Carnegie Mellon University}, month = nov, note = {Also appears in {\em Synthesis of Parallel Algorithms}, ed.\ John\ E.\ Reif, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1993}, number = {CMU-CS-90-190}, title = {Prefix Sums and Their Applications}, type = {Technical Report}, year = {1990} } @article{BoR95Mat, author = {B{\"o}rger, Egon and Rosenzweig, Dean}, journal = {Science of Computer Programming}, month = jun, number = 3, pages = {249--286}, title = {A Mathematical Definition of Full {Prolog}}, volume = 24, year = 1995 } @book{Boe85ber, author = {B{\"o}rger, Egon}, comment = {ddbb}, publisher = Vieweg, title = {Berechenbarkeit, Komplexit{\"a}t, Logik}, booktitle = {Berechenbarkeit, Komplexit{\"a}t, Logik}, year = 1985 } @inproceedings{Bon88, author = {Bonnier, Staffan and Maluszynski, Jan}, pages = {311-326}, crossref = "LP88", signature = {RH:LP1}, title = {Towards a Clean Amalgamation of Logic Programs with External Procedures} } @phdthesis{Bor97Seq, author = {Borges, Pedro R.}, month = nov, school = {Oxford University Computing Laboratory, Programming Research Group}, title = {Sequence Implementations in {Haskell}}, type = {Qualifying dissertation}, year = 1997 } @inproceedings{Bos88, author = {Bosco, P.G. and Cecchi, C. and Moiso, C.}, pages = {4-17}, crossref = "LP88", signature = {RH:LP1}, title = {Exploiting the full power of logic plus functional programming} } @inproceedings{Bou89, author = {Boudol, G{\'e}rard}, entrydate = {05/90}, crossref = "TABSOFT89", signature = {RH:MISC1}, title = {Towards a Lambda-Calculus for Concurrent and Communicating Systems} } @book{Bow82, author = {Bowles, Kenneth L.}, publisher = "?", signature = {RH}, title = {Pascal for Mikrocomputer}, booktitle = {Pascal for Mikrocomputer}, year = 1982 } @inproceedings{Boy72Sha, author = {Boyer, R.S. and Moore, J.S.}, booktitle = {Machine Intelligence 7}, comment = {ddbb}, pages = {101-116}, title = {The Sharing of Structure in Theorem-Proving Programs}, year = 1972 } @inproceedings{BrK80Chi, address = {New York}, author = {Brent, R.P. and Kung, H.T.}, booktitle = {Twelfth Annual {ACM} Symposium on Theory of Computing ({STOC} '80)}, month = apr, pages = {190--200}, publisher = ACM-Press, title = {The Chip Complexity of Binary Arithmetic}, year = 1980, zzz = {0-89791-017-6} } @inproceedings{BrL88, author = {Bruce, Kim B. and Longo, Giuseppe}, entrydate = {08/90}, crossref = "LICS88", signature = {RH:TS3}, title = {A Modest Model of Records, Inheritance and Bounded Quantification} } @techreport{BrM, author = {Breazu-Tannen, Val and Meyer, Albert R.}, publisher = "?", signature = {RH:TS2}, title = {Polymorphism is conservative over simple types}, type = "?", year = "?" } @article{BrO96Opt, author = {Brodal, Gerth St{\o}lting and Okasaki, Chris}, journal = {Journal of Functional Programming}, month = nov, number = 6, pages = {839--857}, title = {Optimal Purely Functional Priority Queues}, volume = 6, year = 1996 } @unpublished{BrR83Log, author = {Braun, W. and Rem, M.}, note = {Memorandum MR83/4, Eindhoven University of Technology}, title = {A logarithmic implementation of flexible arrays}, year = 1983 } @article{BrT80Des, author = {Brown, Mark R. and Tarjan, Robert E.}, journal = {{SIAM} Journal on Computing}, number = 3, pages = {594--614}, title = {Design and analysis of a data structure for representing sorted lists}, volume = 9, year = 1980 } @techreport{Bra89, author = {Bra{\ss}, Stefan}, entrydate = {05/90}, institution = UniDo, number = 315, signature = {RH}, title = {Vervollst{\"a}ndigungen f{\"u}r Logikdatenbanken}, type = UniDoGruen, year = 1989 } @techreport{Bra89b, author = {Bra{\ss}, Stefan}, entrydate = {08/90}, institution = UniDo, number = 315, signature = {RH}, title = {Vervollst{\"a}ndigung f{\"u}r Logikdatenbanken}, type = UniDoGruen, year = 1989 } @article{Bre88, author = {Breazu-Tannen, Val}, entrydate = {12/88}, journal = tcs, pages = {85-114}, signature = {RH:TS2}, title = {Extensional Models for Polymorphism}, volume = 59, year = 1988 } @book{BreMen82, author = {Bresnan, Joan and Kaplan, Ronald M.}, publisher = MIT-Press, title = {The Mental Representation of Grammatical Relations}, booktitle = {The Mental Representation of Grammatical Relations}, year = 1982 } @inproceedings{Bri59Fil, author = {{de la Briandais}, Ren\'{e}}, booktitle = {Proc. Western Joint Computer Conference}, pages = {295--298}, publisher = {AFIPS Press}, title = {File Searching Using Variable Length Keys}, volume = 15, year = 1959 } @article{Bro78Imp, author = {Brown, Mark R.}, journal = sicomp, month = aug, number = 3, pages = {298--319}, title = {Implementation and Analysis of Binomial Queue Algorithms}, volume = 7, year = {1978} } @article{Bru72Lam, author = {{de Bruijn}, N.G.}, journal = {Indagationes Mathematicae}, pages = {381--392}, title = {A Lambda Calculus Notation with Nameless Dummies: {A} Tool for Automatic Formula Manipulation, with Application to the {C}hurch-{R}osser Theorem}, volume = 34, year = 1972 } @inproceedings{Bru84, author = {Bruce, K.B. and Meyer, R.}, comment = {RH:DA}, entrydate = {5/89}, crossref = "SODT", title = {The semantics of second order polymorphic lambda calculus} } @inproceedings{Bru88, author = {Bruynooghe, Maurice and Janssens, Gerda}, comment = {RH:DA,ddbb}, pages = {669-683}, crossref = "LP88", signature = {RH:TS2}, title = {An Instance of Abstract Interpretation Integrating Type and Mode Inference (Extended abstract)} } @article{BuD77Tra, author = {Burstall, R. and Darlington, J.}, journal = jacm, number = 1, pages = {44--67}, title = {A tranformation system for developing recursive programs}, volume = 24, year = 1977 } @inproceedings{BuL84, author = {Burstall, R. and Lampson, B.}, comment = {RH:DA}, crossref = "SODT", signature = {RH:TS1}, title = {A Kernel Language for Abstract Data Types and Modules}, year = 1984 } @inproceedings{BuR85, author = {Burstall, R. and Rydeheard, D.}, entrydate = {08/90}, crossref = "CTCS85", signature = {RH:FP3}, title = {Computing with Categories} } @article{BuT95Con, author = {Buchsbaum, Adam L. and Tarjan, Robert E.}, journal = {Journal of Algorithms}, month = may, number = 3, pages = {513--547}, title = {Confluently Persistent Deques via Data-Structural Bootstrapping}, volume = 18, year = 1995 } @phdthesis{Buc93Dat, author = {Buchsbaum, Adam L.}, month = jun, school = {Department of Computer Science, Princeton University}, title = {Data-structural bootstrapping and catenable deques}, type = {Ph.D.~thesis}, year = 1993 } @article{Bur82, author = {Burton, F. Warren}, journal = ipl, number = 5, signature = {RH:FP2}, title = {A Linear Space Translation of Functional Programs to Turner Combinators}, volume = 14, year = 1982 } @article{Bur89Not, author = {Burton, F.W.}, journal = IPL, pages = {91-95}, title = {A Note on Higher-Order Functions versus Logical Variables}, volume = 31, year = 1989 } @techreport{Bur90Usi, address = {180 Queen's Gate, London SW7 2BZ, United Kingdom}, author = {Burn, G.L.}, institution = {Departement of Computing, Imerial College}, note = {ACM 089791-368-X/90/0006/0227}, title = {Using Projection Analysis in Compiling Lazy Functional Programs}, year = 1990 } @misc{CAML87, author = {}, entrydate = {05/90}, signature = {RH:FP2}, title = {The CAML Primer} } @inproceedings{CCH89, author = {Canning, Peter and Cook, William and Hill, Walt and others}, entrydate = {05/90}, crossref = "FPCA89", signature = {RH:TS3}, title = {F-Bounded Quantification for Object-Oriented Programming} } @article{CCM87, author = {Cousineau, G. and Curien, P.-L. and Mauny, M.}, journal = scp, pages = {173-202}, title = {The Categorical Abstract Machine}, volume = 8, year = 1987 } @incollection{CDV80, author = {Coppo, M. and Dezani-Ciancaglini, M. and Venneri, B.}, entrydate = {08/90}, crossref = "TOHB80", signature = {RH:TS3}, title = {Principal Type Schemes and Lambda-Calculus Semantics} } @article{CDV81, author = {Coppo, M. and Dezani-Ciancaglini, M. and Venneri, B.}, entrydate = {08/90}, journal = {Zeitschr. f. math. Logik und Grundlagen d. Math.}, pages = {45-58}, signature = {RH:TS3}, title = {Functional Characters of Solvable Terms}, volume = 27, year = 1981 } @article{CDZ87, author = {Coppo, M. and Dezani-Ciancaglini, M. and Zacchi, M.}, entrydate = {08/90}, journal = ic, pages = {85-116}, signature = {RH:TS3}, title = {Type Theories, Normal Forms, And D-Lambda Models}, volume = 72, year = 1987 } @incollection{CEH93Rol, author = {Cremers, Armin B. and Eder, Elmar and Hinze, Ralf}, booktitle = {K{\"u}nstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage}, publisher = {Verein Deutscher Ingenieure}, title = {Die Rolle der mathematischen Logik in der K{\"u}nstlichen Intelligenz}, year = 1993 } @inproceedings{CFR, author = {Cripps, Martin and Field, Tony and Reeve, Mike}, crossref = "FP", signature = {RH:FP3}, title = {An Introduction to ALICE: a Multiprocessor Graph Reduction Machine} } @book{CGH94Ded, address = {Braunschweig/Wiesbaden}, author = {Cremers, Armin B. and Griefahn, Ulrike and Hinze, Ralf}, note = {ISBN 3-528-04700-3}, publisher = {Vieweg}, series = {K{\"u}nstliche Intelligenz}, title = {Deduktive Datenbanken --- Eine Einf{\"u}hrung aus der Sicht der logischen Programmierung}, booktitle = {Deduktive Datenbanken --- Eine Einf{\"u}hrung aus der Sicht der logischen Programmierung}, year = 1994 } @inproceedings{CGM80, author = {Clarke, T.J.W. and Gladstone, P.J.S. and MacLean, C.D. and Norman, A.C.}, crossref = "SLFP80", signature = {RH:FP2}, title = {SKIM - The S, K, I Reduction Machine} } @techreport{CHJLW01Gen, author = {Clarke, Dave and Hinze, Ralf and Jeuring, Johan and Löh, Andres and {de Wit}, Jan}, institution = {Universiteit Utrecht}, month = nov, number = {UU-CS-2001-26}, title = {The Generic Haskell user's guide}, year = 2001 } @inproceedings{CLP90Sub, address = {Berlin}, author = {Carlsson, Svante and Levcopoulos, Christos and Petersson, Ola}, booktitle = {ISAAC: 1st International Symposium on Algorithms and Computation}, pages = {251--260}, publisher = Springer, series = LNCS, title = {Sublinear Merging and Natural Merge Sort}, volume = 450, year = 1990 } @article{CLP93Sub, author = {Carlsson, Svante and Levcopoulos, Christos and Petersson, Ola}, journal = {Algorithmica}, pages = {629--648}, title = {Sublinear Merging and Natural Mergesort}, volume = 9, year = 1993 } @book{CLR01Alg, address = {Cambridge, Massachusetts}, author = {Cormen, Thomas H. and Leiserson, Charles E. and Rivest, Ronald L. and Stein, Clifford}, edition = {Second}, publisher = {The MIT Press}, title = {Introduction to Algorithms}, booktitle = {Introduction to Algorithms}, year = 2001 } @book{CLRAlg90, address = {Cambridge, Massachusetts}, author = {Cormen, Thomas H. and Leiserson, Charles E. and Rivest, Ronald L.}, edition = {First}, publisher = {The MIT Press}, title = {Introduction to Algorithms}, booktitle = {Introduction to Algorithms}, year = 1990 } @inproceedings{CMP88Imp, author = {Carlsson, Svante and Munro, J. Ian and Poblete, Patricio V.}, booktitle = {Proceedings of 1st {S}candinavian Workshop on Algorithm Theory}, pages = {1--13}, publisher = {Springer-Verlag}, series = LNCS, title = {An Implicit Binomial Queue with Constant Insertion Time}, volume = 318, year = 1988 } @inproceedings{CMR05Laz, author = {Chitil, Olaf and McNeill, Dan and Runciman, Colin}, booktitle = {Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8--11, 2003}, editor = {Trinder, Phil and Michaelson, Greg and Pe\~{n}a, Ricardo}, pages = {1--19}, publisher = Springer, series = LNCS, title = {Lazy Assertions}, volume = 3145, year = 2004 } @inproceedings{CP85Str, author = {Clack, C. and Peyton, S.J.}, booktitle = {Proceedings of the Functional Programming Languages and Computer Architecture Conference}, editor = {Jouannaud, J.-P.}, month = {September}, pages = {35-49}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Strictness analysis --- a pratical approach}, volume = 201, year = 1985 } @inproceedings{CWM99Int, author = {Crary, Karl and Weirich, Stephanie and Morrisett, Greg}, booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, MD}, month = jun, pages = {301--312}, publisher = ACM-Press, series = {ACM {SIGPLAN} Notices}, title = {Intensional Polymorphism in Type-Erasure Semantics}, volume = {(\textbf{34})1}, year = 1999, zzz = {Supports the ability to dispatch to different routines baed on run-time types. 28 references.} } @article{CaL89com, author = {Cavedon, L. and Lloyd, J.W.}, comment = {ddbb}, journal = jlp, pages = {177--191}, title = {A Completeness Theorem for SLDNF Resolution}, volume = 7, year = 1989 } @incollection{CaM88, author = {Cardelli, Luca and MacQueen David}, comment = {RH:DA}, entrydate = {12/88}, crossref = "DTAP", signature = {RH:TS2}, title = {Persistence and Type Abstraction} } @inproceedings{CaM89, author = {Cardelli, Luca and Mitchell, John C.}, entrydate = {05/90}, crossref = "MFPS89", signature = {RH:MISC2}, title = {Operations on Records} } @article{CaW85, author = {Cardelli, Luca and Wegner, Peter}, comment = {RH:DA}, entrydate = {09/88}, journal = acmcs, month = dec, number = 4, pages = {471-522}, signature = {RH:TS1}, title = {On Understanding Types, Data Abstraction, and Polymorphism}, volume = 17, year = 1985 } @article{Car60, author = {McCarthy, J.}, entrydate = {04/91}, journal = cacm, month = apr, number = 4, pages = {184-195}, title = {Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I}, volume = 3, year = 1960 } @article{Car84Pro, author = {Carlsson, Mats}, journal = {New Generation Computing}, pages = {347--359}, title = {On Implementing {Prolog} in Functional Programming}, volume = 2, year = 1984 } @inproceedings{Car84b, author = {Cardelli, Luca}, comment = {RH:DA}, pages = {51-67}, crossref = "SODT", signature = {RH:TS1, BI 3424/1984}, title = {A Semantics of Multiple Inheritance} } @inproceedings{Car85, author = {Cardelli, Luca}, comment = {RH:DA}, keywords = {Subtypes}, crossref = "CFPL85", signature = {RH:TS1}, title = {Amber} } @article{Car86Spl, author = {Carlsson, Svante}, journal = {Information Processing Letters}, month = apr, number = 4, pages = {189--192}, title = {Splitmerge --- a Fast Stable Merging Algorithm}, volume = 22, year = 1986 } @incollection{Car87a, author = {Cardelli, Luca}, comment = {RH:DA}, crossref = "FLFP", signature = {RH:TS3}, title = {Typechecking dependent types and subtypes} } @article{Car87c, author = {Cardelli, Luca}, comment = {RH:DA}, journal = scp, pages = {147-172}, title = {Basic Polymorphic Typechecking}, volume = 8, year = 1987 } @inproceedings{Car88, author = {Cardelli, Luca}, comment = {RH:DA}, entrydate = {12/88}, crossref = "POPL88", signature = {RH:TS2}, title = {Structural Subtyping and the Notion of Power Type} } @article{Car88b, author = {Cardelli, Luca}, comment = {RH:DA}, entrydate = {5/89}, journal = ic, keywords = {Types}, note = {{\"U}berarbeitete Version}, pages = {138-164}, signature = {RH:TS3}, title = {A Semantics of Multiple Inheritance}, volume = 76, year = 1988 } @techreport{Car89, author = {Cardelli, Luca}, institution = "?", signature = {RH:MISC3}, title = {Typeful Programming}, type = {SRC Report}, year = 1989 } @techreport{CarFun83, author = {Cardelli, L.}, institution = {Bell Laboratories}, number = 107, series = {Computing Science Technical Report}, title = {The Functional Abstract Machine}, year = 1983 } @article{Cardelli:85:OUTDAP, author = {Luca Cardelli and Peter Wegner}, journal = {ACM Computing Surveys}, month = dec, number = {4}, pages = {471--522}, title = {On Understanding Types, Data Abstraction, and Polymorphism}, volume = {17}, year = {1985}, zzz = {http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.A4.pdf} } @inproceedings{ChH02Lig, author = {Cheney, James and Hinze, Ralf}, booktitle = {Proceedings of the 2002 ACM SIGPLAN Haskell Workshop}, editor = {Chakravarty, Manuel M.T.}, month = oct, pages = {90-104}, publisher = ACM-Press, title = {A Lightweight Implementation of Generics and Dynamics}, year = 2002 } @techreport{ChH03Pha, author = {Cheney, James and Hinze, Ralf}, institution = {Cornell University}, title = {First-Class Phantom Types}, year = 2003 } @book{ChL73, author = {Chang, Chin-Liang and Lee, Richard Char-Tung}, entrydate = {05/90}, publisher = AcPress, signature = {RH}, title = {Symbolic Logic and Mechanical Theorem Proving}, booktitle = {Symbolic Logic and Mechanical Theorem Proving}, year = 1973 } @article{Chu32, author = {Church, Alonzo}, comment = {RH:DA}, entrydate = {5/89}, journal = {Annals of Mathematics}, number = 33, pages = {346-366}, title = {A set of postulates for the foundation of logic}, volume = 2, year = 1932 } @article{Chu40, author = {Church, Alonzo}, entrydate = {08/90}, journal = {J. Symbolic Logic}, signature = {RH:TS3}, title = {A Formulation of the Simple Theory of Types}, volume = 5, year = 1940 } @misc{Chu41, author = {Church, Alonzo}, howpublished = {Annals of Mathematics Studies No. 6, Princeton University Press}, signature = {RH:MISC2}, title = {The Calculi of Lambda-Conversion}, year = 1941 } @misc{Chu44, author = {Church, Alonzo}, entrydate = {08/90}, howpublished = {Annals of Mathematics No. 13, Princeton University Press}, signature = {RH:MISC3}, title = {Introduction to Mathematical Logic, Part I}, year = 1944 } @article{ClH00Qui, author = {Claessen, Koen and Hughes, John}, journal = {ACM SIG{\-}PLAN Notices}, month = sep, number = 9, pages = {268--279}, title = {{QuickCheck}: a lightweight tool for random testing of {Haskell} programs}, volume = 35, year = 2000 } @article{ClH02Tes, author = {Claessen, Koen and Hughes, John}, journal = {ACM SIG{\-}PLAN Notices}, month = dec, number = 12, pages = {47--59}, title = {Testing monadic code with {QuickCheck}}, volume = 37, year = 2002 } @techreport{ClK77Pro, author = {Clancy, Michael J. and Knuth, Donald E.}, institution = {Stanford University, Department of Computer Science}, month = apr, number = {CS-TR-77-606}, title = {A programming and problem-solving seminar}, type = {Technical Report}, year = 1977 } @inproceedings{ClL02Gen, author = {Clarke, Dave and Löh, Andres}, booktitle = {Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl}, editor = {Gibbons, Jeremy and Jeuring, Johan}, month = jul, pages = {21--48}, publisher = {Kluwer Academic Publishers}, title = {{Generic Haskell}, Specifically}, year = 2002 } @book{Cla75, author = {Claus, Volker}, publisher = "?", signature = {RH}, title = {Einf{\"u}hrung in die Informatik}, booktitle = {Einf{\"u}hrung in die Informatik}, year = 1975 } @techreport{Cla99XSL, author = {Clark, James (editor)}, institution = {World Wide Web Consortium}, month = nov, number = {\texttt{http://www.w3.org/TR/xslt}}, title = {XSL Transformations (XSLT) Version 1.0}, year = 1999 } @article{CoD80, author = {Coppo, M. and Dezani-Ciancaglini, M.}, entrydate = {08/90}, journal = {Notre Dame Journal of Formal Logic}, number = 4, signature = {RH:TS3}, title = {An Extension of the Basic Functionality Theory for the Lambda-Calculus}, volume = 21, year = 1980 } @techreport{CoF92Cha, author = {Cockett, Robin and Fukushima, Tom}, institution = {Dept.\ of Computer Science, Univ.\ of Calgary}, month = jun, number = {92/480/18}, title = {About {Charity}}, type = {Yellow Series Report}, year = 1992 } @article{CoM95Gen, author = {Connelly, Richard H. and Morris, F. Lockwood}, journal = {Mathematical Structures in Computer Science}, month = sep, number = 3, pages = {381--418}, title = {A generalization of the trie data structure}, volume = 5, year = 1995 } @misc{Col, author = {Colmerauer, Alain}, entrydate = {09/88}, keywords = {Unification}, signature = {RH:LP1}, title = {Prolog and Infinite Trees}, year = "?" } @misc{Col89, author = {Colmerauer, Alain}, entrydate = {05/90}, note = {Esprit Bericht}, signature = {RH:LP2}, title = {Introduction to Prolog III} } @article{Coq88, author = {Coquand, Thierry and Huet, Gerard}, comment = {RH:DA}, entrydate = {5/89}, journal = ic, keywords = {Types}, pages = {95-120}, signature = {RH:TS3}, title = {The Calculus of Constructions}, volume = 76, year = 1988 } @inbook{Cos90Log, author = {Cousineau, G.}, booktitle = {Logical Foundations of Functional Programming}, editor = {Huet G.}, note = {ISBN 0-201-17234-8}, pages = {25-45}, publisher = {Addison-Wesley}, title = {The Categorical Abstract Machine}, year = 1990 } @inproceedings{CosCat85, author = {Cousineau, G. and Curien, P.-L. and Mauny, M.}, pages = {50-64}, crossref = "FPLCA85", title = {The Categorical Abstract Machine} } @article{Cou83Fun, author = {Courcelle, Bruno}, journal = {Theoretical Computer Science}, month = mar, number = 2, pages = {95--169}, title = {Fundamental properties of infinite trees}, volume = 25, year = 1983 } @incollection{CouCat90, author = {Cousineau, Guy}, pages = {25-45}, crossref = "HueLog90", title = {{The Categorical Abstract Machine}} } @article{CrW99Fle, author = {Karl Crary and Stephanie Weirich}, journal = {ACM SIG{\-}PLAN Notices}, month = sep, note = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '99).}, number = {9}, pages = {233--248}, title = {Flexible Type Analysis}, volume = {34}, year = {1999}, zzz = {Carnegie Mellon University, USA} } @inproceedings{Cra01Sou, author = {Crary, Karl}, booktitle = {The Third ACM SIGPLAN Workshop on Types in Compilation (TIC 2000), Montreal, Canada, September 21, 2000}, editor = {Harper, Robert}, pages = {1--25}, series = {Lecture Notes in Computer Science}, title = {Sound and Complete Elimination of Singleton Kinds}, volume = 2071, year = {2001}, zzz = {http://link.springer-ny.com/link/service/series/0558/bibs/2071/20710001.htm; http://link.springer-ny.com/link/service/series/0558/papers/2071/20710001.pdf} } @book{Cur68, author = {Curry, H.B. and Feys, R.}, publisher = North-Holland, title = {Combinatory Logic, Volume 1}, booktitle = {Combinatory Logic, Volume 1}, year = 1958 } @book{Cur86, author = {Curien, P.-L.}, entrydate = {10/87}, publisher = {Pitman, Series in Theoretical Computer Science}, signature = {LS6 3524/Curi}, title = {Categorical Combinators, Sequential Algorithms and Functional Programming}, booktitle = {Categorical Combinators, Sequential Algorithms and Functional Programming}, year = 1986 } @inproceedings{DF90Abs, author = {Danvy, Olivier and Filinski, Andrzey}, booktitle = {{Proceedings of the 1990 ACM Conference on LISP and Functional Programming, June 1990, Nice}}, month = jun, pages = {151-160}, publisher = ACM-Press, title = {Abstracting Control}, year = 1990 } @inproceedings{DFP86, author = {Darlington, J. and Field, A.J. and Pull, H.}, crossref = "DeL86", signature = {RH:LP1}, title = {The Unification of Functional and Logic Languages} } @article{DP01Mod, author = {Rowan Davies and Frank Pfenning}, journal = {Journal of the ACM}, keywords = {binding times; run-time code generation; staged computation}, month = may, number = {3}, pages = {555--604}, title = {A modal analysis of staged computation}, volume = {48}, year = {2001}, zzz = {Software --- Programming Languages --- Language Constructs and Features (D.3.3); Theory of Computation --- Logics and Meanings of Programs --- Semantics of Programming Languages (F.3.2): {\bf Partial evaluation}; Theory of Computation --- Logics and Meanings of Programs --- Studies of Program Constructs (F.3.3): {\bf Type structure}; Theory of Computation --- Mathematical Logic and Formal Languages --- Mathematical Logic (F.4.1): {\bf Lambda calculus and related systems}; Theory of Computation --- Mathematical Logic and Formal Languages --- Mathematical Logic (F.4.1): {\bf Model theory}; Theory of Computation --- Mathematical Logic and Formal Languages --- Mathematical Logic (F.4.1): {\bf Proof theory}} } @article{DRR01Nor, author = {Danvy, Olivier and Rhiger, Morten and Rose, Kristoffer H.}, journal = {J.~Functional Programming}, month = nov, number = 6, pages = {673--680}, title = {Normalization by evaluation with typed abstract synatx}, volume = 11, year = 2001 } @inproceedings{DRW95Ext, address = {New York, NY, USA}, author = {Dubois, Catherine and Rouaix, Fran\c{c}ois and Weis, Pierre}, booktitle = {Conference record of the 22nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, San Francisco, California, January 22--25, 1995}, editor = {{ACM}}, pages = {118--129}, publisher = {ACM Press}, title = {Extensional polymorphism}, year = 1995 } @article{DSS89Per, author = {Driscoll, James R. and Sarnak, Neil and Sleator, Daniel D. and Tarjan, Robert E.}, journal = {Journal of Computer and System Sciences}, month = feb, number = 1, pages = {86--124}, title = {Making Data Structures Persistent}, volume = 38, year = 1989 } @inproceedings{DW89Str, author = {Davis, K. and Wadler, P.}, booktitle = {Functional Programming: Proceedings of the 1989 Glasgow Workshop}, editor = {Davis, K. and Hughes, J.}, month = {August}, note = {Fraserburgh Scotland}, pages = {21-23}, publisher = {Springer-Verlag}, series = {Workshops in Computing}, title = {Strictness analysis: Proved and Improved}, year = 1990 } @inproceedings{DW90Str, author = {Davis, K. and Wadler, P.}, booktitle = {Third Annual Glasgow Workshop on Functional Programming}, publisher = {Springer-Verlag}, series = {Workshops in Computing}, title = {Strictness Analysis in {4D}}, year = 1990 } @inproceedings{DaM82b, author = {Damas, L. and Milner, Robin}, comment = {RH:DA,ddbb}, crossref = "POPL82", signature = {RH:TS1}, title = {Principal Type-Schemes for Functional Programms}, year = 1982 } @article{DaT88, author = {Danforth, Scott and Tomlinson, Chris}, comment = {RH:DA}, journal = acmcs, number = 1, pages = {29-72}, signature = {RH:TS2}, title = {Type Theories and Object-Oriented Programming}, volume = 20, year = 1988 } @article{Dan98Fun, author = {Danvy, Olivier}, journal = {J.~Functional Programming}, month = nov, number = 6, pages = {621--625}, title = {Functional Unparsing}, volume = 8, year = 1998 } @inproceedings{Dan99Ext, author = {Danvy, Olivier}, booktitle = {4th {Fuji} International Symposium on Functional and Logic Programming ({FLOPS'99}), {Tsukuba}, {Japan}}, editor = {Middeldorp, Aart and Sato, Taisuke}, month = nov, pages = {241--250}, publisher = Springer, series = LNCS, title = {An Extensional Characterization of Lambda-Lifting and Lambda-Dropping}, volume = 1722, year = 1999 } @inproceedings{Dar, author = {Darlington, John}, crossref = "FP", signature = {RH:FP3}, title = {Software Development in Declarative Languages} } @book{Dav90Lat, author = {Davey, B.A. and Priestley, H.A.}, comment = {ddbb}, publisher = Cambridge-Press, title = {Introduction to Lattices and Order}, booktitle = {Introduction to Lattices and Order}, year = 1990 } @inproceedings{Dav92Ana, author = {Davis, K.}, booktitle = {Proceedings of the 1992 Glasgow Workshop on Functional Programming}, editor = {Launchbury, John and Sansom, Patrick}, pages = {43-56}, publisher = {Springer-Verlag}, series = {Workshops in Computing}, title = {Analysing Functions by Projection-Based Backward Abstraction}, year = 1992 } @incollection{Davis91, address = {London}, author = {K. Davis and P. Wadler}, booktitle = {Functional Programming, Glasgow 1990}, editor = {S.L. {Peyton Jones} and G. Hutton and C.K. Holst}, pages = {23-43}, publisher = {Springer-Verlag}, title = {Strictness Analysis in 4D}, year = {1991} } @incollection{DeJ89, author = {Dershowitz, Nachum and Jouannaud, Jean-Pierre}, chapter = 6, comment = {ddbb}, pages = {243-320}, crossref = "HTCSB90", signature = {RH:MISC4}, title = {Rewrite Systems} } @article{Deb88Aut, author = {Debray, Saumya K. and Warren, David S.}, comment = {ddbb}, journal = jlp, month = sep, number = 3, pages = {207-229}, title = {Automatic Mode Inference for Logic Programs}, volume = 5, year = 1988 } @article{Deb88Den, author = {Debray, S.K. and Mishra, P.}, comment = {ddbb}, journal = jlp, pages = {61-91}, title = {{D}enotational and {O}perational {S}emantics for {P}rolog}, year = 1988 } @article{Deb92Eff, author = {Debray, Saumya K.}, comment = {ddbb}, journal = jacm, month = oct, number = 4, pages = {949-984}, title = {Efficient Dataflow Analysis of Logic Programs}, volume = 39, year = 1992 } @inproceedings{DiH88, author = {Dietrich, Roland and Hagl, Frank}, comment = {RH:DA}, crossref = "ESOP88", signature = {RH:TS1}, title = {A polymorphic type system with subtypes for Prolog}, year = 1988 } @inproceedings{DiK95Sim, author = {Dielissen, Victor J. and Kaldewaij, Anne}, booktitle = {Third International Conference on Mathematics of Program Construction, {MPC'95}, {Kloster Irsee}, {Germany}}, editor = {}, month = jul, pages = {232--241}, publisher = Springer, series = LNCS, title = {A simple, efficient, and flexible implementation of flexible arrays}, volume = 947, year = 1995 } @article{DiK96Lea, author = {Dielissen, Victor J. and Kaldewaij, Anne}, journal = {Science of Computer Programming}, month = may, number = {1--3}, pages = {149--165}, title = {Leaf trees}, volume = 26, year = 1996 } @inproceedings{DiR90Per, address = {San Francisco, CA, USA}, author = {Dietz, Paul F. and Raman, Rajeev}, booktitle = {Proceedings of the 2nd Annual {ACM}-{SIAM} Symposium on Discrete Algorithms ({SODA} '90)}, editor = {Aggarwal, Alok}, month = jan, pages = {78--88}, publisher = {SIAM}, title = {Persistence, Amortization and Randomization}, year = 1990 } @inproceedings{DiS87Two, address = {New York City, NY}, author = {Dietz, Paul and Sleator, Daniel}, booktitle = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing}, editor = {Alfred Aho}, month = may, pages = {365--372}, publisher = ACM-Press, title = {Two Algorithms for Maintaining Order in a List}, year = 1987 } @inproceedings{Did94Pro, address = {Sendai, Japan}, author = {R\'emy, Didier}, booktitle = {International Symposium on Theoretical Aspects of Computer Software}, editor = {Hagiya, Masami and Mitchell, John C.}, month = Apr, pages = {321--346}, publisher = {Springer-Verlag}, title = {Programming Objects with {ML-ART}: An extension to {ML} with Abstract and Record Types}, year = 1994 } @inproceedings{Die82Mai, address = {San Francisco, California}, author = {Dietz, Paul F.}, booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Theory of Computing}, month = may, pages = {122--127}, title = {Maintaining Order in a Linked List}, year = {1982} } @techreport{Die88, author = {Dietrich, Roland}, comment = {RH:DA,ddbb}, institution = GMD, month = feb, number = 285, signature = {RH:TS1}, title = {Modes and Types for Prolog}, type = {Arbeitspapiere der GMD}, year = 1988 } @article{Dij59Two, author = {Dijkstra, E.W.}, journal = {Numerische Mathematik}, pages = {269--271}, title = {A note on two problems in connexion with graphs}, volume = 1, year = 1959 } @article{Dij87, author = {Dijkstra, Edsger W.}, journal = scp, pages = {213-220}, signature = {RH}, title = {A Heuristic Explanation of Batcher's Baffler}, volume = 9, year = 1987 } @book{DilCom88, author = {Diller, Antoni}, publisher = Wiley, title = {Compiling Functional Languages}, booktitle = {Compiling Functional Languages}, year = 1988 } @article{Din87, author = {Dincbas, Mehmet and Hentenryck, Pascal van}, journal = jlp, number = 4, pages = {199-227}, signature = {RH:LP1}, title = {Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming}, volume = 4, year = 1987 } @article{Dip69rec, author = {DiPaola, R.A.}, comment = {ddbb}, journal = jacm, number = 2, pages = {324--327}, title = {The recursive unsolvability of the decision probelm for a class of definite formulas}, volume = 16, year = 1969 } @article{Dob81Ins, author = {Doberkat, Ernst-Erich}, journal = bit, pages = {255--269}, title = {Inserting a New Element into a Heap}, volume = 21, year = 1981 } @article{Dob82Del, author = {Doberkat, Ernst-Erich}, journal = {Acta Informatica}, number = 3, pages = {245--265}, title = {Deleting the Root of a Heap}, volume = 17, year = 1982 } @book{Doe73Gra, author = {D{\"o}rfler, Willibald and M{\"u}hlbacher, J{\"o}rg}, comment = {ddbb}, publisher = {Walter de Gruyter, Berlin}, title = {Graphentheorie f{\"u}r Informatiker}, booktitle = {Graphentheorie f{\"u}r Informatiker}, year = 1973 } @book{Doe88mat, author = {D{\"o}rfler, Willibald and Peschek, Werner}, comment = {ddbb}, publisher = {Hanser Verlag}, title = {Einf{\"u}hrung in die Mathematik f{\"u}r Informatiker}, booktitle = {Einf{\"u}hrung in die Mathematik f{\"u}r Informatiker}, year = 1988 } @book{Don85Equ, address = {Cambridge, Mass.}, author = {O'Donnell, Michael J.}, publisher = {MIT Press}, series = {Foundations of Computing Series}, title = {Equational Logic as a Programming Language}, booktitle = {Equational Logic as a Programming Language}, year = 1985 } @phdthesis{Dor98Typ, author = {Chris Dornan}, keywords = {Functional_Programming}, month = jul, school = {Department of Computer Science, University of Bristol}, title = {Type-Secure Meta-Programming}, year = {1998}, zzz = {17} } @misc{DrIFT04, key = {DrIFT}, note = {\texttt{http://repetae.net/john/computer/haskell/DrIFT/}}, title = {DrIFT Home Page}, year = 2005 } @misc{DuS00Fun, author = {Duponcheel, Luc and Swierstra, Doaitse}, month = Sep, note = {unpublished note}, title = {A Functional Program for Generating Efficient Functional {LALR(1)} Parsers}, year = 2000 } @inproceedings{Dyb85, author = {Dybjer, Peter}, entrydate = {08/90}, crossref = "CTCS85", signature = {RH:FP3}, title = {Category Theory and Programming Language Semantics: An Overview} } @incollection{Dyb91Ind, author = {Dybjer, Peter}, booktitle = {Logical Frameworks}, editor = {Huet, Gerard and Plotkin, Gordon}, pages = {280-306}, publisher = {Prentice Hall}, title = {Inductive Sets and Families in {M}artin-{L}{\"o}f's Type Theory and Their Set-Theoretic Semantics}, year = 1991 } @article{ECW89New, author = {Estivill-Castro, Vladimir and Wood, Derick}, journal = {Information and Computation}, month = oct, number = 1, pages = {111--119}, title = {A New Measure of Presortedness}, volume = 83, year = 1989 } @inproceedings{ECW91Pra, author = {Estivill-Castro, V. and Wood, D.}, booktitle = {ICCI: Advances in Computing and Information--ICCI: International Conference on Computing and Information}, pages = {47--???}, publisher = Springer, series = LNCS, title = {Practical Adaptive Sorting}, volume = 497, year = 1991 } @inproceedings{ECW91Sor, author = {Estivill-Castro, V. and Wood, D.}, booktitle = {Proceedings of New Results and New Trends in Computer Science}, editor = {Maurer, Hermann}, month = jun, pages = {124--??}, publisher = Springer, series = LNCS, title = {Sorting, Measures of Disorder, and Worst--case Performance}, volume = 555, year = 1991 } @article{ECW92Gen, author = {Estivill-Castro, V. and Wood, D.}, journal = {The Computer Journal}, month = dec, number = 6, pages = {A505--A512}, title = {A generic adaptive sorting algorithm}, volume = 35, year = 1992 } @article{ECW92Sur, author = {Estivill-Castro, Vladimir and Wood, Derick}, journal = {{ACM} Computing Surveys}, month = dec, number = 4, pages = {441--476}, title = {A Survey of Adaptive Sorting Algorithms}, volume = 24, year = 1992 } @book{Ebb86mat, author = {Ebbinghaus, Heinz-Dieter and Flum, J{\"o}rg and Thomas, Wolfgang}, comment = {ddbb}, edition = {zweite}, publisher = {Wissenschaftliche Buchgesellschaft, Darmstadt}, title = {Einf{\"u}hrung in die mathematische Logik}, booktitle = {Einf{\"u}hrung in die mathematische Logik}, year = 1986 } @inproceedings{ElH97Fun, address = {???}, author = {Elliott, Conal and Hudak, Paul}, booktitle = {Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming}, editor = {???}, publisher = {???}, title = {Functional Reactive Animation}, year = 1997 } @article{EmL84, author = {Emden, M.H. van and Lloyd, J.W.}, journal = jlp, pages = {143-149}, signature = {RH:LP2,STL}, title = {A Logical Reconstruction of Prolog II}, volume = 2, year = 1984 } @article{Emd87, author = {Emden, Maarten H. van and Yukawa, Keitaro}, journal = jlp, number = 4, pages = {265-288}, signature = {RH:LP1}, title = {Logic Programming with Equations}, volume = 4, year = 1987 } @inproceedings{Emd88, author = {Emden, M.H. van}, comment = {RH:DA}, pages = {590-603}, crossref = "LP88", signature = {RH:TS2}, title = {Conditional Answers for Polymorphic Type Inference} } @book{Epp81, author = {Epp, Berthold}, publisher = "?", signature = {RH}, title = {Interlisp Programmierhandbuch, 4. Auflage}, booktitle = {Interlisp Programmierhandbuch, 4. Auflage}, year = 1981 } @phdthesis{Esp95Sem, author = {Espinosa, David A.}, school = {Columbia University}, title = {Semantic Lego}, type = {Ph.D. thesis}, year = 1995 } @book{Eve79gra, author = {Even, Shimon}, comment = {ddbb}, publisher = {Computer Science Press, Inc.}, title = {Graph Algorithms}, booktitle = {Graph Algorithms}, year = 1979 } @techreport{FBF04Inv, author = {Findler, Robert Bruce and Blume, Matthias and Felleisen, Matthias}, institution = {The University of Chicago}, month = apr, number = {TR-2004-02}, title = {An Investigation of Contracts as Projections}, year = 2004 } @inproceedings{FBo97Sta, address = {Amsterdam, The Netherlands}, author = {F\"{a}hndrich, Manuel and Boyland, John}, booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on Functional Programming}, month = jun, pages = {75--84}, title = {Statically Checkable Pattern Abstractions}, year = 1997 } @article{FLO83, author = {Fortune, Steven and Leivant, Daniel and O'Donnell,Michael}, comment = {RH:DA}, entrydate = {1/89}, journal = jacm, note = 1, signature = {RH:TS2}, title = {The Expressiveness of Simple and Second-Order Type Structures}, volume = 30, year = 1983 } @inproceedings{FM88Typ, author = {Fuh, Y.-C. and Mishra, P.}, booktitle = {2nd European Symposium on Programming, Nancy, France, March 21-24}, editor = {Ganzinger, H.}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Type Inference with Subtypes}, volume = 300, year = 1988 } @article{FMN87Dat, author = {Fries, O. and Mehlhorn, K. and N{\"a}her, S. and Tsakalidis, A.}, journal = ipl, keywords = {algorithms; computer programming --- Algorithms; data processing; Data Structures; heap; lowest common ancestor; priority search tree; theory; three-sided range queries; verification}, month = jun, number = 4, pages = {269--273}, title = {A $\log \log n$ data structure for three-sided range queries}, volume = 25, year = 1987 } @inproceedings{FPJ95Pic, author = {Finne, Sigbjorn and Peyton Jones, Simon}, booktitle = {{Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland}}, editor = {Turner, D.N.}, month = jul, pages = {???}, publisher = Springer, series = {Workshops in Computing}, title = {Pictures: {A} simple structured graphics model}, year = 1995 } @article{FSS86Pai, author = {Fredman, Michael L and Sedgewick, Robert and Sleator, Daniel D and Tarjan, Robert E}, journal = {Algorithmica}, number = 1, pages = {111--129}, title = {The pairing heap: A new form of self-adjusting heap}, volume = 1, year = 1986 } @inproceedings{FaW87, author = {Fairbairn, Jon and Wray, Stuart}, pages = {34-46}, crossref = "FPLCA87", signature = {RH:FP2}, title = {Tim: A Simple, Lazy Abstract Machine to Execute Supercombinators} } @article{Fag96Gen, author = {Fagerberg, R.}, journal = ipl, number = 2, pages = {109--114}, title = {A generalization of binomial queues}, volume = 57, year = {1996} } @techreport{Fai82, author = {Fairbairn, J.}, entrydate = {08/90}, institution = {University of Cambridge}, number = 31, signature = {RH:TS3}, title = {Ponder And Its Type System}, year = 1982 } @inproceedings{Fai88, author = {Fairbairn, Jon}, comment = {RH:DA}, crossref = "DTAP", signature = {RH:TS2, BI 3370/DATA}, title = {A New Type-Checker for a Functional Language} } @book{FehSem89, author = {Fehr, Elfriede}, publisher = Springer, series = {Studienreihe Informatik}, title = {Semantik von Programmiersprachen}, booktitle = {Semantik von Programmiersprachen}, year = 1989 } @article{FiF02Con, author = {Findler, Robert Bruce and Felleisen, Matthias}, journal = {ACM SIG{\-}PLAN Notices}, month = sep, number = 9, pages = {48--59}, title = {Contracts for higher-order functions}, volume = 37, year = 2002 } @inbook{FiH88a, author = {Field, Anthony J. and Harrison, Peter G.}, chapter = 7, comment = {RH:DA}, crossref = "FiH88", signature = {RH:TS2, BI 3422/Fiel}, title = {Type inference systems and type checking} } @inproceedings{Fic83Bou, address = {New York, NY, USA}, author = {Fich, Faith E.}, booktitle = {Proceedings of the fifteenth annual {ACM} Symposium on Theory of Computing, Boston, Massachusetts, April 25--27, 1983}, editor = {{ACM}}, pages = {100--109}, publisher = {ACM Press}, title = {New bounds for parallel prefix circuits}, year = 1983, zzz = {0-89791-099-0} } @article{Flo63Syn, author = {Floyd,R.W.}, journal = jacm, number = 3, pages = {316--333}, title = {Syntactic analysis and operator precedence}, volume = 10, year = 1963 } @techreport{Fok94Mon, author = {Fokkinga, M.M.}, institution = {University of Twente}, month = jun, number = {Memoranda Informatica 94-28}, title = {Monadic maps and folds for arbitrary datatypes}, year = 1994 } @inproceedings{FrM89, author = {Fradet, P. and Le Met{\'e}ayer, D.}, entrydate = {05/90}, crossref = "TABSOFT89", signature = {RH:FP2}, title = {Compilation of Lambda-Calculus into Functional Machine Code} } @article{FrT87Fib, author = {Fredman, Michael L. and Tarjan, Robert Endre}, journal = jacm, month = jul, number = 3, pages = {596--615}, title = {{Fibonacci} Heaps and Their Uses in Improved Network Optimization Algorithms}, volume = 34, year = 1987 } @manual{Frown-0.6, author = {Hinze, Ralf}, note = {Available from \texttt{http://www.informatik.uni-bonn.de/\symbol{126}ralf/frown/}}, title = {Frown --- an LALR{\rm (}$k${\rm )} parser generator for {Haskell}, Version 0.6}, year = 2005 } @inproceedings{Fru90, author = {Fr{\"u}wirth, Thom W.}, entrydate = {05/90}, crossref = "Meta90", signature = {RH:TS3}, title = {Using Meta-Interpreters for Polymorphic Type Checking} } @inproceedings{FuM88, author = {Fuh, You-Chin and Mishra, Prateek}, comment = {RH:DA}, entrydate = {09/88}, crossref = "ESOP88", signature = {RH:TS1}, title = {Type Inference with Subtypes} } @inproceedings{FuM89, author = {Fuh, You-Chin and Mishra, Prateek}, entrydate = {05/90}, crossref = "TABSOFT89", signature = {RH:TS3}, title = {Polymorphic Subtype Inference: Closing the Theory-Practice Gap} } @article{FuM90, author = {Fuh, You-Chin and Mishra, Prateek}, entrydate = {08/90}, journal = tcs, pages = {155-175}, signature = {RH:TS3}, title = {Type Inference With Subtypes}, volume = 73, year = 1990 } @inproceedings{GBT84Sca, author = {Gabow,H.N. and Bentley,J.L. and Tarjan,R.E.}, booktitle = {Proceedings of the 16th Annual ACM Symposium on Theory of Computing}, pages = {135--143}, title = {Scaling and related techniques for geometry problems}, year = 1984 } @manual{GH1.42, author = {The {Generic Haskell} Team}, note = {Available from \texttt{http://www.generic-haskell.org/}}, title = {The Generic Haskell User's Guide, Version 1.42 (Coral)}, year = 2005 } @manual{GHC-6.4.1, author = {{The GHC Team}}, note = {Available from \texttt{http://www.haskell.org/ghc/}}, title = {The Glorious Glasgow Haskell Compilation System User's Guide, Version 6.4.1}, year = 2005 } @manual{GHC4.04, author = {The GHC Team}, month = sep, note = {Available from \texttt{http://www.haskell.org/ghc/documentation.html}}, title = {The Glasgow Haskell Compiler User's Guide, Version 4.04}, year = 1999 } @manual{GHC4.08, author = {The {GHC} Team}, note = {Available from \texttt{http://www.haskell.org/ghc/documentation.html}}, title = {The Glasgow Haskell Compiler User's Guide, Version 4.08}, year = 2000 } @manual{GHC5.04, author = {The {GHC} Team}, note = {Available from \texttt{http://www.haskell.org/ghc/documentation.html}}, title = {The Glasgow Haskell Compiler User's Guide, Version 5.04}, year = 2003 } @manual{GHC6.4, author = {{The GHC Team}}, note = {Available from \texttt{http://www.haskell.org/ghc/documentation.html}}, title = {The Glorious Glasgow Haskell Compilation System User's Guide, Version 6.4}, year = 2005 } @book{GHK80Con, author = {Gierz, G. and Hofmann, K.H. and Keimel, K and Lawson, J.D. and Mislove, M. and Scott, D.S.}, publisher = Springer, title = {A Compendium of Continuous Lattices}, booktitle = {A Compendium of Continuous Lattices}, year = 1980 } @inproceedings{GHK99Str, author = {Giegerich, Robert and Hinze, Ralf and Kurtz, Stefan}, booktitle = {Proceedings of the Workshop on Functional and Declarative Programming in Education, {FDPE'99}, {Paris}, {France}}, editor = {Felleisen, Matthias and Hanus, Michael and Thompson, Simon}, month = sep, note = {The proceedings appeared as a technical report of Rice University, Rice COMP TR99-346}, pages = {1--5}, title = {Straight to the Heart of Computer Science via Functional Programming}, year = 1999 } @book{GKP94Con, address = {Reading, Massachusetts}, author = {Graham, Ronald L. and Knuth, Donald E. and Patashnik, Oren}, edition = {2nd}, publisher = Addison-Wesley, title = {Concrete mathematics}, booktitle = {Concrete mathematics}, year = 1994 } @inproceedings{GLP00Rec, address = {New York}, author = {Gapeyev, Vladimir and Levin, Michael Y. and Pierce, Benjamin C.}, booktitle = {Proceedings of the {ACM} Sigplan International Conference on Functional Programming ({ICFP}'00)}, month = sep, number = 9, pages = {221--232}, publisher = ACM-Press, series = {ACM Sigplan Notices}, title = {Recursive subtyping revealed (Functional Pearl)}, volume = 35, year = {2000} } @inproceedings{GMP77New, address = {Boulder, Colorado}, author = {Guibas, Leo J. and McCreight, Edward M. and Plass, Michael F. and Roberts, Janet R.}, booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Theory of Computing}, month = may, pages = {49--60}, title = {A New Representation for Linear Lists}, year = 1977 } @inproceedings{GNST02Fun, author = {Gasbichler, Martin and Neubauer, Matthias and Sperber, Michael and Thiemann, Peter}, booktitle = {Proceedings of the 29th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (POPL' 02), {Portland}, {Oregon}, January 16--18}, month = jan, title = {Functional Logic Overloading}, year = 2002 } @book{Gal86, author = {Gallier, Jean H.}, comment = {ddbb}, entrydate = {05/90}, publisher = Harper, signature = {RH}, title = {Logic for Computer Science, Foundations of Automatic Theorem Proving}, booktitle = {Logic for Computer Science, Foundations of Automatic Theorem Proving}, year = 1986 } @article{Gar03Com, author = {Garcia, Ronald and Jarvi, Jaakko and Lumsdaine, Andrew and Siek, Jeremy and Willcock, Jeremiah}, journal = {ACM SIGPLAN Notices}, month = nov, number = 11, pages = {115--134}, title = {A comparative study of language support for generic programming}, volume = 38, year = 2003 } @book{Gar79com, author = {Garey, Michael R. and Johnson, David S.}, comment = {ddbb}, publisher = Freeman, title = {Computers and Intractability: A Guide to NP-Completeness}, booktitle = {Computers and Intractability: A Guide to NP-Completeness}, year = 1979 } @inproceedings{GelLif88, author = {Michael Gelfond and Vladimir Lifschitz}, comment = {ddbb}, pages = {1070--1080}, title = {The stable model semantics for logic programming}, zzz = {ICLP88} } @inproceedings{GiR88, author = {Giannini, Paola and Ronchi Della Rocca, Simona}, entrydate = {08/90}, crossref = "LICS88", signature = {RH:TS3}, title = {Characterizations of typings in polymorphic type dicipline} } @inproceedings{Gib03Pat, author = {Gibbons, Jeremy}, booktitle = {Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages. Uppsala, 25th August 2003}, month = aug, title = {Patterns in Datatype-Generic Programming}, year = 2003 } @inproceedings{GilSho93, author = {Gill, Andrew and Launchbury, John and Peyton Jones, Simon L.}, pages = {223-232}, crossref = "FPCA93", title = {A Short Cut to Deforestation} } @phdthesis{Gir72Int, author = {Girard, Jean-Yves}, school = {Universit\'{e} Paris VII}, title = {Interpr\'{e}tation fonctionelle et \'{e}limination des coupures dans l'arithm\'{e}tique d'ordre sup\'{e}rieur}, year = 1972 } @phdthesis{Girard:phd:1972, author = {Jean-Yves Girard}, school = {Universit\'{e} de Paris VII}, title = {Interpr\'{e}tation foncionnelle et \'{e}limination des coupures de l'arithm\'{e}tique d'order sup\'{e}rieur}, year = {1972} } @book{Gla84, author = {Glaser, Hugh and Hankin, Chris and Till, David}, publisher = Prentice-Hall, signature = {RH:FP1,ZB Sn 16284}, status = {!}, title = {Principles of Functional Programming}, booktitle = {Principles of Functional Programming}, year = 1984 } @inproceedings{GoL97Dec, author = {Gorlatch, Sergei and Lengauer, Christian}, booktitle = {Proc. 3rd Int. Working Conf. on Massively Parallel Programming Models (MPPM'97)}, publisher = {IEEE Computer Society Press, pages = 3--32}, title = {({D}e){C}omposition Rules for Parallel Scan and Reduction}, year = 1998 } @inproceedings{GoM86, author = {Goguen, Joseph A. and Meseguer, Jose}, comment = {RH:DA}, crossref = "DeL86", signature = {RH:TS1}, title = {{EQLOG}: Equality, Types and Generic Modules for Logic Programming} } @techreport{GoW88, author = {Goguen, Joseph A. and Winkler, Timothy}, comment = {RH:DA}, entrydate = {12/88}, institution = {SRI International}, number = {SRI-CSL-88-9}, signature = {RH:FP2}, title = {Introducing {OBJ3}}, year = 1988 } @book{Gol79, author = {Goldblatt, Robert}, publisher = North-Holland, signature = {RH:FP3}, title = {TOPOI - The Categorical Analysis of Logic}, booktitle = {TOPOI - The Categorical Analysis of Logic}, year = 1979 } @article{Gor99Ext, author = {Gorlatch, Sergei}, journal = {Science of Computer Programming}, month = jan, number = 1, pages = {1--27}, title = {Extracting and implementing list homomorphisms in parallel program development}, volume = 33, year = 1999, zzz = 4 } @inproceedings{GrL90, author = {Griefahn, Ulrike and L{\"u}ttringhaus, Stefan}, entrydate = {05/90}, crossref = "ICLP90", signature = {RH:LP2}, title = {Top-Down Integrity Constraint Checking for Deductive Databases} } @article{Gra87, author = {Gray, John W.}, journal = tcs, pages = {103-135}, signature = {RH:TS2}, title = {Categorical Aspects of Data Type Constructors}, volume = 50, year = 1987 } @inproceedings{Gra89, author = {Gramlich, Bernhard}, entrydate = {05/90}, crossref = "UNIF89", signature = {RH:LP2}, title = {Unification of Term Schemes} } @mastersthesis{Gri89, author = {Griefahn, Ulrike}, entrydate = {05/90}, school = UniDo, signature = {RH:MISC3}, title = {Integrity Constraint Checking for Deductive Databases}, year = 1989 } @techreport{Gri89b, author = {Griefahn, Ulrike and L{\"u}ttringhaus, Stefan}, entrydate = {08/90}, institution = UniDo, number = 305, signature = {RH}, title = {Integrity Constraint Checking for Deductive Databases}, type = UniDoGruen, year = 1989 } @inproceedings{GuS78Dio, author = {Guibas, Leo J. and Sedgewick, Robert}, booktitle = {Proceedings of the 19th Annual Symposium on Foundations of Computer Science}, pages = {8--21}, publisher = {IEEE Computer Society}, title = {A Dichromatic Framework for Balanced Trees}, year = 1978 } @article{GuS85Pri, author = {Guibas, Leonidas and Stolfi, Jorge}, journal = {{ACM} Transactions on Graphics}, month = apr, number = 2, pages = {74--123}, title = {Primitives for the manipulation of general subdivisions and computation of {Voronoi} diagrams}, volume = 4, year = 1985 } @book{Gue92Dat, author = {G{\"u}ting, Ralf Hartmut}, publisher = {B.G. Teubner, Stuttgart}, title = {Datenstrukturen und Algorithmen}, booktitle = {Datenstrukturen und Algorithmen}, year = 1992 } @incollection{GunSem90, author = {Gunter, C.A. and Scott, D.S.}, chapter = 12, pages = {633-674}, crossref = "HTCSB90", title = {Semantic Domains} } @article{Gur91Evo, author = {Gurevich, Y.}, journal = {Bulletin of EATCS}, pages = {264--284}, title = {Evolving Algebras. {A} Tutorial Introduction}, volume = 43, year = 1991 } @manual{HBC0.9, author = {Augustsson, Lennart}, note = {Available from \verb|http://www.cs.chalmers.se/~augustss/hbc/hbc.html|}, title = {The {Haskell B.~Compiler} ({HBC})}, year = 1998 } @misc{HBP, author = {Hankin, Chris L. and Burn, Geoffrey L. and Peyton Jones, Simon L.}, signature = {RH:FP2}, title = {A Safe Approach to Parallel Combinator Reduction (Extended Abstract)} } @article{HHP96Typ, author = {Hall, Cordelia V. and Hammond, Kevin and {Peyton Jones}, Simon L. and Wadler, Philip L.}, journal = {ACM Transactions on Programming Languages and Systems}, month = mar, number = 2, pages = {109--138}, title = {Type classes in {Haskell}}, volume = 18, year = 1996 } @inproceedings{HJL02Typ, author = {Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres}, booktitle = {Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002}, editor = {Boiten, Eerke A. and M{\"o}ller, Bernhard}, month = jul, pages = {148--174}, publisher = Springer, series = LNCS, title = {Type-indexed data types}, volume = 2386, year = 2002 } @techreport{HJL02Typa, author = {Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres}, institution = {Universiteit Utrecht}, number = {UU-CS-2002-11}, title = {Type-indexed data types}, year = 2002 } @article{HJL03Typ, author = {Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres}, journal = {Science of Computer Programming}, pages = {117-151}, title = {Type-indexed data types}, volume = 51, year = 2004 } @unpublished{HM96Mon, author = {Hutton, Graham and Meijer, Erik}, month = jan, note = {Submitted for publication}, title = {Monadic Parser Combinators}, year = 1996 } @article{HM98Mon, author = {Hutton, Graham and Meijer, Erik}, journal = {Journal of Functional Programming}, month = jul, number = 4, title = {Functional {Pearl}: {Monadic} parsing in {Haskell}}, volume = 8, year = 1998 } @article{HMG96Has, author = {Hudak, Paul and Makucevich, Tom and Gadde, Syam and Whong, Bo}, journal = {Journal of Functional Programming}, month = may, number = 3, pages = {465--483}, title = {Haskore music notation---{An} algebra of music}, volume = 6, year = 1996 } @inproceedings{HMN01Dyn, author = {Michael Hicks and Jonathan T. Moore and Scott Nettles}, booktitle = {Proceedings of the {ACM SIGPLAN} Conference on Programming Language Design and Implementation}, month = {June}, pages = {13--23}, publisher = {{ACM} Press}, title = {Dynamic Software Updating}, year = 2001, zzz = {http://www.cis.upenn.edu/~mwh/papers/dyn_update.ps} } @misc{HNR89, author = {Hinkelmann, Knut and N{\"o}kel, Klaus and Rehbold, Robert}, entrydate = {05/90}, signature = {RH:FP2}, title = {SASLOG: Lazy Evaluation Meets Backtracking}, year = "?" } @article{HOD82Pro, author = {Hoffmann, Christoph M. and O'Donnell, Michael J.}, journal = toplas, pages = {83--112}, title = {Programming with Equations}, year = 1982 } @techreport{HPF97Gen, address = {Yale University}, author = {Hudak, Paul and Peterson, John and Fasel, Joseph H.}, institution = {Department of Computer Science}, month = mar, title = {A Gentle Introduction to Haskell}, year = 1997 } @inproceedings{HPJ00Pol, author = {Hinze, Ralf and {Peyton Jones}, Simon}, booktitle = {Proceedings of the 2000 ACM SIGPLAN Haskell Workshop}, editor = {Hutton, Graham}, month = aug, note = {The preliminary proceedings appeared as a University of Nottingham technical report}, publisher = {Elsevier Science}, title = {Derivable Type Classes}, volume = {41.1 of Electronic Notes in Theoretical Computer Science}, year = 2001 } @inproceedings{HWC00Saf, author = {Michael Hicks and Stephanie Weirich and Karl Crary}, booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Types in Compilation}, editor = {Robert Harper}, month = {September}, pages = {147--176}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Safe and Flexible Dynamic Linking of Native Code}, volume = {2071}, year = 2000, zzz = {http://www.cis.upenn.edu/~mwh/papers/taldynlink.pdf} } @incollection{HaC95Fud, author = {Hallgren, Thomas and Carlsson, Magnus}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, {B{\aa}stad}, {Sweden}}, editor = {Jeuring, J. and Meijer, E.}, month = may, pages = {137--182}, publisher = Springer, series = LNCS, title = {Programming with {Fudgets}}, volume = 925, year = 1995 } @inproceedings{HaL94Typ, address = {New York, NY}, author = {Robert Harper and Mark Lillibridge}, booktitle = {Conference Record of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '94), Portland, Oregon}, month = jan, organization = {ACM}, pages = {123--137}, title = {A Type-Theoretic Approach to Higher-Order Modules with Sharing}, year = {1994}, zzz = {46 references.} } @techreport{HaM88, author = {Harper, Robert and Milner, Robin}, entrydate = {05/90}, institution = Edinburgh, signature = {RH:MISC3}, title = {{The Definition of Standard ML, Version 2}}, year = 1988 } @inproceedings{HaM95Com, address = {New York, NY}, author = {Harper, Robert and Morrisett, Greg}, booktitle = {Proceedings of the 22nd ACM {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (POPL '95), {San Francisco}, {California}}, month = jan, pages = {130--141}, publisher = ACM-Press, title = {Compiling Polymorphism Using Intensional Type Analysis}, year = 1995, zzz = {53 references.} } @misc{Hag, author = {Hagino, Tatsuya}, howpublished = {LNCS (Kategorientheory)}, signature = {RH:TS2}, title = {A Typed Lambda Calculus with Categorical Type Constructors} } @inproceedings{Hag87, author = {Hagino, Tatsuya}, comment = {RH:DA}, crossref = "CTCS87", signature = {RH:TS2}, title = {A Typed Lambda Calculus with Categorical Type Constructors} } @phdthesis{Hag87Cat, author = {Hagino, T.}, school = {University of Edinburgh}, title = {Category Theoretic Approach to Data Types}, year = 1987 } @article{Hag89, author = {Hagino, Tatsuya}, entrydate = {08/90}, journal = {J. Symbolic Computation}, pages = {629-650}, signature = {RH:TS3}, title = {Codatatypes in ML}, volume = 8, year = 1989 } @book{Hah82, author = {Hahn, Rainer and Stock, Peters}, publisher = "?", signature = {RH}, title = {ELAN-Handbuch 2. korr. Auflage}, booktitle = {ELAN-Handbuch 2. korr. Auflage}, year = 1982 } @inproceedings{Hal01Fun, author = {Hallgren, Thomas}, booktitle = {Proceedings of the Joint CS/CE Winter Meeting}, month = jan, pages = {135--145}, publisher = {Department of Computing Science, Chalmers, G{\"o}teborg, Sweden}, title = {Fun with Functional Dependencies}, year = 2001 } @techreport{Hal91Str, author = {Hall, C.}, institution = {Departement of Computing Science, University of Glasgow, Glasgow, Scotland}, title = {Strictness Analysis Using Hindley-Milner Type Inference}, year = 1991 } @book{Ham82, author = {Hamann, Christian-M.}, publisher = "?", signature = {RH}, title = {Einf{\"u}hrung in das Programmieren in LISP}, booktitle = {Einf{\"u}hrung in das Programmieren in LISP}, year = 1982 } @proceedings{Han00Cur, editor = {Hanus, Michael}, month = jun, title = {Curry---An Integrated Functional Logic Language (Version 0.7.1)}, booktitle = {Curry---An Integrated Functional Logic Language (Version 0.7.1)}, year = 2000 } @inproceedings{Han87, author = {Hancock, Peter}, comment = {RH:DA}, pages = {pp.139-182}, crossref = "IFPL", signature = {RH:TS2, BI 3412/Peyt}, title = {Polymorphic Type-Checking} } @techreport{Han88, author = {Hanus, Michael}, comment = {RH:DA}, institution = UniDo, keywords = {Types}, number = 248, signature = {RH:TS1}, title = {Horn Clause Programs with Polymorphic Types}, type = UniDoGruen, year = 1988 } @phdthesis{Han89, author = {Hanus, Michael}, comment = {ddbb}, entrydate = {08/90}, note = {Gr{\"u}ne Reihe 294}, school = UniDo, signature = {RH:MISC4}, title = {Horn Clause Specifications with Polymorphic Types}, year = 1989 } @techreport{Han89b, author = {Hanus, Michael}, entrydate = {08/90}, institution = UniDo, number = 321, signature = {RH:LP2}, title = {Logic Programming with Type Specifications}, type = UniDoGruen, year = 1989 } @inproceedings{Han89c, author = {Hanus, Michael}, entrydate = {08/90}, crossref = "TABSOFT89", signature = {RH:LP2}, title = {Horn Clause Programs with Polymorphic Types: Semantics and Resolution} } @inproceedings{Han89d, author = {Hanus, Michael}, entrydate = {08/90}, crossref = "LP89", signature = {RH:LP2}, title = {Polymorphic Higher-Order Programming in Prolog} } @inproceedings{Han90, author = {Hanus, Michael}, entrydate = {08/90}, crossref = "DISCS90", signature = {RH:LP2}, title = {A Functional and Logic Language with Polymorphic Types} } @article{Han91Hor, author = {Hanus, Michael}, journal = {Theoretical Computer Science}, month = oct, number = 1, pages = {63--106}, title = {Horn clause programs with polymorphic types: semantics and resolution}, volume = 89, year = 1991 } @article{Han94Int, author = {Michael Hanus}, journal = {Journal of Logic Programming}, pages = {583--628}, title = {The Integration of Functions into Logic Programming: {From} Theory to Practice}, volume = {19\&20}, year = 1994 } @article{Hanus91TCS, author = {Hanus, M.}, comment = {ddbb}, journal = tcs, pages = {63-106}, title = {Horn Clause Programs with Polymorphic Types: {Semantics} and Resolution}, volume = 89, year = {1991} } @manual{Happy-1.15, author = {Gill, Andy and Marlow, Simon}, note = {Available from \texttt{http://haskell.org/happy/}}, title = {Happy: The Parser Generator for {Haskell}, Version 1.15}, year = 2005 } @book{Har77, author = {Hartmann, Alfred C.}, publisher = "?", signature = {RH}, title = {A Concurrent PASCAL Compiler for minicomputers}, booktitle = {A Concurrent PASCAL Compiler for minicomputers}, year = 1977 } @misc{Har85b, author = {Harper, Robert W.}, howpublished = {Polymorphism: The ML/LCF/Hope Newsletter, Vol.2, No. 2}, signature = {RH:FP2}, title = {Standard ML Input/Output} } @incollection{Har88, author = {Harper, Robert}, comment = {RH:DA}, entrydate = {12/88}, crossref = "DTAP", signature = {RH:TS2}, title = {Modules and Persistence in {S}tandard {ML}} } @techreport{Har88b, author = {Harper, Robert}, entrydate = {05/90}, institution = Edinburgh, signature = {RH:MISC3}, title = {Introduction to Standard ML}, year = "?" } @inproceedings{Har91VLS, address = {San Francisco, CA}, author = {Harrison, Andrew J}, booktitle = {Proceedings of the 28th {ACM}/{IEEE} Design Automation Conference}, editor = {ACM-SIGDA and IEEE}, month = jun, pages = {732--735}, publisher = ACM-Press, title = {{VLSI} Layout Compaction Using Radix Priority Search Trees}, year = 1991 } @techreport{Har94Ben, author = {Hartel, P. H.}, institution = {Dept. of Comp. Sys, Univ. of Amsterdam}, month = dec, number = {CS-94-21}, title = {Benchmarking implementations of lazy functional languages {II} -- Two years later}, year = 1994 } @techreport{HarSta86, author = {Harper, R. and MacQueen, D. and Milner, R.}, institution = Edinburgh, note = {ECS-LFCS-86-2}, title = {Standard ML}, year = 1986 } @misc{Has90, entrydate = {08/90}, signature = {RH:MISC3}, title = {Haskell, A Non-strict, Purely Functional Language} } @article{HdM00Con, author = {Hoogendijk, Paul and {de Moor}, Oege}, journal = {Journal of Functional Programming}, number = 2, pages = {91-225}, title = {Container types categorically}, volume = 10, year = 2000 } @article{HeW97Fun, author = {Heckmann, Reinhold and Wilhelm, Reinhard}, journal = {Journal of Functional Programming}, month = sep, number = 5, pages = {451--485}, title = {A functional description of {\TeX's} formula layout}, volume = 7, year = 1997 } @book{Hen80, author = {Henderson, Peter}, comment = {STL: L1}, publisher = Prentice-Hall, signature = {RH:FP1,LS VI,ZN Sn 13268}, title = {Functional Programming: Application and Implementation}, booktitle = {Functional Programming: Application and Implementation}, year = 1980 } @inproceedings{Hen92Dyn, author = {Henglein, F.}, keywords = {ESOP; programming}, pages = {197--230}, series = {Lecture Notes in Computer Science}, title = {Dynamic typing: syntax and proof theory}, volume = {582}, year = {1992}, zzz = {LNCSD9} } @article{Hen93Typ, author = {Henglein, Fritz}, journal = {{ACM} Transactions on Programming Languages and Systems}, month = apr, number = 2, pages = {253--289}, title = {Type Inference with Polymorphic Recursion}, volume = 15, year = 1993 } @article{HiJ01Wea, author = {Hinze, Ralf and Jeuring, Johan}, journal = {Journal of Functional Programming}, month = nov, number = 6, pages = {681--689}, title = {{Functional Pearl:} {W}eaving a Web}, volume = 11, year = 2001 } @techreport{HiJ01Weaa, author = {Hinze, Ralf}, institution = {Universiteit Utrecht}, number = {UU-CS-2001-33}, title = {Functional Pearl: Weaving a Web}, year = 2001 } @incollection{HiJ03GHA, author = {Hinze, Ralf and Jeuring, Johan}, booktitle = {Generic Programming: Advanced Lectures}, editor = {Backhouse, Roland and Gibbons, Jeremy}, pages = {57--97}, publisher = Springer, series = LNCS, title = {Generic {Haskell}: Applications}, volume = 2793, year = 2003 } @techreport{HiJ03GHAa, author = {Hinze, Ralf and Jeuring, Johan}, institution = {Universiteit Utrecht}, number = {UU-CS-2003-16}, title = {Generic Haskell: Applications}, year = 2003 } @incollection{HiJ03GHP, author = {Hinze, Ralf and Jeuring, Johan}, booktitle = {Generic Programming: Advanced Lectures}, editor = {Backhouse, Roland and Gibbons, Jeremy}, pages = {1--56}, publisher = Springer, series = LNCS, title = {Generic {Haskell}: Practice and Theory}, volume = 2793, year = 2003 } @techreport{HiJ03GHPa, author = {Hinze, Ralf and Jeuring, Johan}, institution = {Universiteit Utrecht}, number = {UU-CS-2003-15}, title = {Generic Haskell: Practice and Theory}, year = 2003 } @misc{HiP02Typ, author = {Hinze, Ralf and Paterson, Ross}, note = {in preparation}, title = {Derivation of a Typed Functional {LR} Parser}, year = 2003 } @misc{HiP05Typ, author = {Hinze, Ralf and Paterson, Ross}, note = {in submission}, title = {Derivation of a Typed Functional {LR} Parser}, year = 2005 } @misc{Hin, author = {Hindley, R.}, comment = {RH:DA,ddbb}, journal = {Trans. Amer. Math. Soc.}, pages = {29-60}, title = {The principal type-scheme of an object in combinatory logic}, volume = 146, year = 1969 } @inproceedings{Hin00Der, author = {Hinze, Ralf}, booktitle = {Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000}, editor = {Wadler, Phil}, month = sep, pages = {186--197}, title = {Deriving Backtracking Monad Transformers}, year = 2000 } @inproceedings{Hin00Eff, author = {Hinze, Ralf}, booktitle = {Proceedings of the 2nd Workshop on Generic Programming, {Ponte de Lima}, {Portugal}}, editor = {Jeuring, Johan}, month = jul, note = {The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19}, pages = {1--16}, title = {Efficient Generalized Folds}, year = 2000 } @article{Hin00Gen, author = {Hinze, Ralf}, journal = {Journal of Functional Programming}, month = jul, number = 4, pages = {327--351}, title = {Generalizing Generalized Tries}, volume = 10, year = 2000 } @book{Hin00Hab, author = {Hinze, Ralf}, note = {{Habilitationsschrift}, {Universit{\"a}t} {Bonn}}, title = {Generic Programs and Proofs}, booktitle = {Generic Programs and Proofs}, year = 2000 } @inproceedings{Hin00MPC, author = {Hinze, Ralf}, booktitle = {Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000}, editor = {Backhouse, Roland and Oliveira, J.N.}, month = jul, pages = {2--27}, publisher = Springer, series = LNCS, title = {Polytypic values possess polykinded types}, volume = 1837, year = 2000 } @article{Hin00Man, author = {Hinze, Ralf}, journal = {Journal of Functional Programming, Special Issue on Algorithmic Aspects of Functional Programming Languages}, month = sep, number = 5, pages = {493--524}, title = {Manufacturing Datatypes}, volume = 11, year = 2001 } @inproceedings{Hin00Mem, author = {Hinze, Ralf}, booktitle = {Proceedings of the 2nd Workshop on Generic Programming, {Ponte de Lima}, {Portugal}}, editor = {Jeuring, Johan}, month = jul, note = {The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19}, pages = {17--32}, title = {Memo functions, polytypically!}, year = 2000 } @inproceedings{Hin00New, author = {Hinze, Ralf}, booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages (POPL'00), {Boston}, {Massachusetts}, January 19-21}, editor = {Reps, Thomas W.}, month = jan, pages = {119--132}, title = {A New Approach to Generic Functional Programming}, year = 2000 } @article{Hin00Per, author = {Hinze, Ralf}, journal = {Journal of Functional Programming}, month = may, number = 3, pages = {305--317}, title = {{Functional Pearl:} {Perfect} trees and bit-reversal permutations}, volume = 10, year = 2000 } @article{Hin00Pol, author = {Hinze, Ralf}, journal = {Journal of Functional and Logic Programming}, month = jul, number = 3, publisher = {European Association for Programming Languages and Systems}, title = {Polytypic Programming With Ease}, volume = 2001, year = 2001 } @proceedings{Hin01HW, booktitle = {Proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001), Firenze, Italy}, editor = {Hinze, Ralf}, month = sep, publisher = {Electronic Notes in Theoretical Computer Science}, volume = 59, year = 2001 } @techreport{Hin01PSQ, author = {Hinze, Ralf}, institution = {Universiteit Utrecht}, month = mar, number = {UU-CS-2001-09}, title = {A Simple Implementation Technique for Priority Search Queues}, year = 2001 } @inproceedings{Hin01PSQb, author = {Hinze, Ralf}, booktitle = {Proceedings of the 2001 International Conference on Functional Programming, Firenze, Italy, September 3-5, 2001}, editor = {Leroy, Xavier}, month = sep, pages = {110--121}, title = {A Simple Implementation Technique for Priority Search Queues}, year = 2001 } @article{Hin01Pro, author = {Hinze, Ralf}, journal = {International Journal of Foundations of Computer Science}, number = 2, pages = {125-170}, title = {{Prolog}'s Control Constructs in a Functional Setting --- {Axioms} and Implementation}, volume = 12, year = 2001 } @inproceedings{Hin02Boo, author = {Hinze, Ralf}, booktitle = {Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4--6, 2002}, editor = {{Peyton Jones}, Simon}, month = oct, pages = {2-13}, publisher = ACM-Press, title = {Bootstrapping One-sided Flexible Arrays}, year = 2002 } @techreport{Hin02Chu, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = feb, number = {IAI-TR-2002-3}, title = {Church numerals, twice!}, year = 2002 } @inproceedings{Hin02Con, author = {Hinze, Ralf}, booktitle = {Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002}, editor = {Boiten, Eerke A. and M{\"o}ller, Bernhard}, month = jul, pages = {131--147}, publisher = Springer, series = LNCS, title = {Constructing tournament representations: {An} exercise in pointwise relational programming}, volume = 2386, year = 2002 } @techreport{Hin02Cona, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = feb, number = {IAI-TR-2002-2}, title = {Constructing tournament representations: {An} exercise in pointwise relational programming}, year = 2002 } @article{Hin02Fre, author = {Hinze, Ralf}, journal = {J.~Functional Programming}, month = nov, number = 6, pages = {601--607}, title = {{Functional Pearl:} {A} fresh look at binary search trees}, volume = 12, year = 2002 } @article{Hin02Pol, author = {Hinze, Ralf}, journal = {Science of Computer Programming}, pages = {129-159}, title = {Polytypic values possess polykinded types}, volume = 43, year = 2002 } @article{Hin03For, author = {Hinze, Ralf}, journal = {J.~Functional Programming}, month = sep, number = 5, pages = {935--944}, title = {{Functional Pearl:} {F}ormatting: a class act}, volume = 13, year = 2003 } @incollection{Hin03Fun, author = {Hinze, Ralf}, booktitle = {The Fun of Programming}, editor = {Gibbons, Jeremy and {de Moor}, Oege}, note = {ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback}, pages = {245--262}, publisher = {Palgrave Macmillan}, title = {Fun with phantom types}, year = 2003 } @article{Hin04Chu, author = {Hinze, Ralf}, journal = {J.~Functional Programming}, month = jan, number = 1, pages = {1--13}, title = {{Theoretical Pearl:} {C}hurch numerals, twice!}, volume = 15, year = 2005 } @inproceedings{Hin04Gen, author = {Hinze, Ralf}, booktitle = {Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19--22, 2004}, editor = {Fisher, Kathleen}, month = sep, publisher = ACM-Press, title = {Generics for the masses}, year = 2004 } @proceedings{Hin04Nec, booktitle = {Special Issue on Functional Pearls}, editor = {Hinze, Ralf}, publisher = {Journal of Functional Programming}, year = 2004 } @inproceedings{Hin04Sca, author = {Hinze, Ralf}, booktitle = {Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12--14, 2004}, editor = {Kozen, Dexter}, month = jul, publisher = Springer, series = LNCS, title = {An algebra of scans}, year = 2004 } @mastersthesis{Hin89Typ, author = {Hinze, Ralf}, month = may, school = {Universit\"{a}t Dortmund}, title = {Typsysteme und Typinferenzsysteme}, type = {Diplomarbeit}, year = 1989 } @techreport{Hin92Cat, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = dec, number = {IAI-TR-92-1}, title = {The Categorical Abstract Machine: Basics and Enhancments}, year = 1992 } @book{Hin92Fun, address = {Stuttgart}, author = {Hinze, Ralf}, note = {ISBN 3-519-02287-7}, publisher = {B.G.~Teubner}, title = {Einf{\"u}hrung in die funktionale Programmierung mit Miranda}, booktitle = {Einf{\"u}hrung in die funktionale Programmierung mit Miranda}, year = 1992 } @unpublished{Hin92b, author = {Hinze, R.}, note = {Vorlesungsskript SS 92, Universit{\"a}t Bonn, Institut f{\"u}r Informatik III}, title = {Einf{\"u}hrung in die funktionale Programmierung - Sprachen, Spezifikationen, Grundlagen, Implementierung}, year = 1992 } @phdthesis{Hin95Pro, author = {Hinze, Ralf}, month = nov, school = {Universit\"{a}t Bonn}, title = {Projection-based Strictness Analysis --- Theoretical and Practical Aspects}, type = {Inauguraldissertation}, year = 1995 } @techreport{Hin96Eff, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = oct, number = {IAI-TR-96-9}, title = {Efficient Monadic-style Backtracking}, year = 1996 } @techreport{Hin98Gen, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = nov, number = {IAI-TR-98-11}, title = {Generalizing Generalized Tries}, year = 1998 } @techreport{Hin98Num, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = dec, number = {IAI-TR-98-12}, title = {Numerical Representations as Higher-Order Nested Datatypes}, year = 1998 } @techreport{Hin98Pol, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = oct, number = {IAI-TR-98-10}, title = {Polytypic Functions Over Nested Datatypes}, year = 1998 } @inproceedings{Hin98Pro, address = {Singapore, New Jersey, London, Hong Kong}, author = {Hinze, Ralf}, booktitle = {Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98), {Kyoto University}, {Japan}}, editor = {Sato, Masahiko and Toyama, Yoshihito}, month = apr, pages = {98--122}, publisher = {World Scientific}, title = {Prological Features in a Functional Setting --- Axioms and Implementations}, year = 1998 } @incollection{Hin98Str, address = {Stuttgart}, author = {Hinze, Ralf}, booktitle = {Ausgezeichnete Informatikdissertationen 1996}, pages = {46--61}, publisher = {B.G.~Teubner}, title = {Projektionsbasierte {S}triktheitsanalyse}, year = 1998 } @article{Hin99Bin, author = {Hinze, Ralf}, journal = {Journal of Functional Programming}, month = jan, number = 1, pages = {93--104}, title = {{Functional Pearl:} {Explaining} Binomial Heaps}, volume = 9, year = 1999 } @inproceedings{Hin99Con, author = {Hinze, Ralf}, booktitle = {Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, {WAAAPL'99}, {Paris}, {France}}, editor = {Okasaki, Chris}, month = sep, note = {The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from \verb|http://www.cs.columbia.edu/~cdo/waaapl.html|}, pages = {89--99}, title = {Constructing Red-Black Trees}, year = 1999 } @techreport{Hin99Der, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = jan, number = {IAI-TR-99-1}, title = {Deriving monad transformers}, year = 1999 } @techreport{Hin99Eas, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = feb, number = {IAI-TR-99-2}, title = {Polytypic Programming With Ease}, year = 1999 } @inproceedings{Hin99Easb, author = {Hinze, Ralf}, booktitle = {4th {Fuji} International Symposium on Functional and Logic Programming ({FLOPS'99}), {Tsukuba}, {Japan}}, editor = {Middeldorp, Aart and Sato, Taisuke}, month = nov, pages = {21--36}, publisher = Springer, series = LNCS, title = {Polytypic Programming With Ease (Extended Abstract)}, volume = 1722, year = 1999 } @techreport{Hin99Eff, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = jun, number = {IAI-TR-99-8}, title = {Efficient Generalized Folds}, year = 1999 } @inproceedings{Hin99Has, author = {Hinze, Ralf}, booktitle = {Proceedings of the 3rd {Haskell} Workshop, {Paris}, {France}}, editor = {Meijer, Erik}, month = sep, note = {The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28}, title = {A Generic Programming Extension for {Haskell}}, year = 1999 } @techreport{Hin99Man, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = apr, number = {IAI-TR-99-5}, title = {Manufacturing Datatypes}, year = 1999 } @inproceedings{Hin99Manb, author = {Hinze, Ralf}, booktitle = {Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, {WAAAPL'99}, {Paris}, {France}}, editor = {Okasaki, Chris}, month = sep, note = {The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from \verb|http://www.cs.columbia.edu/~cdo/waaapl.html|}, pages = {1--16}, title = {Manufacturing Datatypes}, year = 1999 } @techreport{Hin99New, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = jul, number = {IAI-TR-99-9}, title = {A New Approach to Generic Functional Programming}, year = 1999 } @article{Hin99PFDS, author = {Hinze, Ralf}, journal = {Journal of Functional Programming}, month = sep, number = 5, pages = {577--578}, title = {{Book review:} {``Purely Functional Data Structures''}, by {Chris Okasaki}}, volume = 9, year = 1999 } @techreport{Hin99Per, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = mar, number = {IAI-TR-99-4}, title = {Perfect Trees and Bit-reversal Permutations}, year = 1999 } @inproceedings{Hin99Pol, author = {Hinze, Ralf}, booktitle = {3rd Latin-American Conference on Functional Programming ({CLaPF'99})}, editor = {Lins, Rafael Dueire}, month = mar, title = {Polytypic Functions Over Nested Datatypes (Extended Abstract)}, year = 1999 } @article{Hin99Polb, author = {Hinze, Ralf}, journal = {Discrete Mathematics and Theoretical Computer Science}, month = sep, number = 4, pages = {193--214}, title = {Polytypic Functions Over Nested Datatypes}, volume = 3, year = 1999 } @techreport{Hin99Polc, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = dec, number = {IAI-TR-99-15}, title = {Polytypic values possess polykinded types}, year = 1999 } @techreport{Hin99RBT, author = {Hinze, Ralf}, institution = {Institut f{\"u}r Informatik III, Universit{\"a}t Bonn}, month = may, number = {IAI-TR-99-6}, title = {Constructing Red-Black Trees}, year = 1999 } @inproceedings{HoB97Dat, author = {Hoogendijk, Paul and Backhouse, Roland}, booktitle = {Proceedings of the 7th International Conference on Category Theory and Computer Science ({Santa Margherita Ligure, Italy, September 4--6})}, editor = {Moggi, Eugenio and Rosolini, Giuseppe}, pages = {242--260}, publisher = Springer, series = LNCS, title = {When do datatypes commute?}, volume = 1290, year = 1997 } @inproceedings{HoO83, author = {Hoffmann, Christoph M. and O'Donnell, Michael J.}, crossref = "POPL83", signature = {RH:FP2}, title = {Implementation of an Interpreter for Abstract Equations} } @article{HoP03XDu, author = {Hosoya, Haruo and Pierce, Benjamin C.}, journal = {ACM Transactions on Internet Technology}, number = {2}, pages = {117--148}, title = {{XDuce}: A typed {XML} processing language}, volume = {3}, year = 2003 } @inproceedings{Hoa89, author = {Hoare, C.A.R.}, entrydate = {05/90}, crossref = "TABSOFT89", signature = {RH:MISC1}, title = {The Varieties of Programming Language} } @incollection{Hoa89b, author = {Hoare, C.A.R}, entrydate = {08/90}, crossref = "Bro88", signature = {RH:MISC3}, title = {Notes on an Approach to Category Theory for Computer Scientists} } @inproceedings{Hoe89, author = {H{\"o}lldobler, Steffen}, entrydate = {05/90}, crossref = "UNIF89", signature = {RH:LP2}, title = {Unification over Rational Trees} } @inproceedings{Hol83Eff, address = {London, UK}, author = {Holmstr{\"o}m, S{\"o}ren}, booktitle = {Proceedings of the Joint SERC/Chalmers Workshop on Declarative Programming, University College}, title = {A Simple and Efficient Way to Handle Large Datastructures in Applicative Languages}, year = 1983 } @book{Hol91Fun, author = {Holyer, Ian}, publisher = Pitman, title = {Functional Programming with Miranda}, booktitle = {Functional Programming with Miranda}, year = 1991 } @book{Hom79, author = {Hommel, G{\"u}nter and J{\"a}ckel, Joachim and J{\"a}hnchen, Stefan and Kleine, Karl and Koch, Wilfried and Koster, Kees}, publisher = {Akademische Verlagsgesellschaft, Wiesbaden}, signature = {RH}, title = {ELAN-Sprachbeschreibung}, booktitle = {ELAN-Sprachbeschreibung} } @inproceedings{Hoo92Der, author = {Hoogerwoord, R.R.}, booktitle = {Proceedings of the Second International Conference on Mathematics of Program Construction}, editor = {Bird, R.S. and Morgan, C.C. and Woodcock, J.C.P.}, publisher = {LNCS, Springer-Verlag}, title = {A Derivation of Huffman's Algorithm}, year = 1992 } @inproceedings{Hoo92Log, author = {Hoogerwoord, R.R.}, booktitle = {Proceedings of the Second International Conference on Mathematics of Program Construction}, editor = {Bird, R.S. and Morgan, C.C. and Woodcock, J.C.P.}, pages = {191--207}, publisher = {LNCS, Springer-Verlag}, title = {A Logarithmic Implementation of Flexible Arrays}, year = 1992 } @article{Hoo92Sym, author = {Hoogerwoord, Rob R.}, journal = {Journal of Functional Programming}, month = oct, number = 4, pages = {505--513}, title = {Functional {Pearls}: {A} Symmetric Set of Efficient List Operation}, volume = 2, year = 1992 } @book{Hop84, author = {Hoppe, Heinz Ulrich and L{\"o}the, Herbert}, publisher = "?", signature = {RH}, title = {Probleml{\"o}sen und Programmieren mit LOGO}, booktitle = {Probleml{\"o}sen und Programmieren mit LOGO}, year = 1984 } @book{Hot72Inf, address = {Stuttgart}, author = {Hotz, G.}, note = {ISBN 3-519-02320-2}, publisher = {Teubner}, title = {Informatik : Rechenanlagen}, booktitle = {Informatik : Rechenanlagen}, volume = {Teubner Studienb{\"u}cher Informatik}, year = 1972 } @book{Hot74Sch, author = {Hotz, G.}, note = {ISBN 3-11-00-2050-5}, publisher = {Walter de Gruyter}, title = {Schaltkreistheorie}, booktitle = {Schaltkreistheorie}, volume = {De Gruyter Lehrbuch}, year = 1974 } @incollection{How80, author = {Howard, W.A.}, entrydate = {08/90}, crossref = "TOHB80", signature = {RH:TS3}, title = {The Formulae-As-Types Notion of Construction} } @techreport{Hoy94Imp, author = {Peter H{\o}yer}, institution = {Department of Mathematics and Computer Science, Odense University}, month = oct, number = {PP-1994-33}, title = {A General Technique for Implementation of Efficient Priority Queues}, year = 1994 } @book{Hu82Com, author = {Hu, T.C.}, publisher = Addison-Wesley, title = {Combinatorial Algorithms}, booktitle = {Combinatorial Algorithms}, year = 1982 } @inproceedings{HuK84, author = {Hudak, P. and Kranz, D.}, pages = {122-132}, crossref = "POPL84", signature = {RH:FP2}, title = {A Combinatorbased Compiler for a Functional Language} } @article{HuM82New, author = {Huddleston, Scott and Mehlhorn, Kurt}, journal = {Acta Informatica}, pages = {157--184}, title = {A New Data Structure for Representing Sorted Lists}, volume = 17, year = 1982 } @inproceedings{HuO, author = {Huet, Gerard and Oppen, C.}, pages = {349-405}, crossref = "FLT", signature = {RH:FP3}, title = {Equations and Rewrite Rules A Survey} } @article{HuP86, author = {Huwig, Hagen and Poigne, Axel}, journal = UniDoGruen, signature = {RH:FP3}, title = {A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category}, volume = 216, year = 1986 } @article{HuP90Inc, author = {Huwig, Hagen and Poign\'{e}, Axel}, journal = {Theoretical Computer Science}, month = jun, number = 1, pages = {101--112}, title = {A note on inconsistencies caused by fixpoints in a {Cartesian} closed category}, volume = 73, year = 1990 } @book{Hud00Has, author = {Hudak, Paul}, publisher = {Cambridge University Press}, title = {The Haskell School of Expression: Learning Functional Programming through Multimedia}, booktitle = {The Haskell School of Expression: Learning Functional Programming through Multimedia}, year = 2000 } @techreport{HudExp8, author = {Hudak,Paul and Sundaresh,Raman S.}, institution = {Yale University}, month = jan, number = {YALEDU/DCS/RR-665}, title = {On the Expressiveness of Purely Functional I/O Systems}, year = 1988 } @techreport{HudRep88, author = {Hudak, P. and Wadler (Hrsg.), P.}, institution = {Yale University, Department of Computer Science}, month = nov, note = {YALEU/DCS/RR656}, title = {Report on the functional programming language Haskell}, year = 1988 } @techreport{Hudak89, address = {Glasgow}, author = {P. Hudak and P. Wadler}, institution = {Department of Computer Science, University of Glasgow}, keywords = {functional}, number = {CSC/89/R5}, title = {{Report on the Functional Programming Language Haskell}}, type = {Research Report}, year = {1989} } @article{Hue80, author = {Huet, Gerard}, journal = jacm, number = 4, pages = {797-821}, signature = {RH:FP3}, title = {Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems}, volume = 27, year = 1980 } @inproceedings{Hue85, author = {Huet, Gerard}, crossref = "CFPL85", signature = {RH:FP3}, title = {Cartesian Closed Categories and Lambda-Calculus} } @article{Hue97Zip, author = {Huet, G\'{e}rard}, journal = {J.~Functional Programming}, month = sep, number = 5, pages = {549--554}, title = {Functional {Pearl}: {The} {Zipper}}, volume = 7, year = 1997 } @inbook{Hug, author = {Hughes, J.}, booktitle = {?}, pages = {?}, publisher = {?}, title = {Compile-time Analysis of Functional Programms}, type = {?}, year = {?} } @article{Hug00Gen, author = {Hughes, John}, journal = {Science of Computer Programming}, month = may, pages = {67--111}, title = {Generalising Monads to Arrows}, volume = 37, year = 2000 } @inproceedings{Hug85Str, address = {Berlin}, author = {Hughes, R.J.M.}, booktitle = {Proceedings of the Workshop on Programs as Data Objects (Copenhagen)}, editor = {Ganzinger, H.and Jones, N.}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Strictness detection in non-flat domains}, volume = 217, year = 1985 } @article{Hug86Nov, author = {Hughes, R. John Muir}, journal = IPL, month = mar, number = 3, pages = {141--144}, title = {A Novel Representation of Lists and its Application to the Function ``Reverse''}, volume = 22, year = 1986 } @incollection{Hug87Ana, author = {Hughes, J.}, chapter = 4, crossref = "Abr87Abs", title = {Analysing strictness by abstract interpretation of continuations} } @inproceedings{Hug89Pro, address = {Berlin}, author = {Hughes, R.J.M.}, booktitle = {Category Theory and Computer Sience (Manchester)}, editor = {Pitt, D.H. and Rydeheard, D.E. and Dybjer, P. and Poigne, A.}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Projections for Polymorphic Strictness Analysis}, volume = 389, year = 1989 } @incollection{Hug95Des, author = {Hughes, John}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, {B{\aa}stad}, {Sweden}}, editor = {Jeuring, J. and Meijer, E.}, month = may, pages = {53--96}, publisher = Springer, series = LNCS, title = {The Design of a Pretty-printing Library}, volume = 925, year = 1995 } @inproceedings{Hug96Typ, author = {Hughes, John}, booktitle = {Partial Evaluation. Dagstuhl Castle, Germany, February 1996}, editor = {Danvy, O. and Gl{\"u}ck, R. and Thiemann, P.}, pages = {183--215}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Type Specialisation for the $\lambda$-calculus; or, {A} New Paradigm for Partial Evaluation Based on Type Inference}, volume = 1110, year = 1996 } @manual{Hugs98, author = {Jones, M.P. and Peterson, J.C.}, month = may, note = {Available from \texttt{http://www.haskell.org/hugs}}, title = {Hugs~98 User Manual}, year = 1999 } @article{Hut02Cou, author = {Hutton, Graham}, journal = {Journal of Functional Programming}, month = nov, number = 6, pages = {609--616}, title = {{Functional Pearl:} The countdown problem}, volume = 12, year = 2002 } @article{Hut99Tut, author = {Hutton, Graham}, journal = {Journal of Functional Programming}, month = jul, number = {4}, pages = {355--372}, title = {A tutorial on the universality and expressiveness of fold}, volume = {9}, year = 1999 } @inproceedings{HutPar89, author = {Hutton, Graham}, crossref = "FP89", title = {Parsing using Combinators} } @proceedings{ICLP88, booktitle = {Proc. of the 5th Int. Conf. and Symp. on Logic Programming}, comment = {ddbb}, key = {ICLP88}, publisher = {MIT Press}, title = {Proc. of the 5th Int. Conf. and Symp. on Logic Programming}, year = {1988} } @techreport{IKO87Pro, author = {Icking, Christian and Klein, Rolf and Ottmann, Thomas}, institution = {Albert-Ludwigs-Universitaet Freiburg, Institut f\"{u}r Informatik}, month = nov, number = {report00004}, title = {Priority Search Trees in Secondary Memory}, type = {Technical Report}, year = 1987 } @book{ISO95Pro, key = {ISOProlog}, month = jun, publisher = {ISO/IEC JTC 1/SC22/WG17}, title = {Information technology --- Programming languages --- {Prolog} --- Part 1: General core}, booktitle = {Information technology --- Programming languages --- {Prolog} --- Part 1: General core}, year = 1995 } @book{Ive62APL, author = {Iverson, Kenneth E.}, publisher = {John Wiley \& Sons}, title = {{APL}: {A} Programming Language}, booktitle = {{APL}: {A} Programming Language}, year = 1962 } @article{JBM98Fun, author = {Jay, C.B. and Bell{\`e}, G. and Moggi, E.}, journal = {Journal of Functional Programming}, month = nov, number = 6, pages = {573--619}, title = {Functorial {ML}}, volume = 8, year = 1998 } @techreport{JD93Com, author = {Jones, Mark P. and Duponcheel, Luc}, institution = {Department of Computer Science, Yale University}, month = dec, number = {YALEU/DCS/RR-1004}, title = {Composing Monads}, year = 1993 } @inproceedings{JJM97Typ, author = {{Peyton Jones}, Simon and Jones, Mark and Meijer, Erik}, booktitle = {{Haskell} Workshop}, title = {Type classes: an exploration of the design space}, year = 1997 } @techreport{JM86Dat, author = {Jones,N.D. and Mycroft, A.}, institution = {University Park1 and Computer Laboratory, Cambridge University}, note = {ACM-0-89791-175-X-1/86-0296}, title = {Data Flow Analysis of Applicative Programms Using Minimal Funktion Graphs (Abridged Version)}, year = 1986 } @article{JRB85, author = {Joy, M. S. and Rayward-Smith, V. J. and Burton, F. W.}, journal = cl, number = {3/4}, pages = {211-224}, signature = {RH:FP2}, title = {Efficient Combinator Code}, volume = 10, year = 1985 } @inproceedings{JaC94Sha, address = {Berlin}, author = {Jay, C.B. and Cocket, J.R.B.}, booktitle = {Programming Languages and Systems --- {ESOP}'94: 5th European Symposium on Programming, {Edinburgh}, {UK}, Proceedings}, editor = {Sanella, D.}, month = {11--13 April}, pages = {302--316}, publisher = Springer, series = LNCS, title = {Shapely types and shape polymorphism}, volume = 788, year = 1994 } @article{JaJ00Cal, author = {Jansson, Patrik and Jeuring, Johan}, journal = {Science of Computer Programming}, number = 1, pages = {35--75}, title = {Polytypic Data Conversion Programs}, volume = 43, year = 2002 } @inproceedings{JaJ97Pol, author = {Jansson, Patrik and Jeuring, Johan}, booktitle = {Conference Record 24th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages ({POPL'97}), {Paris}, {France}}, month = jan, pages = {470--482}, publisher = ACM-Press, title = {{PolyP}---a polytypic programming language extension}, year = 1997 } @article{JaJ98Pol, author = {Jansson, Patrik and Jeuring, Johan}, journal = {Journal of Functional Programming}, month = sep, number = 5, title = {Functional {Pearl}: {Polytypic} Unification}, volume = 8, year = 1998 } @inproceedings{JaJ99Pol, address = {Berlin}, author = {Jansson, Patrik and Jeuring, Johan}, booktitle = {Proceedings European Symposium on Programming, {ESOP'99}}, editor = {Swierstra, S. Doaitse}, pages = {273--287}, publisher = Springer, series = LNCS, title = {Polytypic compact printing and parsing}, volume = 1576, year = 1999 } @book{Jac86, author = {Jackson, Peter}, comment = {WB:}, entrydate = {10/87}, keywords = {Expert System, Knowledge Representation}, publisher = Addison-Wesley, signature = {RH, WB, LS6}, title = {Introduction to Expert Systems}, booktitle = {Introduction to Expert Systems}, year = 1986 } @incollection{JeJ96Pol, author = {Jeuring, Johan and Jansson, Patrik}, booktitle = {Tutorial Text 2nd International School on Advanced Functional Programming, {Olympia}, {WA}, {USA}}, editor = {Launchbury, J. and Meijer, E. and Sheard, T.}, pages = {68--114}, publisher = Springer, series = LNCS, title = {Polytypic Programming}, volume = 1129, year = 1996 } @incollection{JeJ98Pol, author = {Jansson, Patrik and Jeuring, Johan}, booktitle = {Informal Proceedings Workshop on Generic Programming, {WGP'98}, {Marstrand}, {Sweden}}, editor = {Backhouse, Roland and Sheard, Tim}, month = jun, publisher = {Department of Computing Science, Chalmers University of Technology and G{\"o}teborg University}, title = {{PolyLib}---{A} Library of Polytypic Functions}, year = 1998 } @book{JenPas78, author = {Jensen, Kathleen and Wirth, Niklaus}, edition = {zweite}, publisher = Springer, title = {Pascal: User Manual and Report}, booktitle = {Pascal: User Manual and Report}, year = 1978 } @book{JenPas85, author = {Jensen, Kathleen and Wirth, Niklaus}, edition = {dritte}, note = {ISO Pascal Standard}, publisher = Springer, title = {Pascal: User Manual and Report}, booktitle = {Pascal: User Manual and Report}, year = 1985 } @unpublished{JoB99Pra, author = {Jones, Mark B and Blampied, Paul}, note = {unpublished}, title = {A Pragmatic Approach to Maps and Folds for Parameterized Datatypes}, year = 1999 } @misc{JoK90, author = {Jouannaud, J. P. and Kirchner, C.}, entrydate = {08/90}, signature = {RH:LP2}, title = {Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification}, year = 1990 } @misc{Joh, author = {Johnson, Stephen C.}, signature = {RH}, title = {Yacc: Yet Another Compiler-Compiler}, year = "?" } @inproceedings{Joh84, author = {Johnsson, Thomas}, pages = {58-69}, crossref = "CC84", signature = {RH:FP2}, title = {Efficient Compilation of Lazy Evaluation} } @inproceedings{Jon00Fun, author = {Jones, Mark P.}, booktitle = {Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany}, editor = {Smolka, G.}, month = mar, pages = {230--244}, publisher = Springer, series = LNCS, title = {Type Classes with Functional Dependencies}, volume = 1782, year = 2000 } @inproceedings{Jon84Ste, author = {Jones, N.D. and Mycroft, A.}, comment = {ddbb}, pages = {281-288}, crossref = "SLP84", title = {Stepwise Development of Operational and Denotational Semantics for Prolog} } @article{Jon86Emp, author = {Jones, D. W.}, journal = cacm, pages = {300--311}, title = {An empirical comparison of priority-queue and event-set implementations}, volume = 29, year = 1986 } @book{Jon94Qua, author = {Jones, Mark P.}, publisher = {Cambridge University Press}, title = {Qualified Types: Theory and Practice}, booktitle = {Qualified Types: Theory and Practice}, year = 1994 } @incollection{Jon95Fun, author = {Jones, Mark P.}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, {B{\aa}stad}, {Sweden}}, editor = {Jeuring, J. and Meijer, E.}, month = may, pages = {97--136}, publisher = Springer, series = LNCS, title = {Functional Programming with Overloading and Higher-Order Polymorphism}, volume = 925, year = 1995 } @article{Jon95Sys, author = {Jones, Mark P.}, journal = {Journal of Functional Programming}, month = jan, number = 1, pages = {1--35}, title = {{A} system of constructor classes: overloading and implicit higher-order polymorphism}, volume = 5, year = 1995 } @inproceedings{Jon97Fir, address = {Paris, France}, author = {Jones, Mark P.}, booktitle = {Conference Record of {POPL}~'97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages}, month = {15--17 January}, pages = {483--496}, title = {First-class Polymorphism with Type Inference}, year = {1997} } @misc{Jon98Tec, author = {Jones, Mark}, note = {unpublished}, title = {A technical summary of the new features in {Hugs} 1.3c}, year = 1998 } @techreport{JonPri83, author = {Jones, N. D. and Tofte, M.}, institution = {DIKU, Kopenhagen}, title = {Some principles and notations for the construction of compiler generators}, year = 1983 } @techreport{KHL91Imp, author = {Kubiak, R. and Hughes, J. and Launchbury, J.}, institution = {Department of Computing Science, University of Glasgow}, title = {Implementing Projection-based Strictness Analysis}, year = 1991 } @techreport{KLR88, author = {Knuth, D.E. and Larrabee, T. and Roberts P.M.}, entrydate = {08/90}, institution = {Department of Computer Science, Stanford University}, number = {STAN-CS-88-1193}, signature = {RH:MISC2}, title = {Mathematical Writing}, year = 1988 } @inproceedings{KTU88, author = {Kfoury, A.J. and Tiuryn, J. and Urzyczyn}, comment = {RH:DA}, entrydate = {12/88}, crossref = "POPL88", signature = {RH:TS2}, title = {A Proper Extension of {ML} with an Effective Type-Assignment} } @inproceedings{KW92Com, author = {King, David J. and Wadler, Philip}, booktitle = {{Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland}}, editor = {Launchbury, J. and Sansom, P.M.}, month = jul, pages = {134-143}, publisher = Springer, series = {Workshops in Computing}, title = {Combining monads}, year = 1993 } @inproceedings{KaH85, author = {Kanamori, Tadashi and Horiuchi, Kenji}, comment = {RH:DA, STL: L0}, crossref = "IJCAI85", signature = {RH:TS1, STL}, status = {!}, title = {Type Inference in Prolog and its Application} } @inproceedings{KaH87b, author = {Kanamori, Tadashi and Horiuchi, Kenji}, comment = {RH:DA}, entrydate = {09/88}, pages = {194-214}, crossref = "SLP87", signature = {BI 3422/1987, RH:TS1}, title = {Polymorphic Type Inference in Prolog by Abstract Interpretation} } @inproceedings{KaT95Per, address = {Las Vegas, Nevada}, author = {Kaplan, Haim and Tarjan, Robert E.}, booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on the Theory of Computing}, month = may, pages = {93--102}, title = {Persistent Lists with Catenation via Recursive Slow-Down}, year = 1995 } @inproceedings{KaT96Pur, address = {Philadelphia, Pennsylvania}, author = {Kaplan, Haim and Tarjan, Robert E.}, booktitle = {Proceedings of the Twenty-Eighth Annual {ACM} Symposium on the Theory of Computing}, month = may, pages = {202--211}, title = {Purely Functional Representations of Catenable Sorted Lists}, year = 1996 } @inproceedings{Kac89, author = {Kaci, A{\"\i}t}, entrydate = {05/90}, crossref = "UNIF89", signature = {RH:LP2}, title = {Disjunctive $\psi$-Term Unification} } @book{Kac91War, author = {A{\"\i}t-Kaci, Hassan}, comment = {ddbb}, publisher = MIT-Press, series = {Logic Programming Series}, title = {Warren's Abstract Machine: A Tutorial Reconstruction}, booktitle = {Warren's Abstract Machine: A Tutorial Reconstruction}, year = 1991 } @inproceedings{Kae88, author = {Kaes, Stefan}, comment = {RH:DA}, keywords = {Types}, pages = {131-144}, crossref = "ESOP88", signature = {RH:TS1}, title = {Parametric Overloading in Polymorphic Programming Languages} } @inproceedings{Kam88, author = {Kamin, Samuel}, comment = {RH:DA}, entrydate = {12/88}, crossref = "POPL88", signature = {RH:TS2}, title = {Inheritance in Smalltalk-80: A Denotational Definition} } @inproceedings{Kap86NPC, author = {Kapur, Deepak and Narendran, Paliath}, comment = {ddbb}, pages = {489-495}, crossref = "CADE86", title = {NP-Completeness of the Set Unification and Matching Problems} } @techreport{Kar81, author = {Karlsson,Kent}, institution = {Chalmers University, Goteburg}, title = {Nebula: A Functional Operating System}, year = 1981 } @article{Ken96Dra, author = {Kennedy, Andrew J.}, journal = {Journal of Functional Programming}, month = may, number = 3, pages = {527--534}, title = {Functional {Pearl}: {Drawing} trees}, volume = 6, year = 1996 } @article{Ker81PIC, author = {Kernighan, B.W.}, journal = {ACM SIGPLAN Notices}, month = jun, number = 6, pages = {92--98}, title = {{PIC}: a language for typesetting graphics}, volume = 16, year = 1981 } @article{Ker82PIC, author = {Kernighan, Brian W.}, journal = {Software --- Practice and Experience}, month = jan, number = 1, pages = {1--21}, title = {Pic --- a Language for Typesetting Graphics}, volume = 12, year = 1982 } @book{Ker83, author = {Kernighan, Brian W. and Ritchie, Dennis M.}, publisher = "?", signature = {RH}, title = {Programmieren in C}, booktitle = {Programmieren in C}, year = 1983 } @inproceedings{KhL93Dou, author = {Khoong, C. M. and Leong, H. W.}, booktitle = {Proceedings 4th International Symposium {ISAAC}'93}, number = 762, pages = {128--137}, publisher = Springer, series = LNCS, title = {Double-Ended Binomial Queues}, year = 1993 } @inproceedings{Kin94Fun, address = {Ayr, Scotland}, author = {King, D. J.}, booktitle = {Glasgow functional programming workshop}, editor = {Hammond, K. and Turner, D. N. and Sansom, P. M.}, publisher = Springer, title = {Functional Binomial Queues}, year = {1994} } @phdthesis{Kin95Fun, author = {King, D.J.}, month = mar, school = {Department of Computer Science, University of Glasgow}, title = {Functional Programming and Graph Algorithms}, type = {Ph.D.~thesis}, year = 1996 } @mastersthesis{Klu96Fun, author = {Kluge, Michael}, month = sep, school = {Universit\"{a}t Bonn}, title = {{Funktionale Programmiersprachen als Code abstrakter Maschinen}}, type = {Diplomarbeit}, year = 1996 } @inproceedings{KnB67, author = {Knuth, Donald E. and Bendix, Peter B.}, crossref = "CPAA", signature = {RH:FP3}, title = {Simple Word Problems in Universal Algebras} } @article{Kna28The, author = {Knaster, B.}, journal = {Annales de la Societ\'{e} Polonaise de Mathematique}, pages = {133--134}, title = {Un th\'{e}or\`{e}me sur les fonctions d'ensembles}, volume = 6, year = 1928 } @article{Knu89Err, author = {Knuth, D.E.}, journal = {Software --- Practice \& Experience}, pages = {607--685}, title = {The errors of {\TeX}}, volume = 19, year = 1989 } @misc{Knu94Tca, author = {Knuth, Donald E.}, note = {\verb|http://www-cs-faculty.stanford.edu/~knuth/programs/tcalc.w.gz|}, title = {{TCALC}}, year = 1994 } @book{Knu97Art1, author = {Knuth, Donald E.}, edition = {3rd}, publisher = Addison-Wesley, title = {The Art of Computer Programming, {V}olume~1: Fundamental Algorithms}, booktitle = {The Art of Computer Programming, {V}olume~1: Fundamental Algorithms}, year = 1997 } @book{Knu97Art2, author = {Knuth, Donald E.}, edition = {3rd}, publisher = Addison-Wesley, title = {The Art of Computer Programming, {V}olume~2: Seminumerical Algorithms}, booktitle = {The Art of Computer Programming, {V}olume~2: Seminumerical Algorithms}, year = 1997 } @book{Knu98Art3, author = {Knuth, Donald E.}, edition = {2nd}, publisher = Addison-Wesley, title = {The Art of Computer Programming, {V}olume~3: Sorting and Searching}, booktitle = {The Art of Computer Programming, {V}olume~3: Sorting and Searching}, year = 1998 } @book{KnuArt68, author = {Knuth, Donald E.}, publisher = Addison-Wesley, title = {The Art of Computer Programming, {V}olume~1: Fundamental Algorithms}, booktitle = {The Art of Computer Programming, {V}olume~1: Fundamental Algorithms}, year = 1968 } @book{KnuArt69, author = {Knuth, Donald E.}, publisher = Addison-Wesley, title = {The Art of Computer Programming, {V}olume~2: Seminumerical Algorithms}, booktitle = {The Art of Computer Programming, {V}olume~2: Seminumerical Algorithms}, year = 1969 } @book{KnuArt73, author = {Knuth, Donald E.}, publisher = Addison-Wesley, title = {The Art of Computer Programming, {V}olume~3: Sorting and Searching}, booktitle = {The Art of Computer Programming, {V}olume~3: Sorting and Searching}, year = 1973 } @inproceedings{Kor83, author = {Kornfeld, William A.}, comment = {STL: L1}, pages = {514-519}, crossref = "IJCAI83", signature = {RH:LP2,STL,BI 3369}, title = {Equality for Prolog} } @mastersthesis{Kor98Fun, author = {Korittky, Joachim}, month = dec, school = {Universit\"{a}t Bonn}, title = {\textit{Functional} {\MP}}, type = {Diplomarbeit}, year = 1998 } @inproceedings{Kow74pre, author = {Kowalski, Robert A.}, comment = {ddbb}, pages = {556--574}, crossref = "IFIP74", title = {Predicate Logic as a Programming Language} } @article{Kow88, author = {Kowalski, Robert A.}, journal = cacm, number = 1, pages = {38-43}, signature = {RH:LP1}, title = {The Early Years of Logic Programming}, volume = 31, year = 1988 } @inproceedings{LHJ95Mon, author = {Liang, Sheng and Hudak, Paul and Jones, Mark}, booktitle = {{Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California}}, month = jan, pages = {333--343}, title = {Monad Transformers and Modular Interpreters}, year = 1995, zzz = {ACM} } @inproceedings{LMM88, author = {Lassez, J-L. and Maher, M.J. and Marriott, K.}, comment = {ddbb}, crossref = "FODD", signature = {BI 3367/FOUN, RH:LP1}, title = {Unification Revisited} } @unpublished{LPJ02Scr, author = {L{\"a}mmel, Ralf and {Peyton Jones}, Simon}, note = {Available from \verb|http://research.microsoft.com/~simonpj/papers/hmap/|}, title = {Scrap your boilerplate: a practical approach to generic programming}, year = 2002 } @inproceedings{LPJ03Scr, author = {{Peyton Jones}, Simon and L{\"a}mmel, Ralf}, booktitle = {Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans}, month = jan, pages = {26--37}, title = {Scrap your boilerplate: a practical approach to generic programming}, year = 2003 } @inproceedings{LPJ04Scr, author = {L{\"a}mmel, Ralf and {Peyton Jones}, Simon}, booktitle = {Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19--22, 2004}, editor = {Fisher, Kathleen}, month = sep, pages = {244--255}, title = {Scrap more boilerplate: reflection, zips, and generalised casts}, year = 2004 } @inproceedings{LPJ05Scr, author = {L{\"a}mmel, Ralf and {Peyton Jones}, Simon}, booktitle = {Proceedings of the 2005 International Conference on Functional Programming, Tallinn, Estonia, September 26--28, 2005}, editor = {Pierce, Benjamin}, month = sep, title = {Scrap your boilerplate with class: extensible generic functions}, year = 2005 } @inproceedings{LPJ94Laz, author = {Launchbury, John and Peyton Jones, Simon L.}, booktitle = {{Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, Orlando, Florida}}, month = jun, note = {{\em SIGPLAN Notices,} 29(6), June 1994}, pages = {24--35}, title = {Lazy Functional State Threads}, year = 1994 } @proceedings{LPNMR91, booktitle = {Proc. of the 1st Int. Workshop on Logic Programming and Non-monotonic Reasoning}, comment = {ddbb}, key = {LPNMR91}, publisher = {MIT Press}, title = {Proc. of the 1st Int. Workshop on Logic Programming and Non-monotonic Reasoning}, year = {1991} } @inproceedings{LRT03Too, address = {New York}, author = {Li, Huiqing and Reinke,Claus and Thompson, Simon}, booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} {Haskell} Workshop}, month = aug, pages = {27--38}, publisher = {ACM Press}, title = {Tool support for refactoring functional programs}, year = 2003 } @inproceedings{LSM00Imp, author = {Lewis, Jeffrey R. and Shields, Mark B. and Meijer, Erik and Launchbury, John}, booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {Boston}, {Massachusetts}, January 19-21}, editor = {Reps, Thomas W.}, month = jan, pages = {108--118}, title = {Implicit Parameters: Dynamic Scoping with Static Types}, year = 2000 } @book{LSS84, author = {Loeckx, Jacques and Sieber, Kurt and Stansifer, Ryan D.}, entrydate = {05/90}, publisher = Teubner, signature = {RH}, title = {The Foundations of Program Verification}, booktitle = {The Foundations of Program Verification}, year = 1984 } @article{LaFPar80, author = {Ladner, Richard E. and Fischer, Michael J.}, journal = jacm, month = oct, number = 4, pages = {831--838}, title = {Parallel Prefix Computation}, volume = 27, year = 1980 } @inproceedings{LaP96Par, author = {Launchbury, John and Paterson, Ross}, booktitle = {European Symposium on Programming, Link\"{o}ping, Sweden}, editor = {Nielson, Hanne Riis}, month = apr, pages = {204--218}, publisher = Springer, series = LNCS, title = {Parametricity and Unboxing with Unpointed Types}, volume = 1058, year = 1996 } @article{Laf88, author = {Lafont, Y.}, entrydate = {12/88}, journal = tcs, pages = {157-180}, signature = {RH:FP2}, title = {The Linear Abstract Machine}, volume = 59, year = 1988 } @book{Lam94Lat, author = {Lamport, Leslie}, edition = {second}, publisher = Addison-Wesley, title = {\LaTeX: A document preparation system}, booktitle = {\LaTeX: A document preparation system}, year = 1994 } @incollection{LamLam80, author = {Lambek, J.}, pages = {376-402}, crossref = "TOHB80", title = {From Lambda-Calculus to Cartesian Closed Categories} } @article{Lan66, author = {Landin, P. J.}, journal = cacm, month = mar, number = 3, pages = {157-166}, signature = {RH:FP3}, title = {The Next 700 Programming Languages}, volume = 9, year = 1966 } @article{LanMec64, author = {Landin, P.J.}, journal = {Computer Journal}, pages = {308-320}, title = {The mechanical evaluation of expressions}, volume = 6, year = 1964 } @inproceedings{Lau92Ext, author = {L\"{a}ufer, Konstantin and Odersky, Martin}, booktitle = {Proceedings of the 1992 {ACM} Workshop on {ML} and its Applications, San Francisco}, month = jun, organization = {Association for Computing Machinery}, pages = {78--91}, title = {An Extension of {ML} with First-Class Abstract Types}, year = 1992 } @inproceedings{Lav88, author = {Laville, Alain}, pages = {298-316}, crossref = "ESOP88", signature = {RH:FP2}, title = {Implementation of Lazy Pattern Matching Algorithmus}, year = 1988 } @article{LeM93Dyn, author = {Xavier Leroy and Michel Mauny}, journal = {Journal of Functional Programming}, number = 4, pages = {431--463}, title = {Dynamics in {ML}}, volume = 3, year = 1993, zzz = {Objects with dynamic types allow the integration of operations that essentially require run-time type-checking into statically-typed languages. This article presents two extensions of the ML language with dynamics, based on our work on the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism.} } @inproceedings{LeM99Dom, address = {Berkeley, CA}, author = {Leijen, Daan and Meijer, Erik}, booktitle = {Proceedings of the 2nd Conference on Domain-Specific Languages}, month = oct, pages = {109--122}, publisher = {USENIX Association}, title = {Domain-Specific Embedded Compilers}, year = 1999 } @inproceedings{LeP89Hea, author = {Levcopoulos, Christos and Petersson, Ola}, booktitle = {Algorithms and Data Structures}, editor = {Dehne,F. and Sack,J.-R. and Santoro,N.}, pages = {499--509}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Heapsort---Adapted for Presorted Files}, volume = 382, year = 1989 } @inproceedings{Lei83, author = {Leivant, Daniel}, comment = {RH:DA}, entrydate = {12/88}, crossref = "POPL83", signature = {RH:TS2}, title = {Polymorphic Type Inference} } @inproceedings{Lei83Rea, address = {Los Alamitos, {CA}, {USA}}, author = {Leivant, Daniel}, booktitle = {Proceedings 24th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS'83}, {Tucson}, {AZ}, {USA}}, month = nov, pages = {460--469}, publisher = {IEEE Computer Society Press}, title = {Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines}, year = 1983 } @article{Lei86, author = {Leivant, Daniel}, entrydate = {08/90}, journal = tcs, pages = {51-68}, signature = {RH:TS3}, title = {Typings and Computational Properties of Lambda Expressions}, volume = 44, year = 1986 } @inproceedings{Lei87, author = {Lei{\ss}, Hans}, comment = {RH:DA}, entrydate = {12/88}, crossref = "CSL87", signature = {RH:TS2}, title = {On Type Inference for Object-Oriented Programming Languages} } @inproceedings{Lei89, author = {Lei{\ss}, Hans}, entrydate = {05/90}, crossref = "UNIF89", signature = {RH:LP2}, title = {A Semi-Unification Algorithm} } @inproceedings{Ler94Man, address = {New York, NY}, author = {Xavier Leroy}, booktitle = {Conference Record of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '94), Portland, Oregon}, month = jan, organization = {ACM}, pages = {109--122}, title = {Manifest types, modules, and separate compilation}, year = {1994}, zzz = {27 references.} } @techreport{Ler99Obj, author = {Leroy, Xavier}, institution = {Institut National de Recherche en Informatique et Automatique}, month = mar, title = {The {Objective Caml} system, release 2.02 --- Documentation and user's manual}, year = 1999 } @misc{Les, author = {Lesk, M.E. and Schmidt, E.}, signature = {RH}, title = {Lex - A Lexical Analyzer Generator}, year = "?" } @incollection{Let84, author = {Letschert, Thomas}, comment = {RH:DA}, crossref = "IF77", signature = {BI 3420, RH:TS1}, title = {Type Inference in the Presence of Overloading, Polymorphism and Coercions} } @phdthesis{Let86, author = {Letschert, Thomas}, comment = {RH:DA}, school = {TH Darmstadt}, signature = {RH:TS1}, title = {Typinferenzsysteme}, year = 1986 } @book{Lev81, author = {Leventhal, Lance A.}, publisher = "?", signature = {RH}, title = {6502 Programmieren in Assembler}, booktitle = {6502 Programmieren in Assembler}, year = 1981 } @book{Lew81ele, author = {Lewis, Harry R. and Papadimitriou, Christos H.}, comment = {ddbb}, publisher = Prentice-Hall, title = {Elements of the Theory of Computing}, booktitle = {Elements of the Theory of Computing}, year = 1981 } @inproceedings{LiHPre2002, author = {Lin, Yen-Chun and Hsiao, Jun-Wei}, booktitle = {Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks ({ISPAN'02})}, title = {A New Approach to Constructing Optimal Prefix Circuits with Small Depth}, year = {2002} } @misc{Lin, author = {Lins, Rafael D.}, signature = {RH:FP2}, title = {Categorical Multi-Combinators}, year = "?" } @article{Lin87, author = {Lins, R.D.}, journal = software, number = 8, pages = {547-559}, signature = {RH:FP2}, title = {On the Efficiency of Categorical Combinators as a Rewriting System}, volume = 17, year = 1987 } @book{Llo84, author = {Lloyd J.W.}, comment = {STL: L1}, note = {ISBN 3-540-13299-6}, publisher = Springer, signature = {BI 3521/Lloy, ZB Sn 15930, ZB L Sr 114, STL, RH}, title = {Foundations of Logic Programming}, booktitle = {Foundations of Logic Programming}, year = 1984 } @book{Llo87Fou, author = {Lloyd, John W.}, edition = {2nd}, publisher = Springer, title = {Foundations of Logic Programming}, booktitle = {Foundations of Logic Programming}, year = 1987 } @techreport{LoJ05Gen, author = {Löh, Andres and Jeuring, Johan}, institution = {Universiteit Utrecht}, month = jan, number = {UU-CS-2005-004}, title = {The {Generic Haskell} user's guide, Version 1.42 - Coral release}, year = 2005 } @phdthesis{Loe04Gen, author = {Löh, Andres}, school = {Utrecht University}, title = {Exploring Generic Haskell}, year = {2004} } @inproceedings{Lon87, author = {Longo, Giuseppe and Moggi, Eugenio}, comment = {RH:DA}, crossref = "SNCL", signature = {RH:MISC4}, title = {Constructive Natural Deduction and its 'Modest' Interpretation} } @techreport{Lon87a, author = {Longo, Giuseppe}, entrydate = {12/88}, institution = {University of Pisa}, number = {S-87-9}, signature = {RH:FP3}, title = {On Church's Formal Theory of Functions and Functionals}, year = 1987 } @inproceedings{Lov70lin, author = {Loveland, D.W.}, comment = {ddbb}, pages = {147--162}, crossref = "IRIA70", title = {A linear format for resolution} } @inproceedings{LuG88, author = {Lucassen, John M. and Gifford, David K.}, entrydate = {12/88}, crossref = "POPL88", signature = {RH:TS2}, title = {Polymorphic Effect Systems} } @article{Luc78Can, author = {Lucchesi, Cl{\'a}udio L. and Osborn, Sylvia L.}, comment = {ddbb}, journal = jcss, pages = {270-279}, title = {Candidate Keys for Relations}, volume = 17, year = 1978 } @techreport{Lue87, author = {L{\"u}ttringhaus, Stefan}, comment = {RH:DA}, entrydate = {12/87}, institution = UniDo, keywords = {logic, prolog, deductive database system, types, polymorphic, updates,static reordering}, number = 231, signature = {BI, LS VI, STL, RH:TS1}, title = {{Deduktive Datenbanksysteme - Theoretische und praktische Aspekte}}, type = UniDoGruen, year = 1987 } @misc{Lue88, author = {L{\"u}ttringhaus, Stefan}, signature = {RH:LP1}, title = {An Interpreter with Lazy Evaluation for Prolog with Functions} } @article{MEP96Spl, author = {Moffat, A. and Eddy, G. and Petersson, O.}, journal = {Software --- Practice \& Experience}, month = jul, number = 7, pages = {781--797}, title = {Splaysort: Fast, Versatile, Practical}, volume = 26, year = 1996 } @inproceedings{MFP91Fun, author = {Meijer, E. and Fokkinga, M. and Paterson, R.}, booktitle = {5th {ACM} Conference on Functional Programming Languages and Computer Architecture, {FPCA'91}, {Cambridge}, {MA}, {USA}}, pages = {124--144}, publisher = Springer, series = LNCS, title = {Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire}, volume = 523, year = 1991 } @inproceedings{MMH96Typ, address = {St.\ Petersburg Beach, Florida}, author = {Yasuhiko Minamide and Greg Morrisett and Robert Harper}, booktitle = {Conference Record of the $23^{\mathrm{rd}}$ {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages ({POPL} '96)}, month = jan, pages = {271--283}, title = {Typed Closure Conversion}, year = {1996}, zzz = {\cite{IC::Statman1985}} } @inproceedings{MPS84, author = {MacQueen, David B. and Plotkin, G.D. and Sethi, R.}, crossref = "POPL84", signature = {RH:TS1}, title = {An ideal model for recursive polymorphic types} } @inproceedings{MPW92Sor, author = {Moffat, A. and Petersson, O. and Wormald, N.C.}, booktitle = {{ISAAC}: 3rd International Symposium on Algorithms and Computation}, journal = {Lecture Notes in Computer Science}, pages = {499--509}, title = {Sorting and\slash by Merging Finger Trees}, volume = 650, year = 1992 } @book{MTH90Def, author = {Milner, Robin and Tofte, Mads and Harper, Robert}, publisher = MIT-Press, title = {The Definition of {Standard ML}}, booktitle = {The Definition of {Standard ML}}, year = 1990 } @book{MTH97Def, author = {Milner, Robin and Tofte, Mads and Harper, Robert and MacQueen, David}, publisher = MIT-Press, title = {The Definition of {Standard ML} (Revised)}, booktitle = {The Definition of {Standard ML} (Revised)}, year = 1997 } @inproceedings{MWCG98Sys, address = {New York, NY}, author = {Greg Morrisett and David Walker and Karl Crary and Neal Glew}, booktitle = {Conference Record of the 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98), San Diego, California}, month = jan, organization = {ACM}, pages = {85--97}, title = {From System {F} to Typed Assembly Language}, year = {1998}, zzz = {96 references.} } @misc{MaP88, author = {Mancarella, Paolo and Pedreschi, Dino}, signature = {RH:LP1}, title = {An Algebra of Logic Programs} } @book{MaW88b, author = {Maier, David and Warren, David S.}, entrydate = {05/90}, publisher = Cummings, signature = {RH}, title = {Computing with Logic, Logic Programming with Prolog}, booktitle = {Computing with Logic, Logic Programming with Prolog}, year = 1988 } @book{Mac71Cat, address = {Berlin}, author = {{Mac Lane}, Saunders}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, title = {Categories for Working Mathematicians}, booktitle = {Categories for Working Mathematicians}, year = {1970} } @misc{Mac85, author = {MacQueen, David}, comment = {RH:DA}, howpublished = {Polymorphism: The ML/LCF/Hope Newsletter, Vol. 2, No. 2}, signature = {RH:FP2}, title = {Modules for {S}tandard {ML}}, year = 1985 } @inproceedings{Mac86a, author = {MacQueen, David}, comment = {RH:DA}, entrydate = {12/88}, crossref = "POPL86", signature = {RH:TS2}, title = {Using Dependent Types to Express Modular Structure} } @article{Mac86b, author = {MacQueen, David and Plotkin, Gordon and Sethi, Ravi}, comment = {RH:DA}, entrydate = {5/89}, journal = ic, pages = {95-130}, signature = {RH:TS3}, title = {An Ideal Model for Recursive Polymorphic Types}, volume = 71, year = 1986 } @book{Mac98Cat, address = {Berlin}, author = {MacLane, Saunders}, edition = {2nd}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, title = {Categories for the Working Mathematician}, booktitle = {Categories for the Working Mathematician}, year = {1998} } @book{MacFun90, author = {MacLennan, Bruce}, publisher = Addison-Wesley, title = {Functional programming: Practice and Theory}, booktitle = {Functional programming: Practice and Theory}, year = 1990 } @book{Mai83The, author = {Maier, David}, comment = {ddbb}, publisher = CompSci, title = {The Theory of Relational Databases}, booktitle = {The Theory of Relational Databases}, year = 1983 } @phdthesis{Mal90Alg, author = {Malcolm, G.}, school = {University of Groningen}, title = {Algebraic data types and program transformation}, year = 1990 } @article{Mal90Dat, author = {Malcolm, Grant}, journal = {Science of Computer Programming}, number = {2--3}, pages = {255--280}, title = {Data Structures and Program Transformation}, volume = 14, year = 1990 } @inproceedings{Man84Mea, address = {Antwerp, Belgium}, author = {Mannila, Heikki}, booktitle = {11th International Colloquium on Automata, Languages and Programming}, editor = {Jan Paredaens}, month = jul, pages = {324--336}, publisher = {Springer-Verlag}, series = LNCS, title = {Measures of Presortedness and Optimal Sorting Algorithms (Extended Abstract)}, volume = 172, year = 1984 } @article{Man85Mea, author = {Mannila, Heikki}, journal = {{IEEE} Transactions on Computers}, pages = {318--325}, title = {Measures of Presortedness and Optimal Sorting Algorithms}, volume = 34, year = 1985 } @misc{Mar75, author = {Martin-L{\"o}f, Per}, comment = {RH:DA}, publisher = North-Holland, signature = {RH:MISC4}, title = {An Intuitionistic Theory of Types: Predicative Part}, year = 1975 } @inproceedings{Mar79, author = {Martin-L{\"o}f, Per}, pages = {153-175}, crossref = "LMPS79", signature = {RH:TS3}, title = {Constructive Mathematics and Computer Programming} } @misc{Mar80, author = {Martin-L{\"o}f, Per}, comment = {RH:DA}, howpublished = {Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980}, signature = {RH:TS3}, title = {Intuitionistic Type Theory}, year = 1980 } @article{Mar82, author = {Martelli, Alberto and Montanari, Ugo}, comment = {STL: L0}, journal = toplas, number = 2, pages = {258-282}, signature = {RH:LP1, STL}, title = {An Efficient Unification Algorithm}, volume = 4, year = 1982 } @incollection{Mat88, author = {Matthews, David C.J.}, comment = {RH:DA}, entrydate = {12/88}, keywords = {Types as first-class values}, crossref = "DTAP", signature = {RH:TS2}, title = {An Overview of the Poly Programming Language} } @book{Mau74, author = {Maurer, H.}, publisher = "?", signature = {RH}, title = {Datenstrukturen und Programmierverfahren}, booktitle = {Datenstrukturen und Programmierverfahren}, year = 1974 } @article{McB02Fak, author = {McBride, Conor}, journal = {J.~Functional Programming}, note = {to appear}, title = {Faking It (Simulating Dependent Types in {Haskell})}, year = 2002 } @phdthesis{McC79Inv, author = {McCracken, Nancy Jean}, month = jun, school = {Syracuse University}, title = {An Investigation of a Programming Language with a Polymorphic Type Structure}, year = 1979 } @inproceedings{McC84Typ, author = {McCracken, Nancy Jean}, booktitle = {Semantics of Data Types: International Symposium, {Sophia-Antipolis}, {France}}, editor = {Kahn, Gilles and MacQueen, David B. and Plotkin, Gordon D.}, pages = {301--315}, publisher = Springer, series = LNCS, title = {The Typechecking of Programs with Implicit Type Structure}, volume = 173, year = 1984 } @article{McC85Pri, author = {McCreight, Edward M.}, journal = sicomp, month = may, number = 2, pages = {257--276}, title = {Priority Search Trees}, volume = 14, year = 1985 } @inproceedings{McLImp89, author = {McLoughlin, L. and Hayes, E. S.}, crossref = "FP89", title = {Imperative Effects from a Pure Functional Language} } @inproceedings{MeC97Mon, author = {Meijer, Erik and Claessen, Koen}, booktitle = {Proceedings of the {Haskell} Workshop}, title = {The Design and Implementation of {Mondrian}}, year = 1997 } @incollection{MeH84Int, author = {Mellish, Chris and Hardy, Steve}, pages = {533-535}, crossref = "Cam84Imp", signature = {STL}, title = {Integrating {Prolog} into the {Poplog} Environment}, year = 1984 } @inproceedings{MeH95Ban, author = {Meijer, Erik and Hutton, Graham}, booktitle = {Conference Record 7th {ACM} {SIGPLAN/SIGARCH} and {IFIP WG 2.8} International Conference on Functional Programming Languages and Computer Architecture, {FPCA'95}, {La Jolla}, {San Diego}, {CA}, {USA}}, month = jun, pages = {324--333}, publisher = ACM-Press, title = {Bananas in Space: Extending Fold and Unfold to Exponential Types}, year = 1995 } @incollection{MeJ95Mer, address = {Berlin}, author = {Meijer, Erik and Jeuring, Johan}, booktitle = {1st International Spring School on Advanced Functional Programming Techniques, {B{\aa}stad}, {Sweden}}, editor = {Jeuring, J. and Meijer, E.}, pages = {228--266}, publisher = Springer, series = LNCS, title = {Merging Monads and Folds for Functional Programming}, volume = 925, year = 1995 } @inproceedings{MeR86, author = {Meyer, Alber R. and Reinhold, Mark B.}, comment = {RH:DA}, entrydate = {1/89}, crossref = "POPL86", signature = {RH:TS2}, title = {{'Type' ist not a Type: Preliminary Report}} } @inproceedings{Mee96Cal, author = {Meertens, Lambert}, booktitle = {Proceedings 8th International Symposium on Programming Languages: Implementations, Logics, and Programs, {PLILP'96}, {Aachen}, {Germany}}, editor = {Kuchen, H. and Swierstra, S.D.}, month = sep, pages = {1--16}, publisher = Springer, series = LNCS, title = {Calculate Polytypically!}, volume = 1140, year = 1996 } @inproceedings{Meh77Dyn, address = {University of Turku, Finland}, author = {Mehlhorn, Kurt}, booktitle = {Automata, Languages and Programming, Fourth Colloquium}, editor = {Salomaa,Arto and Steinby, Magnus}, month = jul, pages = {323--336}, publisher = {Springer-Verlag}, series = LNCS, title = {Dynamic Binary Search}, volume = 52, year = 1977 } @book{Meh77Eff, address = {Stuttgart, Germany}, author = {Mehlhorn, K.}, pages = 240, publisher = {B.G. Teubner}, title = {{Effiziente Algorithmen}}, booktitle = {{Effiziente Algorithmen}}, year = 1977 } @article{Meh79Dyn, author = {Mehlhorn, Kurt}, journal = {SIAM Journal on Computing}, number = 2, pages = {175--198}, title = {Dynamic binary search}, volume = 8, year = 1979 } @inproceedings{Meh79Sor, author = {Mehlhorn, Kurt}, booktitle = {Proceedings 4th {GI} Conference on Theoretical Computer Science}, number = 67, pages = {199--212}, publisher = {Springer-Verlag}, series = LNCS, title = {Sorting Presorted Files}, year = 1979 } @book{Meh84DA3, address = {Berlin}, author = {Mehlhorn, Kurt}, publisher = Springer, title = {Data Structures and Algorithms 3: Multi-dimensional Searching and Computational Geometry}, booktitle = {Data Structures and Algorithms 3: Multi-dimensional Searching and Computational Geometry}, year = 1984 } @book{Meh88Dat, author = {Mehlhorn, Kurt}, keywords = {Sortieren,Suchen,Sorting,Search}, publisher = {B.G. Teubner, Stuttgart}, title = {Datenstrukturen und effiziente Algorithmen, Band 1: Sortieren und Suchen}, booktitle = {Datenstrukturen und effiziente Algorithmen, Band 1: Sortieren und Suchen}, year = 1988 } @techreport{Mei82Sor, address = {Canterbury, Kent}, author = {Meira, S. L.}, institution = {University of Kent}, number = {14}, title = {Sorting Algorithms in {KRC} Implemented in a Functional Programming System}, type = {Computing Laboratory Report No.}, year = 1982 } @inproceedings{Mei84, author = {Meira, Silvio Lemos}, crossref = "ISOP84", signature = {RH:FP2}, title = {Optimized Combinatoric Code for Applicative Language Implementation} } @phdthesis{Mei92Cal, author = {Meijer, Erik}, school = {Nijmegen University}, title = {Calculating Compilers}, year = 1992 } @mastersthesis{Mei96Ver, author = {Meier, Nils}, month = nov, school = {Universit\"{a}t Bonn}, title = {{\"{U}bersetzung funktionaler Programmiersprachen unter Verwendung von Striktheitsinformationen}}, type = {Diplomarbeit}, year = 1996 } @techreport{Mel81Aut, author = {Mellish, Chris S.}, comment = {ddbb}, institution = {Dept of Artificial Intelligence, University of Edinburgh}, number = 163, title = {Automatic Generation of Mode Declarations for Prolog Programs}, type = {DAI Research Paper}, year = 1981 } @inproceedings{Mel86Abs, author = {Mellish, Chris S.}, comment = {ddbb}, pages = {463-474}, crossref = "ICLP86", signature = {RH:LP1}, title = {Abstract Interpretation of {Prolog} Programs} } @book{Mel95Pro, address = {Berlin}, author = {Mellish, C.S. and Clocksin, W.F.}, edition = {Fourth edition}, publisher = Springer, title = {Programming in Prolog}, booktitle = {Programming in Prolog}, year = 1995 } @article{Men91Ind, author = {Mendler, Nax Paul}, journal = {Annals of Pure and Applied Logic}, number = {1--2}, pages = {159--172}, title = {Inductive Types and Type Constraints in the Second-Order Lambda Calculus}, volume = 51, year = 1991 } @inproceedings{Mey88b, author = {Meyer, Albert R.}, entrydate = {08/90}, crossref = "LICS88", signature = {RH:FP3}, title = {Semantical Paradigms: Notes for an Invited Lecture} } @inproceedings{MiH88, author = {Mitchell, John C. and Harper, Robert}, comment = {RH:DA}, entrydate = {12/88}, crossref = "POPL88", signature = {RH:TS2}, title = {The Essence of {ML}} } @article{MiP88, author = {Mitchell, John C. and Plotkin, Gordon D.}, comment = {RH:DA}, entrydate = {12/88}, journal = toplas, month = jul, number = 3, pages = {470-502}, signature = {RH:TS2}, title = {Abstract Types Have Existential Type}, volume = 10, year = 1988 } @article{Mic68Mem, author = {Michie, Donald}, journal = {Nature}, month = apr, number = 218, pages = {19--22}, title = {``{Memo}'' Functions and Machine Learning}, year = 1968 } @article{Mil78, author = {Milner, Robin}, comment = {RH:DA,ddbb}, journal = jcss, number = 3, pages = {348-375}, signature = {RH:TS1}, title = {A Theory of Type Polymorphism in Programming}, volume = 17, year = 1978 } @misc{Mil85, author = {Milner, Robin}, comment = {RH:DA}, howpublished = {Polymorphism: The ML/ LCF/ Hope Newsletter, Vol.2, No. 2}, signature = {RH:FP2}, title = {The {S}tandard {ML} Core Language}, year = 1985 } @misc{Mil88, author = {Miller, Dale}, entrydate = {05/90}, note = {Slides given at the Advanced School on Foundations of Logic Programming, Alghero}, signature = {RH:LP2}, title = {Logic Programming Based on Higher-Order Hereditary Harrop Formulas}, year = 1988 } @book{Minker87, booktitle = {Foundations of deductive databases and logic programmming}, comment = {ddbb}, editor = {Jack Minker}, key = {Minker87}, publisher = {Morgan Kaufmann}, title = {Foundations of deductive databases and logic programmming}, year = {1987} } @article{Mis94Pow, author = {Misra, Jayadev}, journal = toplas, month = nov, number = 6, pages = {1737--1767}, title = {Powerlist: {A} Structure for Parallel Recursion}, volume = 16, year = {1994} } @inproceedings{Mit84a, author = {Mitchell, J.C.}, comment = {RH:DA}, crossref = "POPL84", signature = {RH:TS1}, title = {Coercion and Type Inference} } @article{Mit88, author = {Mitchell, John, C.}, comment = {RH:DA}, entrydate = {5/89}, journal = ic, pages = {211-249}, signature = {RH:TS3}, title = {Polymorphic Type Inference and Containment}, volume = 76, year = 1988 } @article{Mit88Abs, author = {Mitchell, John C. and Plotkin, Gordon D.}, journal = {ACM Transactions on Programming Languages and Systems}, keywords = {design; languages; theory; types fpl sol binder}, month = jul, number = 3, pages = {470--502}, title = {Abstract Types Have Existential Type}, volume = 10, year = 1988, zzz = {{\bf D.3.1}: Software, PROGRAMMING LANGUAGES, Formal Definitions and Theory, Semantics. {\bf F.3.2}: Theory of Computation, LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages.} } @book{Mit96Fou, address = {Cambridge, MA}, author = {Mitchell, John C.}, publisher = MIT-Press, title = {Foundations for Programming Languages}, booktitle = {Foundations for Programming Languages}, year = 1996 } @article{MoP92Ove, author = {Moffat, A. and Petersson, O.}, journal = {Australian Computer Journal}, month = may, number = 2, pages = {70--77}, title = {An Overview of Adaptive Sorting}, volume = 24, year = 1992 } @techreport{Mog90Abs, author = {Moggi, Eugenio}, institution = {Department of Computer Science, Edinburgh University}, number = {ECS-LFCS-90-113}, title = {An Abstract View of Programming Languages}, year = 1990 } @article{Mog91Cat, author = {Moggi, Eugenio}, journal = {Mathematical Structures in Computer Science}, month = mar, number = 1, pages = {103--139}, title = {A cateogry-theoretic account of program modules}, volume = 1, year = 1991 } @article{Mog91Not, author = {Moggi, Eugenio}, journal = {Information and Computation}, number = 1, pages = {55--92}, title = {Notions of Computation and Monads}, volume = 93, year = 1991 } @inproceedings{Moo, author = {Moor, Ian}, crossref = "FP", signature = {RH:FP3}, title = {Realistic Functional Programming} } @incollection{MosDen90, author = {Mosses, P. D.}, chapter = 11, pages = {575-631}, crossref = "HTCSB90", title = {Denotational Semantics} } @phdthesis{Mu03Cal, author = {Mu, Shin-Cheng}, school = {Oxford University Computing Laboratory}, title = {A calculational approach to program inversion}, year = 2003 } @article{Mus97Int, author = {Musser, D.R.}, journal = {Software --- Practice and Experience}, month = aug, number = 8, pages = {983--??}, title = {Introspective Sorting and Selection Algorithms}, volume = 27, year = 1997 } @article{MyO84, author = {Mycroft, Alan and O'Keefe, Richard A.}, comment = {RH:DA,STL:L1,ddbb}, journal = ai, pages = {295-307}, signature = {STL, RH:TS1}, title = {A Polymorphic Type System for Prolog}, volume = 23, year = 1984 } @inproceedings{Myc80Tra, author = {Mycroft, A.}, booktitle = {International Symposium on Programming}, editor = {Goos, G. and Hartmanis, J.}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {The Theory and Practice of Transforming call-by-need into call-by-value}, volume = 83, year = 1980 } @phdthesis{Myc81Abs, author = {Mycroft, A.}, school = {University of Edinburgh}, title = {Abstract Interpretation and Optimising Transformations for Applicative Programs}, type = {Ph.D. thesis}, year = 1981 } @inproceedings{Myc84, author = {Mycroft, Alan}, comment = {RH:DA}, pages = {217--228}, crossref = "ISOP84", signature = {RH:TS1}, title = {Polymorphic Type Schemes and Recursive Definitions} } @article{Mye84App, author = {Myers, Eugene W.}, journal = ipl, month = dec, number = 5, pages = {241--248}, title = {An applicative random-access stack}, volume = 17, year = 1983 } @inproceedings{Mye84Eff, address = {Salt Lake City, UT}, author = {Myers, Eugene W.}, booktitle = {Conference Record of the 11th Annual {ACM} Symposium on Principles of Programming Languages}, editor = {Kennedy, Ken}, month = jan, pages = {66--75}, publisher = ACM-Press, title = {Efficient applicative data types}, year = 1984 } @inproceedings{NTGS01Fun, author = {Neubauer, Matthias and Thiemann, Peter and Gasbichler, Martin and Sperber, Michael}, booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} {Haskell} Workshop, {Firenze}, {Italy}}, editor = {Hinze, Ralf}, month = sep, note = {The preliminary proceedings appeared as a University of Utrecht technical report, UU-CS-2001-62}, pages = {101--120}, title = {A Functional Notation for Functional Dependencies}, year = 2001 } @techreport{NU87, author = {Thom, James A. and Zobel, Justin A.}, comment = {ddbb}, institution = {Department of Computer Science, University of Melbourne}, number = {86/10}, signature = {RH:MISC2}, title = {NU-Prolog 1.0 Reference Manual}, type = {Machine Intelligence Project, Technical Report}, year = 1986 } @book{NagSof90, author = {Nagl, Manfred}, publisher = Springer, title = {Softwaretechnik: Methodisches Programmieren im Gro{\ss}en}, booktitle = {Softwaretechnik: Methodisches Programmieren im Gro{\ss}en}, year = 1990 } @article{Nar86, author = {Narain, Sanjai}, journal = jlp, pages = {259-276}, signature = {RH:LP1}, title = {A Techique for Doing Lazy Evaluation in Logic}, volume = 3, year = 1986 } @inproceedings{Nik88, author = {Nikhil, Rishiyur S.}, crossref = "DTAP", signature = {RH, BI 3370/DATA}, title = {Functional Databases, Functional Languages} } @inproceedings{Nil90, author = {Nilsson, Jorgen Fischer}, entrydate = {05/90}, crossref = "Meta90", signature = {RH:LP2}, title = {Combinatory Logic Programming} } @inproceedings{NoJ03Pol, author = {Norell, Ulf and Jansson, Patrik}, booktitle = {Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003}, editor = {Trinder, Phil and Michaelson, Greg and Peña, Ricardo}, month = sep, pages = {168--184}, title = {Polytypic Programming in {Haskell}}, year = 2003 } @article{ODR04Der, author = {O'Donnell, John T. and R{\"u}nger, Gudula}, editor = {Hinze, Ralf}, journal = {Journal of Functional Programming, Special Issue on Functional Pearls}, note = {to appear}, title = {Derivation of a Logarithmic Time Carry Lookahead Addition Circuit}, year = 2004 } @inproceedings{OG98Fas, author = {Okasaki, Chris and Gill, Andy}, booktitle = {The 1998 {ACM} {SIGPLAN} Workshop on {ML}, {Baltimore}, {Maryland}}, pages = {77--86}, title = {Fast Mergeable Integer Maps}, year = 1998 } @inproceedings{OIK88Pri, address = {Berlin}, author = {Ottmann, Th. and Icking, Ch. and Klein, R.}, booktitle = {Proceedings of the International Workshop on Graph-Theoretic Concepts in Computer Science}, editor = {G{\"o}ttler, H. and Schneider,H.J.}, month = jul, pages = {84--93}, publisher = Springer, series = LNCS, title = {Priority Search Trees in Secondary Memory (Extended Abstract)}, volume = 314, year = 1988 } @article{ONB97Fun, author = {O'Neill, Melissa E. and Burton, F. Warren}, journal = {Journal of Functional Programming}, month = sep, number = 5, pages = {487--513}, title = {A new method for functional arrays}, volume = 7, year = 1997 } @inproceedings{Ohl89, author = {Ohlbach, Hans-J{\"u}rgen}, entrydate = {05/90}, crossref = "UNIF89", signature = {RH:LP2}, title = {Abstraction Tree Indexing for Terms} } @article{Oka00BFN, author = {Okasaki, Chris}, journal = {ACM SIG{\-}PLAN Notices}, month = sep, number = 9, pages = {131--136}, title = {Breadth-first numbering: lessons from a small exercise in algorithm design}, volume = 35, year = 2000 } @inproceedings{Oka02Tec, author = {Okasaki, Chris}, booktitle = {Proceedings of the 2002 ACM SIGPLAN Haskell Workshop}, editor = {Chakravarty, Manuel}, month = oct, pages = {105--113}, publisher = ACM-Press, title = {Techniques for embedding postfix languages in Haskell}, year = 2002 } @article{Oka03Fla, author = {Okasaki, Chris}, journal = {J.~Functional Programming}, month = jul, number = 4, pages = {815--822}, title = {{Theoretical Pearls:} Flattening combinators: surviving without parentheses}, volume = 13, year = 2003 } @inproceedings{Oka95Amo, address = {Los Alamitos}, author = {Okasaki, Chris}, booktitle = {36th Annual Symposium on Foundations of Computer Science ({FOCS}'95)}, month = oct, pages = {646--654}, publisher = {IEEE Computer Society Press}, title = {Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy Linking}, year = 1995 } @inproceedings{Oka95Pur, address = {La Jolla, California}, author = {Okasaki, Chris}, booktitle = {Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture ({FPCA}'95)}, month = jun, organization = {ACM SIGPLAN/SIGARCH and IFIP WG2.8}, pages = {86--95}, publisher = ACM-Press, title = {Purely Functional Random-Access Lists}, year = 1995 } @article{Oka95Sim, author = {Okasaki, Chris}, journal = {Journal of Functional Programming}, month = oct, number = 4, pages = {583--592}, title = {Simple and efficient purely functional queues and deques}, volume = 5, year = 1995 } @incollection{Oka96Fun, author = {Okasaki, Chris}, booktitle = {The Second International Summer School on Advanced Functional Programming Techniques}, pages = {131--158}, series = {Lecture Notes in Computer Science}, title = {Functional Data Structures}, volume = 1129, year = {1996} } @phdthesis{Oka96Pur, author = {Okasaki, Chris}, month = sep, school = {School of Computer Science, Carnegie Mellon University}, title = {Purely Functional Data Structures}, type = {Ph.D.~thesis}, year = 1996 } @inproceedings{Oka96Rol, author = {Okasaki, Chris}, booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming}, month = may, pages = {62--72}, title = {The Role of Lazy Evaluation in Amortized Data Structures}, year = 1996 } @inproceedings{Oka97Cat, address = {Amsterdam, The Netherlands}, author = {Okasaki, Chris}, booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on Functional Programming}, month = jun, note = {{\em ACM SIGPLAN Notices,} 32(8), August 1997}, pages = {66--74}, title = {Catenable Double-Ended Queues}, year = 1997 } @article{Oka97Thr, author = {Okasaki, Chris}, journal = {Journal of Functional Programming}, month = {November}, number = 6, title = {Functional {Pearl}: {Three} Algorithms on {Braun} Trees}, volume = 7, year = 1997 } @book{Oka98Pur, author = {Okasaki, Chris}, publisher = Cambridge-Press, title = {Purely Functional Data Structures}, booktitle = {Purely Functional Data Structures}, year = 1998 } @inproceedings{Oka98Vie, author = {Okasaki, Chris}, booktitle = {The 1998 {ACM} {SIGPLAN} Workshop on {ML}, {Baltimore}, {Maryland}}, month = sep, pages = {14--23}, title = {Views for {Standard ML}}, year = 1998 } @inproceedings{Oka99Adv, author = {Okasaki, Chris}, booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} International Conference on Functional Programming, {Paris}, {France}}, editor = {Lee, Peter}, month = sep, pages = {28--35}, title = {From Fast Exponentiation to Square Matrices: An Adventure in Types}, year = 1999 } @article{Oka99Red, author = {Okasaki, Chris}, journal = {Journal of Functional Programming}, month = jul, number = 4, pages = {471--477}, title = {Functional {Pearl}: {Red-Black} Trees in a Functional Setting}, volume = 9, year = 1999 } @misc{OlG05Typ, author = {Oliveira, Bruno C.d.S. and Gibbons, Jeremy}, note = {Submitted for publication}, title = {TypeCase: A design pattern for type-indexed functions}, year = 2005 } @phdthesis{Oli80Stu, author = {Olivi\'{e}, H.J.}, school = {Departement Wiskunde, Universiteit Antwerpen, Belgium}, title = {A Study of Balanced Binary Trees and Balanced One-Two Trees}, type = {Ph.D.~thesis}, year = 1980 } @article{Oli82New, author = {Olivi\'{e}, H.J.}, journal = {RAIRO Informatique th\'{e}oretique}, pages = {51--71}, title = {A new class of balanced search trees: Half-balanced search trees}, volume = 16, year = 1982 } @article{OtW80Bro, author = {Ottmann, T. and Wood, D.}, journal = {The Computer Journal}, month = aug, number = 3, pages = {248--255}, title = {1-2 brother trees or {AVL} trees revisited}, volume = 23, year = 1980 } @manual{PEPP88, address = {Postfach 500 500, 4600 Dortmund 50}, author = {Projektgruppe PEPP}, month = mar, organization = {Lehrstuhl Informatik VI, Universit{\"a}t Dortmund}, signature = {RH:MISC3}, title = {Logische Programmierung und Wissenrepr{\"a}sentation: Implementierung einer Entwicklungsumgebung, Zwischenbericht}, year = {1988} } @techreport{PH96Rep, author = {Peterson, John and Hammond, Kevin}, institution = {Yale University, Department of Computer Science}, month = may, note = {YALEU/DCS/RR-1106}, title = {Report on the Programming Language {Haskell} --- A Non-strict, Purely Functional Language, Version 1.3}, year = 1996 } @article{PJ92Imp, author = {{Peyton Jones}, S.L.}, journal = {Journal of Functional Programming}, number = 2, title = {Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless {G}-machine}, volume = 2, year = 1992 } @inproceedings{PJH93Gla, author = {{Peyton Jones}, Simon L and Hall, Cordy and Hammond, Kevin and Partain, Will and Wadler, Phil}, booktitle = {Proceedings of the UK Joint Framework for Information Technology (JFIT) Technical Conference, Keele}, title = {The {G}lasgow {H}askell compiler: a technical overview}, year = 1993 } @proceedings{PJH98Hasb, editor = {{Peyton Jones}, Simon and Hughes, John}, month = dec, title = {{Haskell}~98 --- {A} Non-strict, Purely Functional Language}, booktitle = {{Haskell}~98 --- {A} Non-strict, Purely Functional Language}, year = 1998 } @proceedings{PJH99Lib, editor = {{Peyton Jones}, Simon and Hughes, John}, month = feb, note = {Available from \texttt{http://www.haskell.org/definition/}}, title = {Standard Libraries for the {Haskell}~98 Programming Language}, booktitle = {Standard Libraries for the {Haskell}~98 Programming Language}, year = 1999 } @misc{PJH99Library, author = {{Peyton Jones} [editor], Simon and Hughes [editor], John and Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip}, editor = {{Peyton Jones}, Simon and Hughes, John}, howpublished = {Available from \texttt{http://www.haskell.org/definition/}}, month = feb, title = {Standard Libraries for the {Haskell}~98 Programming Language}, year = 1999 } @proceedings{PJH99Rep, editor = {{Peyton Jones}, Simon and Hughes, John}, month = feb, note = {Available from \texttt{http://www.haskell.org/definition/}}, title = {{Haskell}~98 --- {A} Non-strict, Purely Functional Language}, booktitle = {{Haskell}~98 --- {A} Non-strict, Purely Functional Language}, year = 1999 } @misc{PJH99Report, author = {{Peyton Jones} [editor], Simon and Hughes [editor], John and Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fraser, Simon and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip}, editor = {{Peyton Jones}, Simon and Hughes, John}, howpublished = {Available from \texttt{http://www.haskell.org/definition/}}, month = feb, title = {{Haskell}~98 --- {A} Non-strict, Purely Functional Language}, year = 1999 } @inproceedings{PJM98Cla, author = {{Peyton Jones}, Simon and Jones, Mark and Meijer, Erik}, booktitle = {Proceedings of the {Haskell} Workshop, Amsterdam, The Netherlands}, month = jun, title = {Type classes: Exploring the Design Space}, year = 1997 } @inproceedings{PJTH01Pla, author = {{Peyton Jones}, Simon and Tolmach, Andrew and Hoare, Tony}, booktitle = {Proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001), 2nd September 2001, Firenze, Italy}, editor = {Hinze, Ralf}, month = sep, note = {The preliminary proceedings appeared as a Universiteit Utrecht technical report, UU-CS-2001-62}, pages = {203--233}, series = {Electronic Notes in Theoretical Computer Science, Vol. 59}, title = {Playing by the Rules: Rewriting as an Optimization Technique in {GHC}}, year = 2001 } @inproceedings{PJW93Imp, address = {Charleston, South Carolina}, author = {Peyton Jones, Simon L. and Wadler, Philip}, booktitle = {{Proceedings of the 20th Annual ACM Symposium on Principles of Programming Languages, Charleston, South Carolina}}, month = jan, pages = {71--84}, title = {Imperative Functional Programming}, year = 1993 } @proceedings{PODS89, booktitle = {Proc. of the 8th Symp. on Principles of Database Systems}, comment = {ddbb}, key = {PODS89}, title = {Proc. of the 8th Symp. on Principles of Database Systems}, year = {1989} } @inproceedings{PR:99, author = {Pfeifer, Holger and Rueß, Harald}, booktitle = {Proc. 12th Intl. Conf. on Theorem Proving in Higher Order Logics}, editor = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and Paulin, C. and Théry, L.}, month = sep, number = 1690, pages = {55--72}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {{Polytypic Proof Construction}}, year = 1999 } @misc{PWW04Wob, author = {Peyton Jones, Simon and Washburn, Geoffrey and Weirich, Stephanie}, note = {Submitted for publication}, title = {Wobbly types: type inference for generalised algebraic data types}, year = 2004 } @book{Par90Spe, address = {Berlin}, author = {Partsch, Helmut A.}, editor = {Gries, David}, publisher = {Springer-Verlag}, series = {Texts and Monographs in Computer Science}, title = {Specification and Transformation of Programs---A Formal Approach to Software Development}, booktitle = {Specification and Transformation of Programs---A Formal Approach to Software Development}, year = {1990} } @article{Par92Rec, author = {Parigot, Michel}, journal = {Theoretical Computer Science}, number = 2, pages = {335--356}, title = {Recursive Programming with Proofs}, volume = 94, year = 1992 } @unpublished{Pat93Con, author = {Paterson, Ross}, month = apr, note = {ftp://santos.doc.ic.ac.uk/pub/papers/R.Paterson/folds.dvi.gz}, title = {Control Structures from Types}, year = 1994 } @book{Pau91ML, author = {Paulson, L. C.}, publisher = Cambridge-Press, title = {{ML} for the working programmer}, booktitle = {{ML} for the working programmer}, year = 1991 } @book{Pau96ML, author = {Paulson, L. C.}, edition = {2nd}, publisher = Cambridge-Press, title = {{ML} for the Working Programmer}, booktitle = {{ML} for the Working Programmer}, year = 1996 } @techreport{PeH96Rep, author = {Peterson, J. and Hammond, K.}, institution = {Yale University, Department of Computer Science}, month = mar, number = {{YALEU/DCS/RR-1106}}, title = {Report on the Programming Language {Haskell}~1.4, A Non-strict, Purely Functional Language}, type = {Research Report}, year = 1997 } @inproceedings{PeM97Hen, author = {{Peyton Jones}, Simon L. and Meijer, Erik}, booktitle = {Proceedings of the Types in Compilation Workshop, Amsterdam, June}, note = {Available from \verb|http://www.cs.bc.edu/~muller/TIC97/|}, title = {{Henk}: {A} typed intermediate language}, year = 1997 } @misc{Ped88a, author = {Pedreschi, Dino}, entrydate = {12/88}, note = {Foliensatz}, signature = {RH:LP2}, title = {An Overview of the LML Project} } @misc{Ped88b, author = {Pedreschi, Dino}, entrydate = {12/88}, note = {Foliensatz}, signature = {RH:LP2}, title = {An Algebra of Logic Programs} } @book{Pei86, author = {Peitgen, Heinz-Otto and Richter, Peter H.}, publisher = "?", signature = {RH}, title = {The Beauty of Fractals}, booktitle = {The Beauty of Fractals}, year = 1986 } @inproceedings{Pet84, author = {Pettorossi, Alberto}, crossref = "SLFP84", signature = {RH:FP3}, title = {A Powerful Strategie for Deriving Efficient Programs by Transformation} } @inbook{Pey87Str, author = {Peyton Jones, Simon and Wadler, Philip}, chapter = 4, pages = {51-77}, crossref = "Pey87", title = {Structured Types and the Semantics of Pattern-Matching} } @inproceedings{Pey96Com, author = {{Peyton Jones}, Simon L.}, booktitle = {Programming Languages and Systems---{ESOP}'96, 6th European Symposium on Programming, Link{\"o}ping, Sweden, 22--24~April}, editor = {Nielson, Hanne Riis}, pages = {18--44}, publisher = Springer, series = LNCS, title = {Compiling {Haskell} by Program Transformation: {A} Report from the Trenches}, volume = 1058, year = 1996 } @misc{Pey98Mul, author = {{Peyton Jones}, Simon}, note = {URL: http://\-research.microsoft.com/\-Users/\-simonpj/\-Haskell/\-multi-param.html}, title = {Multi-parameter type classes in {GHC}}, year = 1998 } @misc{Pey98Qua, author = {{Peyton Jones}, Simon}, note = {Available from \texttt{http://research.microsoft.com/Users/simonpj/Haskell/quantification.html}}, title = {Explicit quantification in {Haskell}}, year = 1998 } @book{PeyImp92, author = {Peyton Jones, S.L. and Lester, D.R.}, publisher = Prentice-Hall, series = {International Series in Computer Science}, title = {Implementing functional languages: a tutorial}, booktitle = {Implementing functional languages: a tutorial}, year = 1992 } @book{Pfe92typ, comment = {ddbb}, editor = {Pfenning, Frank}, publisher = MIT-Press, title = {Types in Logic Programming}, booktitle = {Types in Logic Programming}, year = 1992 } @inproceedings{PiT93Obj, author = {Pierce, Benjamin C. and Turner, David}, booktitle = {Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina}, month = jan, organization = {ACM}, pages = {299--312}, title = {Object-Oriented Programming without Recursive types}, year = 1993, zzz = {46 references} } @article{PiT94Sim, author = {Benjamin C. Pierce and David N. Turner}, journal = {Journal of Functional Programming}, keywords = {types olit binder}, month = apr, number = {2}, pages = {207--247}, title = {Simple Type-Theoretic Foundations for Object-Oriented Programming}, volume = {4}, year = {1994}, zzz = {ftp://ftp.cl.cam.ac.uk/users/bcp1000/oop.ps.Z} } @book{Pie02Typ, address = {Cambridge, Mass.}, author = {Pierce, Benjamin C.}, publisher = {MIT Press}, title = {Types and programming languages}, booktitle = {Types and programming languages}, year = 2002 } @techreport{Pierce-Turner92b, author = {Benjamin C. Pierce and David N. Turner}, institution = {University of Edinburgh, LFCS}, month = apr, note = {Available by anonymous ftp from {\tt ftp.dcs.ed.ac.uk} in file {\tt pub/bcp/friendly.ps.Z}. Also available as INRIA-Rocquencourt Rapport de Recherche No. 1899}, number = {ECS-LFCS-93-256}, title = {Statically Typed Friendly Functions via Partially Abstract Types}, type = {Technical Report}, year = {1993} } @inproceedings{Pil99Dyn, author = {Pil, M.}, pages = {169--185}, crossref = "IFL1998", title = {Dynamic Types and Type Dependent Functions} } @inproceedings{Pit87, author = {Pitt, D.H}, entrydate = {12/88}, crossref = "CTCS87", signature = {RH:FP3}, title = {Categories} } @misc{Plo83Pis, author = {Plotkin, Gordon}, note = {The notes have been prepared by {Yugo Kashigawa} and {Hidetaka Kondoh}.}, title = {Domains --- {Pisa} Notes On Domain Theory}, year = 1983 } @book{Plu85, author = {Plum, Thomas}, publisher = "?", signature = {RH}, title = {Das C-Lernbuch}, booktitle = {Das C-Lernbuch}, year = 1985 } @techreport{Plu88, author = {Pl{\"u}mer, Lutz}, entrydate = {05/90}, institution = UniDo, number = 273, signature = {RH}, title = {Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs}, type = UniDoGruen, year = 1988 } @unpublished{Plu88a, author = {Pl{\"u}mer, Lutz}, comment = {Foliensatz}, signature = {RH:LP1}, title = {About Termination of Prolog Procedures}, year = 1988 } @unpublished{Plu88b, author = {Pl{\"u}mer, Lutz}, signature = {RH:LP1}, title = {Automatic Termination Proofs for Prolog by Predicate Inequalities}, year = 1988 } @phdthesis{Plu89, author = {Pl{\"u}mer, Lutz}, entrydate = {05/90}, school = UniDo, signature = {RH}, title = {Termination Proofs for Logic Programs}, year = 1989 } @article{Poi86, author = {Poign{\'e}, Axel}, entrydate = {05/90}, journal = ic, pages = {1-46}, signature = {RH:MISC1}, title = {On Specifications, Theories, and Models with Higher Types}, volume = 68, year = 1986 } @inproceedings{Poi87a, author = {Poigne, A.}, comment = {RH:DA}, entrydate = {12/88}, crossref = "CTCS87", signature = {RH:FP3}, title = {Elements of Categorical reasoning: Products and Coproducts and some other (Co-) Limits} } @inproceedings{Poi87b, author = {Poigne, A.}, comment = {RH:DA}, entrydate = {12/88}, crossref = "CTCS87", signature = {RH:FP3}, title = {Cartesian Closure - Higher Types in Categories} } @inproceedings{Poi87c, author = {Poigne, A.}, entrydate = {12/88}, crossref = "CTCS87", signature = {RH:FP3}, title = {Algebra Categorically} } @incollection{Poi92Cat, author = {Poign\'{e}, Axel}, pages = {413--640}, crossref = "HLCS1", title = {Basic Category Theory} } @incollection{Pot80, author = {Pottinger, Garrel}, entrydate = {08/90}, crossref = "TOHB80", signature = {RH:TS3}, title = {A Type Assignment for the Strongly Normalizable Lambda-Terms} } @book{Pra65, author = {Prawitz, Dag}, entrydate = {08/90}, publisher = {Almquist and Wiksell, Amsterdam}, signature = {RH:MISC3}, title = {Natural Deduction, A Proof-Theoretical Study}, booktitle = {Natural Deduction, A Proof-Theoretical Study}, year = 1965 } @article{Pri57Sho, author = {Prim, R.C.}, journal = {Bell Systems Technical Journal}, month = nov, pages = {1389--1401}, title = {Shortest connection networks and some generalizations.}, year = 1957 } @article{Przymu89c, author = {Teodor C. Przymusinski}, comment = {ddbb}, journal = {Journal of Automated Reasoning}, pages = {167--205}, title = {On the Declarative and Procedural Semantics of Logic Programs}, volume = {5}, year = {1989} } @article{Pug90Ski, author = {Pugh, William}, journal = {Communications of the ACM}, month = jun, number = 6, pages = {668--676}, title = {Skip Lists: {A} Probabilistic Alternative to Balanced Trees}, volume = 33, year = 1990 } @book{Pyl81, author = {Pyle, Ian C.}, publisher = "?", signature = {RH}, title = {Die Programmiersprache Ada}, booktitle = {Die Programmiersprache Ada}, year = 1981 } @book{RaL99Alg, author = {Rabhi, Fethi and Lapalme, Guy}, edition = {second}, publisher = Addison-Wesley, title = {Algorithms: a Functional Programming Approach}, booktitle = {Algorithms: a Functional Programming Approach}, year = 1999 } @article{Rea92Bal, author = {Reade, C.M.P.}, journal = {Science of Computer Programming}, month = apr, number = 2, pages = {181--204}, title = {Balanced trees with removals: an exercise in rewriting and proof}, volume = 18, year = 1992 } @book{ReaEle89, author = {Reade, Chris}, publisher = Addison-Wesley, title = {Elements of Functional Programming}, booktitle = {Elements of Functional Programming}, year = 1989 } @incollection{Red86, author = {Reddy, Uday S.}, comment = {ddbb}, pages = {3-36}, crossref = "DeL86", signature = {RH:LP1}, title = {On The Relationship between Logic and Functional Languages} } @inproceedings{Rey74The, author = {Reynolds, J.C.}, booktitle = {Proceedings, Colloque sur la Programmation, {Paris}}, pages = {408--425}, publisher = Springer, series = LNCS, title = {Towards a Theory of Type Structure}, volume = 19, year = 1974 } @book{Ric77, author = {Richter, Lutz}, publisher = "?", signature = {RH}, title = {Betriebssysteme}, booktitle = {Betriebssysteme}, year = 1977 } @article{Rob65, author = {Robinson, J. A.}, comment = {RH:DA}, journal = jacm, month = jan, number = 1, pages = {23-41}, signature = {STL}, title = {A Machine-Oriented Logic Based on the Resolution Principle}, volume = 12, year = 1965 } @unpublished{Roj95Eff, author = {R\"{o}jemo, Niklas}, month = may, note = {unpublished}, title = {Efficient parsing combinators}, year = 1995 } @article{Ron88, author = {Ronchi Della Rocca, Simona}, comment = {RH:DA}, entrydate = {12/88}, journal = tcs, pages = {181-209}, signature = {RH:TS2}, title = {Principal Type Scheme and Unification for Intersection Type Dicipline}, volume = 59, year = 1988 } @misc{Ros98Pri, author = {Paterson, Ross}, month = oct, title = {Private communication}, year = 1998 } @phdthesis{Rue92Ana, author = {Ruehr, Karl Fritz}, school = {University of Michigan}, title = {Analytical and Structural Polymorphism Expressed using Patterns over Types}, year = 1992 } @incollection{Rue98Str, author = {Ruehr, Fritz}, booktitle = {Informal Proceedings Workshop on Generic Programming, {WGP'98}, {Marstrand}, {Sweden}, 18 June 1998}, editor = {Backhouse, Roland and Sheard, Tim}, month = jun, publisher = {Dept.\ of Computing Science, Chalmers Univ.\ of Techn.\ and G{\"o}teborg Univ.}, title = {Structural Polymorphism}, year = 1998 } @inproceedings{RyB85, author = {Rydeheard, D.E. and Burstall, R.M.}, entrydate = {08/90}, crossref = "CTCS85", signature = {RH:FP3}, title = {A Categorical Unification Algorithm} } @book{RyB88, author = {Rydeheard, David E. and Burstall, Rod M.}, entrydate = {08/90}, publisher = Prentice-Hall, signature = {RH:MISC2}, title = {Computational Category Theory}, booktitle = {Computational Category Theory}, year = 1988 } @inproceedings{Ryd87a, author = {Rydeheard, D.E.}, entrydate = {12/88}, crossref = "CTCS87", signature = {RH:FP3}, title = {Functors and Natural Transformations} } @inproceedings{Ryd87b, author = {Rydeheard, D.E.}, entrydate = {12/88}, crossref = "CTCS87", signature = {RH:FP3}, title = {Adjunctions} } @inproceedings{SCN84, author = {Stoye, W.R. and Clarke, T.J.W. and Norman, A.C.}, crossref = "SLFP84", signature = {RH:FP2}, title = {Some Practical Methods for Rapid Combinator Reduction} } @inproceedings{SHC95Mer, address = {Glenelg, Australia}, author = {Somogyi, Zoltan and Henderson, Fergus and Conway, Thomas}, booktitle = {Proceedings of the Australian Computer Science Conference}, month = feb, pages = {499--512}, title = {Mercury: an efficient purely declarative logic programming language}, year = 1995 } @manual{SML89, author = {}, entrydate = {05/90}, signature = {RH:MISC3}, title = {Standard ML Reference Manual} } @book{SPJ03Has, author = {{Peyton Jones}, Simon}, publisher = Cambridge-Press, title = {Haskell 98 Language and Libraries}, booktitle = {Haskell 98 Language and Libraries}, year = 2003 } @article{SPJ97Bul, author = {Peyton Jones, Simon}, title = {Bulk types} } @inproceedings{SSPJ98Dyn, address = {New York}, author = {Mark Shields and Tim Sheard and Simon Peyton Jones}, booktitle = {The 25th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages ({POPL} '98)}, month = jan, pages = {289--302}, publisher = {Association for Computing Machinery}, title = {Dynamic Typing as Staged Type Inference}, year = {1998}, zzz = {0-89791-979-3} } @inproceedings{ST93Fol, author = {Sheard, Tim and Fegaras, Leonidas}, booktitle = {Proceedings 6th {ACM} {SIGPLAN/SIGARCH} International Conference on Functional Programming Languages and Computer Architecture, {FPCA'93}, {Copenhagen}, {Denmark}}, month = jun, pages = {233--242}, publisher = ACM-Press, title = {A Fold for All Seasons}, year = {1993} } @article{SaS90Cha, author = {Sack, J{\"o}rg-R{\"u}diger and Strothotte, Thomas}, journal = {Information and Computation}, month = may, number = 1, pages = {69--86}, title = {A Characterization of Heaps and Its Applications}, volume = 86, year = 1990 } @article{SaT86Pla, author = {Sarnak, Neil and Tarjan, Robert E.}, journal = cacm, month = jul, number = 7, pages = {669--679}, title = {Planar point location using persistent search trees}, volume = 29, year = 1986 } @inproceedings{SaT89, author = {Sannella, Donald and Tarlecki, Andrzej}, entrydate = {05/90}, crossref = "TABSOFT89", signature = {RH:FP3}, title = {Toward formal development of ML programs: foundations and methodology} } @book{SalCom85, author = {Salomaa, Arto}, publisher = Cambridge-Press, title = {Computation and Automata}, booktitle = {Computation and Automata}, year = 1985 } @book{Sch75, author = {Schneider, Hans J{\"u}rgen}, publisher = "?", signature = {RH}, title = {Compiler: Aufbau und Arbeitsweise}, booktitle = {Compiler: Aufbau und Arbeitsweise}, year = 1975 } @article{Sch76, author = {Schwichtenberg, H.}, comment = {RH:DA}, entrydate = {5/89}, journal = {Archiv Logik Grundlagenforsch.}, pages = {113-114}, title = {{Definierbare Funktionen im Lambda-Kalk{\"u}l mit Typen}}, volume = 17, year = 1976 } @book{Sch84, author = {Schrage, Georg and Baumann, R{\"u}deger}, publisher = "?", signature = {RH}, title = {Strategiespiele: Computerorientierte Einf{\"u}hrung in die Algorithmen der Spieltheorie}, booktitle = {Strategiespiele: Computerorientierte Einf{\"u}hrung in die Algorithmen der Spieltheorie}, year = 1984 } @inproceedings{Sch92Ino, author = {Schoenmakers, Berry}, booktitle = {Second International Conference on the Mathematics of Program Construction, Oxford}, editor = {Bird,R.S. and Morgan,C.C. and Woodcock,J.C.P}, pages = {291--301}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space}, volume = 669, year = 1992 } @inproceedings{Sco73, author = {Scott, D.S.}, comment = {RH:DA}, entrydate = {5/89}, pages = {157-187}, crossref = "LMPS73", title = {Models for various type-free Calculi} } @book{Sed92Alg, author = {Sedgewick, Robert}, publisher = {Addison-Wesley, Reading}, title = {Algorithmen in C}, booktitle = {Algorithmen in C}, year = 1992 } @inproceedings{Sen97Equ, address = {Bologna, Italy}, author = {S{\'e}nizergues, G{\'e}raud}, booktitle = {Automata, Languages and Programming, 24th International Colloquium}, editor = {Degano, Pierpaolo and Gorrieri, Robert and Marchetti-Spaccamela, Alberto}, pages = {671--681}, publisher = Springer, series = LNCS, title = {The Equivalence Problem for Deterministic Pushdown Automata is Decidable}, volume = 1256, year = 1997 } @manual{Sep90, address = {Munich}, comment = {ddbb}, institution = {ECRC}, key = {Sepia}, title = {Sepia User Manual}, year = 1990 } @techreport{Sew92Pol, author = {Seward, J.}, institution = {University of Manchester}, title = {Polymorphic Strictness Analysis using Frontiers (Draft Version)}, year = 1992 } @article{She91Aut, author = {Sheard, Tim}, journal = {ACM Transactions on Programming Languages and Systems}, month = oct, number = 4, pages = {531--557}, title = {Automatic Generation and Use of Abstract Structure Operators}, volume = 13, year = 1991 } @techreport{She93Typ, author = {Sheard, Tim}, institution = {Oregon Graduate Institute of Science and Technology, Department of Computer Science and Engineering, Portland, {OR}, {USA}}, month = nov, number = {CS/E 93-018}, title = {Type Parametric Programming}, year = 1993 } @book{Sie90for, author = {Siefkes, Dirk}, comment = {ddbb}, publisher = Vieweg, title = {Formalisieren und Beweisen: Logik f{\"u}r Informatiker}, booktitle = {Formalisieren und Beweisen: Logik f{\"u}r Informatiker}, year = 1990 } @article{SlT85Sel, author = {Sleator, Daniel D and Tarjan, Robert E}, journal = jacm, month = jul, number = 3, pages = {652--686}, title = {Self-adjusting binary search trees}, volume = 32, year = 1985 } @article{SlTa85Sel, author = {Sleator, Daniel D. and Tarjan, Robert E.}, journal = {Journal of the ACM}, month = jul, number = 3, pages = {652--686}, title = {Self-Adjusting Binary Search Trees}, volume = 32, year = 1985 } @inproceedings{SmeGen91, author = {Smetsers, Sjaak and N{\"o}cker, Eric and van Groningen, John and Plasmeijer,Rinus}, pages = {593--617}, crossref = "FPLCA91", title = {Generating Efficient Code for Lazy Functional Languages} } @techreport{Smo88, author = {Smolka, Gert}, comment = {RH:DA}, entrydate = {02/89}, institution = LILOG, number = 55, signature = {RH:TS3,STL}, title = {Logic Programming with Polymorphically Order-Sorted Types}, type = LILOGRep, year = 1988 } @techreport{Smo88a, author = {Smolka, Gert}, keywords = {Types}, number = 33, publisher = {LiLog-Report}, signature = {RH:LP1, STL}, title = {A Feature Logic with Subsorts}, type = {LiLog-Report}, year = 1988 } @techreport{Smo88b, author = {Smolka, Gert}, comment = {RH:DA}, institution = {Universit{\"a}t Kaiserslautern}, keywords = {Subtypes, Functions, Relations}, number = {SR-87-11}, signature = {RH:TS1}, title = {{TEL (Version 0.9), Report and User Manual}}, type = {SEKI-Report}, year = 1988 } @inproceedings{Smo89, author = {Smolka, Gert}, entrydate = {05/90}, crossref = "UNIF89", signature = {RH:LP2}, title = {Polymorphically Order-Sorted Unification} } @article{Smy82, author = {Smyth, M. B. and Plotkin, G. D.}, comment = {RH:DA}, entrydate = {5/89}, journal = sicomp, number = 4, pages = {761-783}, title = {The category-theoretic solution of recursive domain equations}, volume = 11, year = 1982 } @inproceedings{Sny77Uni, address = {Long Beach, Ca., USA}, author = {Snyder, Lawrence}, booktitle = {18th Annual Symposium on Foundations of Computer Science, {Providence}}, month = oct, pages = {142--146}, publisher = {IEEE Computer Society Press}, title = {On Uniquely Represented Data Structures (Extended Abstract)}, year = 1977 } @inproceedings{Som87Sys, author = {Somogyi, Zoltan}, comment = {ddbb}, pages = {769-788}, crossref = "ICLP87", title = {A System of Precise Modes for Logic Programs} } @book{SomSof89, author = {Sommerville, Ian}, edition = {dritte}, publisher = Addison-Wesley, title = {Software Engineering}, booktitle = {Software Engineering}, year = 1989 } @inproceedings{SpS99Emb, author = {Spivey, J.M. and Seres, S.}, booktitle = {Proceedings of the 3rd {Haskell} Workshop, {Paris}, {France}}, editor = {Meijer, Erik}, month = sep, note = {The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28}, title = {Embedding {Prolog} in {Haskell}}, year = 1999 } @article{SpT00Gen, author = {Sperber,Michael and Thiemann,Peter}, journal = toplas, number = 3, pages = {224--264}, title = {Generation of {LR} Parsers by Partial Evaluation}, volume = 22, year = 2000 } @book{Spa76, author = {Spaniol, Otto}, publisher = "?", signature = {RH}, title = {Arithmetik in Rechenanlagen}, booktitle = {Arithmetik in Rechenanlagen}, year = 1976 } @article{Spi89Ter, author = {Spivey, M.}, journal = scp, title = {Term rewriting without exceptions}, year = 1989 } @inproceedings{Sta88, author = {Stansifer, Ryan}, comment = {RH:DA}, entrydate = {12/88}, crossref = "POPL88", signature = {RH:TS2}, title = {Type Inference with Subtypes} } @book{Ste72, author = {Stenlund, S{\"o}ren}, entrydate = {08/90}, publisher = {D. Reidel Publishing Company, Dordrecht-Holland}, signature = {RH:MISC3}, title = {Combinators, Lambda-Terms and Proof Theory}, booktitle = {Combinators, Lambda-Terms and Proof Theory}, year = 1972 } @book{Ste83, author = {Stede, Manfred}, keywords = {KI}, publisher = "?", signature = {RH}, title = {Einf{\"u}hrung in die k{\"u}nstliche Intelligenz}, booktitle = {Einf{\"u}hrung in die k{\"u}nstliche Intelligenz}, year = 1983 } @book{Ste86Art, author = {Sterling, Leon and Shapiro, Ehud}, publisher = MIT-Press, title = {The Art of Prolog: Advanced Programming Techniques}, booktitle = {The Art of Prolog: Advanced Programming Techniques}, year = 1986 } @book{Sto77, author = {Stoy, Joseph E.}, comment = {RH:DA}, publisher = MIT-Press, signature = {ZB Sn12355, BI 3523/Stoy, RH}, title = {Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory}, booktitle = {Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory}, year = 1977 } @book{Str86, author = {Stroustrup, Bjarne}, publisher = "?", signature = {BI 3422/Stro, RH}, title = {The C++ Programming Language}, booktitle = {The C++ Programming Language}, year = 1986 } @article{SuS95Set, author = {Sugumar, Rabin A. and Abraham, Santosh G.}, journal = {{ACM} Transactions on Computer Systems}, month = feb, number = 1, pages = {32--56}, title = {Set-Associative Cache Simulation Using Generalized Binomial Trees}, volume = 13, year = 1995 } @inproceedings{SuY83, author = {Subrahmanyam, P. A. and You, J-H.}, pages = {228-234}, crossref = "POPL83", signature = {RH:FP2}, title = {Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs} } @incollection{SuaCom90, author = {Su{\'a}rez, Asc{\'a}nder}, pages = {47-73}, crossref = "HueLog90", title = {{Compiling ML into CAM}} } @inproceedings{TS97Mul, address = {New York}, author = {W. Taha and T. Sheard}, booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation and Semantics-Based Program Manipulation ({PEPM} '97)}, month = jun, pages = {203--217}, publisher = ACM-Press, series = {ACM SIGPLAN Notices}, title = {Multi-Stage Programming with Explicit Annotations}, volume = {(\textbf{32})12}, year = {1997}, zzz = {0362-1340} } @inproceedings{TSS00Ful, address = {N.Y.}, author = {Trifonov, Valery and Saha, Bratin and Shao, Saha}, booktitle = {Proceedings of the {ACM} SIGPLAN International Conference on Functional Programming ({ICFP} '00)}, month = sep, pages = {82--93}, publisher = ACM-Press, series = {ACM SIGPLAN Notices}, title = {Fully reflexive intensional type analysis.}, volume = {(\textbf{35})9}, year = 2000 } @incollection{TaC97Dat, author = {Tamassia and Cantrill}, booktitle = {The Computer Science and Engineering Handbook}, editor = {Allen B. Tucker, Jr.}, publisher = {CRC Press, in cooperation with ACM}, title = {Data Structures}, year = 1997 } @inproceedings{TaMei95Sho, address = {New York}, author = {Takano, Akihiko and Meijer, Erik}, booktitle = {Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture ({FPCA}'95), {La Jolla}, {San Diego}, {California}, {USA}}, month = jun, pages = {306--313}, publisher = ACM-Press, title = {Shortcut Deforestation in Calculational Form}, year = 1995 } @inproceedings{TaS84Unf, author = {Tamaki, H. and Sato, T.}, booktitle = {Second International Conference on Logic Programming}, pages = {127--138}, title = {Unfold/fold transformations of logic programs}, year = 1984 } @article{Tam96Dat, author = {Tamassia, Roberto}, journal = {ACM Computing Surveys}, month = mar, number = 1, pages = {23--26}, title = {Data Structures}, volume = 28, year = 1996 } @article{Tar55Lat, author = {Tarski, A.}, journal = {Pacific Journal of Mathematics}, pages = {285--309}, title = {A lattice-theoretic fixpoint theorem and its applications}, volume = 5, year = 1955 } @article{Tas85AVL, author = {Tsakalidis, Athanasios K.}, journal = {Information and Control}, pages = {173--194}, title = {{AVL}-Trees for Localized Search}, volume = 67, year = 1985 } @book{Tay99Pra, author = {Taylor, Paul}, number = 59, publisher = {Cambridge University Press}, series = {Cambridge Studies in Advanced Mathematics}, title = {Practical Foundations of Mathematics}, booktitle = {Practical Foundations of Mathematics}, year = 1999 } @article{Ten76, author = {Tennent, R. D.}, journal = cacm, number = 8, signature = {RH:FP3}, title = {The Denotational Semantics of Programming Languages}, volume = 19, year = 1976 } @book{Ten91Sem, author = {Tennent, R.D.}, comment = {Preis: DM 68.61; Rechnungsdatum: 14.11.91}, keywords = {Programmiersprachen, Semantik, Programming Languages, Semantics}, publisher = {Prentice-Hall, Englewood Cliffs}, signature = {I9558}, title = {Semantics of Programming Languages}, booktitle = {Semantics of Programming Languages}, year = 1991 } @inproceedings{Tha88, author = {Thatte, Satish}, comment = {RH:DA}, entrydate = {09/88}, pages = {615-629}, crossref = "ALP88", signature = {BI 3520/1988, RH:TS1}, title = {Type Inference with Partial Types} } @book{Tho96Has, address = {Harlow, England}, author = {Thompson, Simon}, publisher = {Addison-Wesley}, title = {Haskell: The Craft of Functional Programming}, booktitle = {Haskell: The Craft of Functional Programming}, year = 1996 } @book{Tho99Has, address = {Harlow, England}, author = {Thompson, Simon}, edition = {second}, publisher = {Addison Wesley Longman Limited}, title = {Haskell: The Craft of Functional Programming}, booktitle = {Haskell: The Craft of Functional Programming}, year = 1999 } @techreport{ThoInt87, author = {Thompson, Simon}, institution = {Computing Laboratory, University of Kent at Canterbury}, number = 48, title = {Interactive Functional Programs}, year = 1987 } @techreport{ThoWri86, author = {Thompson, Simon}, institution = {University of Kent at Canterbury}, number = 40, series = {Computing Laboratory Report}, title = {Writing Interactive Programs in Miranda}, year = 1986 } @article{Thu12Skr, author = {Thue, Axel}, journal = {{Skrifter udgivne af Videnskaps-Selskabet i Christiania, Mathematisk-Naturvidenskabelig Klasse}}, note = {Reprinted in {Thue's ``Selected Mathematical Papers'' (Oslo: Universitetsforlaget, 1977)}, 413--477}, pages = {1--67}, title = {\"{U}ber die gegenseitige Lage gleicher Teile gewisser Zeichenreihen}, volume = 1, year = 1912 } @techreport{Tof89, author = {Tofte, Mads}, entrydate = {05/90}, institution = Edinburgh, signature = {RH:MISC3}, title = {Four Lectures on Standard ML}, year = 1989 } @book{TrD88, author = {Troelstra, A.S. and van Dalen, D.}, entrydate = {08/90}, publisher = North-Holland, signature = {RH:MISC4}, title = {Constructivism in Mathematics, An Introduction}, booktitle = {Constructivism in Mathematics, An Introduction}, volume = 1, year = 1988 } @article{Tur79b, author = {Turner, D.A.}, journal = software, pages = {31-49}, signature = {RH:FP2}, title = {A New Implementation Technique for Applicative Languages}, volume = 9, year = 1979 } @inproceedings{Tur81Sem, author = {Turner, David}, booktitle = {Functional Programming Languages and Computer Architecture (FPCA '81), {Portsmouth}, {New Hampshire}}, month = oct, pages = {85--92}, publisher = {ACM, New York}, title = {{The Semantic Elegance of Applicative Languages}}, year = 1981 } @incollection{Tur82, author = {Turner, D. A.}, crossref = "DHT82", signature = {RH:FP2}, title = {Recursion Equations as a Programming Language} } @inproceedings{Tur85, author = {Turner, D. A.}, pages = {1-26}, crossref = "FPLCA85", title = {Miranda: A non-strict functional language with polymorphic types} } @inproceedings{Tur85mir, author = {Turner, David A.}, comment = {ddbb}, pages = {1-26}, crossref = "FPLCA85", title = {Miranda: A non-strict functional language with polymorphic types} } @misc{Tur89, author = {Turi, Daniele}, entrydate = {05/90}, signature = {RH:LP2}, title = {Logic Programs with Negation: Classes, Models, Interpreters} } @article{TurOve86, author = {Turner, David}, journal = sigplan, month = dec, title = {An Overview of Miranda}, year = 1986 } @article{Ull74Fas, author = {Ullman, J.D.}, journal = {Acta Informatica}, number = 3, pages = {191--213}, title = {Fast algorithms for the elimination of common subexpressions}, volume = 2, year = 1974 } @article{VGeRoSc91, author = {A. {Van Gelder} and K. A. Ross and J. S. Schlipf}, comment = {ddbb}, journal = {Journal of the ACM}, number = {3}, pages = {620--650}, title = {The Well-Founded Semantics for General Logic Programs}, volume = {38}, year = {1991} } @inproceedings{VGelder89, author = {Allen {Van Gelder}}, comment = {ddbb}, pages = {1--10}, title = {The Alternating Fixpoint of Logic Programs with Negation}, zzz = {PODS89} } @inproceedings{ViB89Con, address = {Berlin}, author = {{de Bruin}, A. and {de Vink}, E.P.}, booktitle = {Proceedings of the International Joint Conference on Theory and Practice of Software Development : Vol. 1}, editor = {D\'{\i}az, J. and Orejas, F.}, month = mar, pages = {178--192}, publisher = Springer, series = LNCS, title = {Continuation Semantics for Prolog with Cut}, volume = 351, year = 1989 } @inproceedings{Vis00Lan, author = {Visser, Eelco}, booktitle = {Proceedings of the 2nd Workshop on Generic Programming, {Ponte de Lima}, {Portugal}}, editor = {Jeuring, Johan}, month = jul, note = {The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19}, pages = {86--104}, title = {Language Independent Traversals for Program Transformation}, year = 2000 } @inproceedings{Vod88, author = {Voda, Paul J.}, pages = {580-589}, crossref = "LP88", signature = {RH:TS2}, title = {Types of Trilogy} } @article{Vui78Uni, author = {Vuillemin, Jean}, journal = cacm, number = 4, pages = {309--315}, title = {A data structure for manipulating priority queues}, volume = 21, year = 1978 } @article{Vui80Uni, author = {Vuillemin, Jean}, journal = cacm, pages = {229--239}, title = {A unifying look at data structures}, volume = 23, year = 1980 } @book{WG92Pro, key = {WG17}, number = 92, publisher = {ISO/IEC JTC1 SC22 WG17}, title = {{PROLOG}. Part 1, General Core, Committee Draft 1.0}, booktitle = {{PROLOG}. Part 1, General Core, Committee Draft 1.0}, year = 1992 } @techreport{WH87Pro, author = {Wadler, P. and Hughes, J.}, institution = {Programming Methodology Group, Departement of Computer Sciences, Chalmers University of Technology and University of G{\"o}terborg, G{\"o}teborg, Sweden}, number = 35, title = {Projections for Strictness Analysis}, year = 1987 } @inproceedings{WaB89How, address = {Austin, TX, USA}, author = {Wadler, Philip and Blott, Wadler}, booktitle = {Proceedings of the 16th Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages ({POPL} '89)}, month = jan, pages = {60--76}, publisher = ACM-Press, title = {How to make {\it{ad-hoc}} polymorphism less {\it{ad hoc}}}, year = 1989, zzz = {0-89791-294-2} } @inproceedings{WaR99Has, author = {Wallace, Malcolm and Runciman, Colin}, booktitle = {Proceedings of the 1999 International Conference on Functional Programm}, editor = {Lee, Peter}, month = sep, pages = {148--159}, title = {{Haskell} and {XML}: Generic combinators or type-based translation?}, year = 1999 } @incollection{Wad01Gir, address = {Berlin}, author = {Wadler, Philip}, booktitle = {Proc.\ of 4th Int.\ Symp.\ on Theoretical Aspects of Computer Science, TACS 2001, Sendai, Japan, 29--31 Oct.\ 2001}, editor = {Kobayashi, N. and Pierce, B. C.}, pages = {468--491}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {The {G}irard-{R}eynolds Isomorphism}, volume = 2215, year = {2001} } @incollection{Wad03Pre, author = {Wadler, Philip}, booktitle = {The Fun of Programming}, editor = {Gibbons, Jeremy and {de Moor}, Oege}, month = mar, pages = {223--243}, publisher = {Palgrave Macmillan Publishers Ltd}, series = {Cornerstones of Computing}, title = {A prettier printer}, year = 2003 } @article{Wad79Rec, author = {Wadsworth, C.P.}, journal = {Bulletin of the {EATCS}}, note = {Abstract of a talk given at the 2nd International Workshop on the Semantics of Programming Languages, Bad Honnef, Germany, 19--23 March 1979}, pages = {87--88}, title = {Recursive Type Operators which are More than Type Schemes}, volume = 8, year = 1979 } @inproceedings{Wad84, author = {Wadler, Philip}, crossref = "SLFP84", signature = {RH:FP3}, title = {Listlessness is Better than Laziness} } @article{Wad87, author = {Wadler, Philip}, entrydate = {05/90}, journal = sigplan, month = mar, number = 3, signature = {RH:FP3}, title = {A critique of Abelson and Sussman -- or -- Why calculating is better than scheming}, volume = 22, year = 1987 } @inbook{Wad87Com, author = {Wadler, Philip}, chapter = 5, pages = {78-103}, crossref = "Pey87", title = {Efficient Compilation of Pattern-Matching} } @inbook{Wad87Lis, author = {Wadler, Philip}, chapter = 7, pages = {127-138}, crossref = "Pey87", title = {List Comprehensions} } @inproceedings{Wad87Vie, address = {New York, NY, USA}, author = {Wadler, P.}, booktitle = {{POPL} '87. Fourteenth Annual {ACM} {SIGACT}-{SIGPLAN} Symposium on Principles of programming languages, January 21--23, 1987, Munich, {W}. Germany}, editor = {{ACM}}, pages = {307--313}, publisher = ACM-Press, title = {{Views}: a way for pattern matching to cohabit with data abstraction}, year = 1987 } @inproceedings{Wad88Def, author = {Wadler, P.}, booktitle = {Proceedings of the European Symposium on Programming}, editor = {Ganzinger, H.}, pages = {344--358}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, title = {Deforestation: Transforming Programs to Eliminate Trees}, volume = 300, year = 1988, zzz = 14 } @inproceedings{Wad90Com, author = {Wadler, Philip}, booktitle = {{Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice}}, month = jun, pages = {61-78}, publisher = ACM-Press, title = {Comprehending Monads}, year = 1990 } @inproceedings{Wad92Ess, author = {Wadler, Philip}, booktitle = {{Proceedings of the 19th Annual {ACM} Symposium on Principles of Programming Languages, Sante Fe, New Mexico}}, month = jan, pages = {1-14}, title = {The essence of functional programming}, year = 1992 } @article{Wad93Mon, author = {Wadler, Philip}, journal = {Journal of Lisp and Symbolic Computation}, month = jan, number = 1, pages = {39--56}, title = {Monads and composable continuations.}, volume = 7, year = 1993 } @inproceedings{Wad95How, author = {Wadler, Philip}, booktitle = {{ILPS'95: International Logic Programming Symposium}}, editor = {Lloyd, John}, month = dec, publisher = {MIT Press}, title = {How to declare an imperative (invited paper)}, year = 1995 } @incollection{Wad95Mon, author = {Wadler, Philip}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, {B{\aa}stad}, {Sweden}}, editor = {Jeuring, J. and Meijer, E.}, month = may, pages = {24-52}, publisher = Springer, series = LNCS, title = {Monads for functional programming}, volume = 925, year = 1995 } @inproceedings{WadHow85, author = {Wadler, Philip}, crossref = "FPLCA85", title = {How to Replace Failure by a List of Successes} } @inproceedings{WadThe89, author = {Wadler, Philip}, pages = {347-359}, crossref = "FPCA89", title = {Theorems for free!} } @inproceedings{Wae88, author = {Waem, Annika}, pages = {700-710}, crossref = "LP88", signature = {RH:LP1}, title = {An Implementation Technique for the Abtract Interpretation of Prolog} } @book{Wal80, author = {Waller, Heinz and Hilgers, Peter}, publisher = "?", signature = {RH}, title = {Mikroprozessoren vom Bauteil zur Anwendung}, booktitle = {Mikroprozessoren vom Bauteil zur Anwendung}, year = 1980 } @inproceedings{Wan84, author = {Wand, Mitchell}, crossref = "POPL84", signature = {RH:TS2,LS5}, status = {!}, title = {A Types-as-Sets Semantics for Milner-Style Polymorphism} } @inproceedings{Wan87b, author = {Wand, Mitchell}, comment = {RH:DA}, crossref = "LICS87", signature = {RH:TS1}, title = {Complete Type Inference for Simple Objects} } @inproceedings{War82, author = {Warren, David H. D.}, comment = {WB:}, keywords = {Prolog extensions, Set Expressions}, pages = {441-454}, crossref = "MI10", signature = {RH:LP2,WB}, title = {Higher Order Extensions to Prolog: Are They Needed?} } @article{WeS56Add, author = {Weinberger, A. and Smith, J.L.}, journal = {IRE Transactions on Electronic Computers}, month = jun, number = 2, title = {A One-Microsecond Adder Using One-Megacycle Circuitry}, volume = {EC-5}, year = 1956 } @incollection{Weg89, author = {Wegner, Peter}, comment = {RH:DA}, entrydate = {5/89}, keywords = {Types}, crossref = "RDOOP", signature = {RH:TS3}, title = {The Object-Oriented Classification Paradigm} } @book{Weg89Eff, address = {Stuttgart}, author = {Wegener, I.}, journal = {Leitf{\"a}den und Monographien der Informatik}, note = {ISBN 3-519-02276-1}, publisher = {Teubner}, title = {Effiziente Algorithmen f{\"u}r grundlegende Funktionen}, booktitle = {Effiziente Algorithmen f{\"u}r grundlegende Funktionen}, year = 1989 } @inproceedings{Wei00Typ, address = {N.Y.}, author = {Stephanie Weirich}, booktitle = {Proceedings of the {ACM} SIGPLAN International Conference on Functional Programming ({ICFP} '00)}, month = sep, pages = {58--67}, publisher = ACM-Press, series = {ACM SIGPLAN Notices}, title = {Type-safe cast: functional pearl}, volume = {(\textbf{35})9}, year = 2000 } @inproceedings{Wei01Enc, author = {Weirich, Stephanie}, booktitle = {Proceedings of the 10th European Symposium on Programming, ESOP 2001}, editor = {Sands, David}, pages = {92--106}, series = {Lecture Notes in Computer Science}, title = {Encoding Intensional Type Analysis}, volume = {2028}, year = {2001}, zzz = {http://link.springer-ny.com/link/service/series/0558/bibs/2028/20280092.htm; http://link.springer-ny.com/link/service/series/0558/papers/2028/20280092.pdf} } @inproceedings{Wei02Hig, author = {Weirich, Stephanie}, booktitle = {Proceedings of the 11th European Symposium on Programming, ESOP 2002}, editor = {Le M\'{e}tayer, D.}, pages = {98--114}, series = {Lecture Notes in Computer Science}, title = {Higher-Order Intensional Type Analysis}, volume = {2305}, year = {2002} } @unpublished{Wei03Hig, author = {Weirich, Stephanie}, note = {available from\\ \texttt{http://www.cis.upenn.edu/\symbol{126}sweirich/papers/erasure/erasure-paper-july03.pdf}}, title = {Higher-Order Intensional Type Analysis in Type-Erasure Semantics}, year = 2003 } @book{Wik87, author = {Wikstr{\"o}m, {\AA}ke}, publisher = Prentice-Hall, series = {Series in Computer Science}, signature = {RH:MISC2,BI 3422/Wiks}, title = {Functional Programming Using Standard ML}, booktitle = {Functional Programming Using Standard ML}, year = 1987 } @article{Wil64Hea, author = {Williams, J.W.J.}, journal = {Communications of the ACM}, month = jun, number = 6, pages = {347--348}, title = {Algorithm 232: {Heapsort}}, volume = 7, year = 1964 } @inproceedings{Win97Typ, author = {Winstanley, Noel}, booktitle = {{Glasgow Workshop on Functional Programming, Ullapool}}, institution = {University of Glasgow}, title = {A type-sensitive preprocessor for {Haskell}}, year = 1997 } @book{Wir79Alg, author = {Wirth, Niklaus}, edition = {2nd}, publisher = Teubner, signature = {RH}, title = {{Algorithmen und Datenstrukturen}}, booktitle = {{Algorithmen und Datenstrukturen}}, year = 1979 } @book{Woo93Dat, author = {Wood, Derick}, publisher = Addison-Wesley, title = {Data Structures, Algorithms, and Performance}, booktitle = {Data Structures, Algorithms, and Performance}, year = 1993 } @inproceedings{WrC94Pra, author = {A. K. Wright and R. Cartwright}, booktitle = {Proceedings of the 1994 {ACM} Conference on Lisp and Functional Programming}, month = jun, note = {Also available as LISP Pointers VII(3) July-September 1994.}, publisher = {ACM}, title = {A Practical Soft Type System for Scheme}, year = {1994}, zzz = {{\em Soft typing} is a generalization of static type checking that accommodates both dynamic typing and static typing in one framework. A soft type checker infers types for identifiers and inserts explicit run-time checks to transform untypable programs to typable form. {\em Soft Scheme} is a practical soft type system for R4RS Scheme. The type checker uses a representation for types that is expressive, easy to interpret, and supports efficient type inference. Soft Scheme supports all of R4RS Scheme, including uncurried procedures of fixed and variable arity, assignment, and continuations.} } @inproceedings{Xi99Dep, author = {Xi, Hongwei}, booktitle = {Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, {WAAAPL'99}, {Paris}, {France}}, editor = {Okasaki, Chris}, month = sep, note = {The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from \verb|http://www.cs.columbia.edu/~cdo/waaapl.html|}, pages = {17--32}, title = {Dependently Typed Data Structures}, year = 1999 } @inproceedings{XuW88, author = {Xu, Jiyang and Warren, David S.}, pages = {604-619}, crossref = "LP88", signature = {RH:TS2}, title = {A Type Inference System for Prolog} } @inproceedings{YFSPol91, author = {Yardeni, Eyal and Fruehwirth, Thom and Shapiro, Ehud}, comment = {ddbb}, pages = {379--393}, crossref = "ICLP91", title = {Polymorphically Typed Logic Programs} } @article{Yan99Enc, author = {Yang, Zhe}, journal = sigplan, month = jan, number = 1, pages = {289--300}, title = {Encoding Types in {ML}-like Languages}, volume = 34, year = 1999 } @article{Zen97Ind, author = {Zenger, Christoph}, journal = tcs, month = nov, number = {1--2}, pages = {147--165}, title = {Indexed types}, volume = 187, year = 1997 } @phdthesis{Zen98Ind, author = {Zenger, Christoph}, school = {Universit{\"a}t Karlsruhe}, title = {Indizierte Typen}, year = 1998 } @inproceedings{clavel01polytypic, author = {Clavel, M. and Duran, F. and Marti-Oliet N.}, booktitle = {Electronic Notes in Theoretical Computer Science}, editor = {Futatsugi, Kokichi}, publisher = {Elsevier}, title = {Polytypic Programming in Maude}, volume = 36, year = 2001 } @misc{cyclone02, key = {Cyclone}, note = {\texttt{http://www.cs.cornell.edu/Projects/cyclone/}}, title = {Cyclone Home Page} } @inproceedings{dMG00Poi, author = {{de Moor}, Oege and Gibbons, Jeremy}, booktitle = {Proceedings of Algebraic Methodology and Software Technology (AMAST 2000), {Iowa}}, editor = {Rus, T.}, month = may, pages = {371--390}, publisher = Springer, series = LNCS, title = {Pointwise Relational Programming}, volume = 1816, year = 2000 } @misc{ghc02, key = {Glasgow}, note = {\texttt{http://www.haskell.org/ghc}}, title = {The {Glasgow} {Haskell} {Compiler}} } @misc{mercury02, key = {Mercury}, note = {\texttt{http://www.cs.mu.oz.au/research/mercury/}}, title = {The {Mercury} {Project}} } @proceedings{ALP88, comment = {RH:DA}, editor = {Lepist{\"o}, Timo and Salomaa, Arto}, entrydate = {09/88}, note = {LNCS 317}, publisher = Springer, signature = {BI 3520/1988}, title = {Automata, Languages and Programming 15th Int. Colloquium, Juli 1988}, booktitle = {Automata, Languages and Programming 15th Int. Colloquium, Juli 1988}, year = 1988 } @book{Abr87Abs, author = {Abramsky, Samson and Hankin, Chris}, publisher = {Ellis Horwood Limited, Chichester}, title = {Abstract Interpretation of Declarative Languages}, booktitle = {Abstract Interpretation of Declarative Languages}, year = 1987 } @book{Bro88, editor = {Broy, Manfred}, entrydate = {08/90}, publisher = Springer, title = {Constructive Methods in Computer Science}, booktitle = {Constructive Methods in Computer Science}, year = 1988 } @proceedings{CADE86, comment = {ddbb}, editor = {Siekmann, J{\"o}rg H.}, note = {LNCS 230}, publisher = Springer, title = {Proceedings of the 8th International Conference on Automated Deduction}, booktitle = {Proceedings of the 8th International Conference on Automated Deduction}, year = 1986 } @proceedings{CC84, note = {SIGPLAN Notices Vol. 19, No. 6, June 1984}, publisher = {SIGPLAN}, title = {Proceedings of the ACM SIGPLAN 1984 Symposium on Compiler Construction}, booktitle = {Proceedings of the ACM SIGPLAN 1984 Symposium on Compiler Construction}, year = 1984 } @proceedings{CFPL85, comment = {RH:DA}, editor = {Cousineau, Guy and Curien, Pierre-Louis and Robinet, Bernhard}, entrydate = {12/88}, note = {LNCS 242}, publisher = Springer, signature = {BI 3529/1985}, title = {Combinators and Functional Programming Languages}, booktitle = {Combinators and Functional Programming Languages}, year = 1985 } @proceedings{CPAA, editor = {Leech, John}, signature = {BI 3510/1967}, title = {Computational Problems in Abstract Algebra}, booktitle = {Computational Problems in Abstract Algebra}, year = 1967 } @proceedings{CSL87, comment = {RH:DA}, editor = {B{\"o}rger, Egon}, entrydate = {12/88}, signature = {BI 3521/1987}, title = {Computer Science Logic}, booktitle = {Computer Science Logic}, year = 1987 } @proceedings{CTCS85, editor = {Pitt, David and Abramsky, Samson and Poigne, Axel and Rydeheard, David}, entrydate = {08/90}, note = {LNCS 240}, title = {Category Theory and Computer Science}, booktitle = {Category Theory and Computer Science}, year = 1985 } @proceedings{CTCS87, comment = {RH:DA}, editor = {Pitt, D.H. and Poigne, A. and Rydeheard, D.E.}, entrydate = {12/88}, note = {LNCS 283}, signature = {BI 3529/87}, title = {Category Theory and Computer Science}, booktitle = {Category Theory and Computer Science}, year = 1987 } @book{Cam84Imp, editor = {Campbell, J.A.}, publisher = {Ellis Horwood Limited}, title = {Implementations of Prolog}, booktitle = {Implementations of Prolog}, year = 1984 } @book{DHT82, editor = {Darlington and Henderson and Turner}, publisher = Cambridge-Press, signature = {RH:FP3(ToC)}, title = {Functional Programming and its Applications. An advanced course}, booktitle = {Functional Programming and its Applications. An advanced course}, year = 1982 } @proceedings{DISCS90, editor = {}, entrydate = {08/90}, note = {LNCS 429}, title = {Int. Symposium on Design and Implementation of Symbolic Computation Systems}, booktitle = {Int. Symposium on Design and Implementation of Symbolic Computation Systems}, year = 1990 } @book{DTAP, comment = {RH:DA}, editor = {Atkinson, Malcolm P. and Buneman, Peter and Morrison, Ronald}, publisher = Springer, series = {Topics in Information Systems}, signature = {RH:TS2(ToC),BI 3370/DATA}, title = {Data Types and Persistence}, booktitle = {Data Types and Persistence}, year = 1988 } @book{DeL86, comment = {ISBN 0-13-539958-0 025,RH:DA,ddbb}, editor = {DeGroot, Doug and Lindstrom, Gary}, publisher = Prentice-Hall, title = {Logic Programming, Functions, Relations, and Equations}, booktitle = {Logic Programming, Functions, Relations, and Equations}, year = 1986 } @proceedings{ESOP88, comment = {RH:DA}, editor = {Ganzinger, Harald}, note = {LNCS 300}, publisher = Springer, signature = {BI ????}, title = {2nd European Symposium on Programming, Nancy, France, March 21-24}, booktitle = {2nd European Symposium on Programming, Nancy, France, March 21-24}, year = 1988 } @proceedings{ESOP90, editor = {Jones, N.}, entrydate = {08/90}, note = {LNCS 432}, publisher = Springer, title = {3rd European Symposium on Programming, Denmark, May 15-18}, booktitle = {3rd European Symposium on Programming, Denmark, May 15-18}, year = 1990 } @proceedings{FGCS88, editor = {}, title = {International Conference on Fifth Generation Computer Systems}, booktitle = {International Conference on Fifth Generation Computer Systems}, year = 1988 } @book{FLFP, comment = {RH:DA}, editor = {Boscarol, M. and Carlucci Aiello, L. and Levi, G.}, number = 306, publisher = Springer, series = LNCS, title = {Foundations of Logic and Functional Programming}, booktitle = {Foundations of Logic and Functional Programming}, year = 1986 } @proceedings{FLT, editor = {Book, Ronald V.}, signature = {BI 3525/FORM}, title = {Formal Language Theory Perspective and Open Problems}, booktitle = {Formal Language Theory Perspective and Open Problems}, year = "?" } @proceedings{FODD, editor = {Minker, Jack}, keywords = {Negation, Unification}, publisher = Morgan, signature = {BI 3367/FOUN}, title = {Foundations of deductive databases and logic programming}, booktitle = {Foundations of deductive databases and logic programming}, year = 1988 } @proceedings{FP, editor = {Eisenbach, Susan}, signature = {BI 3422/FUNC}, title = {Functional Programming Languages, Tools \& Architectures}, booktitle = {Functional Programming Languages, Tools \& Architectures}, year = "?" } @proceedings{FP89, editor = {Davis, Kei and Hughes, John}, publisher = Springer, series = {Workshops in Computing}, title = {Functional Programming, Glasgow 1989}, booktitle = {Functional Programming, Glasgow 1989}, year = 1989 } @proceedings{FPCA87, comment = {RH:DA}, editor = {Kahn, Gilles}, entrydate = {1/89}, month = sep, note = {LNCS 274}, signature = {BI 3422/1987}, title = {Functional Programming and Computer Architecture, Portland Oregon, USA}, booktitle = {Functional Programming and Computer Architecture, Portland Oregon, USA}, year = 1987 } @proceedings{FPCA89, editor = {}, month = sep, publisher = Addison-Wesley, title = {The Fourth International Conference on Functional Programming Languages and Computer Architecture ({FPCA'89}), {London}, {UK}}, booktitle = {The Fourth International Conference on Functional Programming Languages and Computer Architecture ({FPCA'89}), {London}, {UK}}, year = 1989 } @proceedings{FPCA93, editor = {}, month = jun, publisher = ACM-Press, title = {FPCA '93: The Sixth International Conference on Functional Programming Languages and Computer Architecture}, booktitle = {FPCA '93: The Sixth International Conference on Functional Programming Languages and Computer Architecture}, year = 1993 } @proceedings{FPLCA85, editor = {Jouannaud, Jean-Pierre}, note = {LNCS 201}, publisher = Springer, signature = {RH}, title = {Functional Programming Languages and Computer Architecture Nancy, France, September 1985}, booktitle = {Functional Programming Languages and Computer Architecture Nancy, France, September 1985}, year = 1985 } @proceedings{FPLCA87, editor = {Kahn, G.}, note = {LNCS 274}, publisher = Springer, title = {Functional Programming Languages and Computer Architecture: Portland, OR}, booktitle = {Functional Programming Languages and Computer Architecture: Portland, OR}, year = 1987 } @proceedings{FPLCA91, editor = {Hughes, J.}, note = {LNCS 523}, publisher = Springer, title = {Functional Programming Languages and Computer Architecture: Cambridge, MA}, booktitle = {Functional Programming Languages and Computer Architecture: Cambridge, MA}, year = 1991 } @book{FiH88, author = {Field, Anthony J. and Harrison, Peter G.}, comment = {RH:DA}, publisher = Addison-Wesley, signature = {RH:FP3(ToC),BI 3422/Fiel}, title = {Functional Programming}, booktitle = {Functional Programming}, year = 1988 } @book{HLCS1, editor = {Abramsky, S. and Gabbay, Dov M. and Maibaum, T.S.E.}, publisher = {Clarendon Press, Oxford}, title = {Handbook of Logic in Computer Science, Volume 1, Background: Mathematical Structures}, booktitle = {Handbook of Logic in Computer Science, Volume 1, Background: Mathematical Structures}, year = 1992 } @book{HLCS2, editor = {Abramsky, S. and Gabbay, Dov M. and Maibaum, T.S.E.}, publisher = {Clarendon Press, Oxford}, title = {Handbook of Logic in Computer Science, Volume 2, Background: Computational Structures}, booktitle = {Handbook of Logic in Computer Science, Volume 2, Background: Computational Structures}, year = 1992 } @book{HTCSB90, comment = {ddbb}, editor = {van Leeuwen, Jan}, publisher = Elsevier, title = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics}, booktitle = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics}, year = 1990 } @book{HueLog90, editor = {Huet, Gerard}, note = {ISBN 0-201-17234-8}, publisher = Addison-Wesley, title = {Logical Foundations of Functional Programming}, booktitle = {Logical Foundations of Functional Programming}, year = 1990 } @proceedings{ICLP86, address = {London, United Kingdom}, comment = {UG, ddbb}, editor = {Shapiro, Ehud}, key = {ICLP 86}, month = jul, number = 225, publisher = Springer, series = LNCS, title = {Proceedings of the 3rd International Conference on Logic Programming}, booktitle = {Proceedings of the 3rd International Conference on Logic Programming}, year = 1986 } @proceedings{ICLP87, address = {Melbourne, Australia}, comment = {UG, ddbb}, editor = {Lassez, Jean-Louis}, key = {ICLP 87}, publisher = {The MIT Press}, series = {MIT Press Series in Logic Programming}, signature = {BI 3422/1987}, title = {Proceedings of the 4th International Conference on Logic Programming}, booktitle = {Proceedings of the 4th International Conference on Logic Programming}, year = 1987 } @proceedings{ICLP90, editor = {}, entrydate = {05/90}, title = {International Conference on Logic Programming, Jerusalem}, booktitle = {International Conference on Logic Programming, Jerusalem}, year = 1990 } @proceedings{ICLP91, comment = {ddbb}, editor = {Furukawa, Koichi}, title = {Proceedings of the Eighth International Conference on Logic Programming}, booktitle = {Proceedings of the Eighth International Conference on Logic Programming}, year = 1991 } @book{IF77, comment = {RH:DA}, editor = {Ammann, Urs}, note = {Informatik Fachberichte 77}, publisher = Springer, signature = {BI 3420}, title = {Programmiersprachen und Programmentwicklung 8. Fachtagung, Z{\"u}rich}, booktitle = {Programmiersprachen und Programmentwicklung 8. Fachtagung, Z{\"u}rich}, year = 1984 } @proceedings{IFIP74, comment = {ddbb}, institution = {Stockholm}, publisher = North-Holland, title = {Proceedings of the IFIP Congress}, booktitle = {Proceedings of the IFIP Congress}, year = 1974 } @proceedings{IFL1998, booktitle = {Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers}, editor = {Kevin Hammond and Antony J. T. Davie and Chris Clack}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {1595}, year = {1999}, zzz = {3-540-66229-4} } @proceedings{IFPL, comment = {RH:DA}, editor = {Peyton Jones, Simon L.}, publisher = Prentice-Hall, signature = {BI 3412/Peyt}, title = {The Implementation of Functional Programming Languages}, booktitle = {The Implementation of Functional Programming Languages}, year = 1987 } @proceedings{IJCAI83, editor = {}, title = {IJCAI 83 Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, West Germany}, booktitle = {IJCAI 83 Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, West Germany}, year = 1983 } @proceedings{IJCAI85, comment = {RH:DA}, editor = {Aravind, Joshi}, publisher = Morgan, title = {IJCAI 85 Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 18-23 August 1985, Los Angeles, California}, booktitle = {IJCAI 85 Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 18-23 August 1985, Los Angeles, California}, year = 1985 } @proceedings{IRIA70, comment = {ddbb}, publisher = Springer, title = {Proc. IRIA Symp. Automatic Demonstration}, booktitle = {Proc. IRIA Symp. Automatic Demonstration}, year = 1970 } @proceedings{ISOP84, comment = {RH:DA}, editor = {Paul, M. and Robinet, B.}, series = LNCS, signature = {BI 3420/1984}, title = {Proceedings of the International Symposium on Programming, 6th Colloquium, {Toulouse}, {France}}, booktitle = {Proceedings of the International Symposium on Programming, 6th Colloquium, {Toulouse}, {France}}, volume = 167, year = 1984 } @proceedings{LICS87, comment = {RH:DA}, editor = {}, organization = {Computer Science Society of the IEEE}, signature = {BI 3529/1987}, title = {Symposium on Logic in Computer Science, June 22-25, 1987}, booktitle = {Symposium on Logic in Computer Science, June 22-25, 1987}, year = 1987 } @proceedings{LICS88, editor = {}, entrydate = {08/90}, organization = {Computer Science Society of the IEEE}, title = {Third Annual Symposium on Logic in Computer Science}, booktitle = {Third Annual Symposium on Logic in Computer Science}, year = 1988 } @proceedings{LMPS73, comment = {RH:DA}, editor = {Suppes, P. and Henkin, L. and Joja, A. and Moisil, G.C.}, entrydate = {5/89}, publisher = North-Holland, title = {Logic, Methodology and Philosophy of Science IV}, booktitle = {Logic, Methodology and Philosophy of Science IV}, year = 1973 } @proceedings{LMPS79, editor = {}, publisher = North-Holland, title = {Logic, Methodology and Philosophy of Science VI. Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover 1979}, booktitle = {Logic, Methodology and Philosophy of Science VI. Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover 1979}, year = 1982 } @proceedings{LP82, editor = {Clark, K.L. and Tanrlund, S.-A.}, publisher = {Academic Press}, title = {Logic Programming}, booktitle = {Logic Programming}, year = 1982 } @proceedings{LP88, comment = {RH:DA}, editor = {Furukawa, K. and Tanaka, H. and Fujisaki, T.}, entrydate = {11/89}, note = {LNCS 383}, publisher = Springer, signature = {BI 3422/1988}, title = {Logic Programming '88: Proceedings of the 7th Conference Tokyo, Japan}, booktitle = {Logic Programming '88: Proceedings of the 7th Conference Tokyo, Japan}, year = 1988 } @proceedings{LP89, editor = {}, entrydate = {08/90}, title = {6th Int. Conf. on Logic Programming, Lisboa}, booktitle = {6th Int. Conf. on Logic Programming, Lisboa}, year = 1989 } @proceedings{MFPS89, editor = {}, entrydate = {05/90}, signature = {RH}, title = {Proc. Fifth International Conference on Mathematical Foundations of}, booktitle = {Proc. Fifth International Conference on Mathematical Foundations of}, year = 1989 } @proceedings{MI10, editor = {Hayes, J.E. and Michie, Donald and Pao, Y-H}, entrydate = {10/87}, publisher = Ellis-Horwood, signature = {BI}, title = {Machine Intelligence 10}, booktitle = {Machine Intelligence 10}, year = 1982 } @proceedings{Meta90, editor = {Bruynooghe, M.}, entrydate = {05/90}, month = apr, title = {Proceedings of the Second Workshop on Meta-programming in Logic}, booktitle = {Proceedings of the Second Workshop on Meta-programming in Logic}, year = 1990 } @proceedings{PLILP88, editor = {Deransart, P. and Lorho, B. and Maluszynski, J.}, number = 348, publisher = Springer, series = LNCS, title = {Programming Languages Implementation and Logic Programming, International Workshop, Orl\'eans, France}, booktitle = {Programming Languages Implementation and Logic Programming, International Workshop, Orl\'eans, France}, year = 1988 } @proceedings{PLILP91, editor = {Maluszy\'{n}ski, J. and Wirsing, M.}, number = 528, publisher = Springer, series = LNCS, title = {Programming Language Implementation and Logic Programming (PLILP)}, booktitle = {Programming Language Implementation and Logic Programming (PLILP)}, year = 1991 } @proceedings{POPL82, comment = {ddbb}, signature = {BI 3420/1982}, title = {Proc. 9th Symposium on Principles of Programming Languages 1982}, booktitle = {Proc. 9th Symposium on Principles of Programming Languages 1982}, year = 1982 } @proceedings{POPL83, editor = {}, signature = {BI 3420/1983}, title = {Proc. 10th Symposium on Principles of Programming Languages}, booktitle = {Proc. 10th Symposium on Principles of Programming Languages}, year = 1983 } @proceedings{POPL84, editor = {}, signature = {BI 3420/1984}, title = {Proc. 11th Symposium on Principles of Programming Languages 1982}, booktitle = {Proc. 11th Symposium on Principles of Programming Languages 1982}, year = 1984 } @proceedings{POPL86, editor = {}, signature = {BI 3420/1986}, title = {Proc. 13th Symposium on Principles of Programming Languages 1982}, booktitle = {Proc. 13th Symposium on Principles of Programming Languages 1982}, year = 1986 } @proceedings{POPL88, comment = {RH:DA}, editor = {}, entrydate = {12/88}, signature = {RH:FP3(ToC),BI 3420/1988}, title = {Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California}, booktitle = {Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California}, year = 1988 } @book{Pey87, author = {Peyton Jones, Simon}, publisher = Prentice-Hall, series = {Series in Computer Science}, signature = {RH:FP2(ToC),BI 3412/Peyt}, title = {The Implementation of Functional Programming Languages}, booktitle = {The Implementation of Functional Programming Languages}, year = 1987 } @book{RDOOP, comment = {RH:DA}, editor = {Shriver, Bruce and Wegner, Peter}, entrydate = {5/89}, publisher = MIT-Press, signature = {RH:TS3(ToC)}, title = {Research Directions in Object-Oriented Programming}, booktitle = {Research Directions in Object-Oriented Programming}, year = 1989 } @proceedings{SIGMOD91, address = {Denver, Colorado}, booktitle = {Proceedings of the 1991 {ACM} {SIGMOD} International Conference on Management of Data}, editor = {Clifford, James and King, Roger}, journal = {SIGMOD Record}, month = jun, number = 2, pages = {128--137}, title = {Proceedings of the 1991 {ACM} {SIGMOD} International Conference on Management of Data}, volume = 20, year = 1991 } @proceedings{SLFP80, editor = {}, title = {Conference Record of the 1980 ACM Symposium on LISP and Functional Programming}, booktitle = {Conference Record of the 1980 ACM Symposium on LISP and Functional Programming}, year = 1980 } @proceedings{SLFP84, organization = {ACM}, title = {Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, Austin, Texas}, booktitle = {Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, Austin, Texas}, year = 1984 } @proceedings{SLP84, editor = {}, entrydate = {10/87}, publisher = IEEE-Press, signature = {BI}, title = {1984 International Symposium on Logic Programming Atlantic City}, booktitle = {1984 International Symposium on Logic Programming Atlantic City}, year = 1984 } @proceedings{SLP87, comment = {RH:DA}, editor = {Furukawa, H. and Tanaka, H. and Fujisaki, T.}, note = {LNCS 315}, title = {Logic Programming}, booktitle = {Logic Programming}, year = 1987 } @proceedings{SNCL, comment = {RH:DA}, editor = {Meseguer, Jose}, publisher = MIT-Press, title = {Semantics of Natural and Computer Languages}, booktitle = {Semantics of Natural and Computer Languages}, year = 1987 } @proceedings{SODT, comment = {RH:DA}, editor = {Kahn, K. and MacQueen, D. B. and Plotkin, G.}, note = {LNCS 173}, publisher = Springer, signature = {BI 3424/1984}, title = {Semantics of Data Types}, booktitle = {Semantics of Data Types}, year = 1984 } @proceedings{TABSOFT89, editor = {Diaz, J. and Orejas, F.}, entrydate = {05/90}, month = mar, note = {LNCS 351}, title = {Proceedings of the International Joint Conference on Practice of Software Development}, booktitle = {Proceedings of the International Joint Conference on Practice of Software Development}, year = 1989 } @book{TOHB80, editor = {Seldin, J.P. and Hindley, J.R.}, publisher = {Academic-Press}, title = {To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism}, booktitle = {To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism}, year = 1980 } @proceedings{UNIF89, editor = {B{\"u}rckert H.-J. and Nutt, W.}, entrydate = {05/90}, signature = {RH:LP2}, title = {Third International Workshop on Unification 1989}, booktitle = {Third International Workshop on Unification 1989}, year = 1989 } @proceedings{WADS95, address = {Kingston, Ontario, Canada}, booktitle = {Algorithms and Data Structures, 4th International Workshop}, editor = {Akl, Selim G. and Dehne, Frank K.H.A. and Sack, J{\"o}rg-R{\"u}diger and Santoro,Nicola}, month = aug, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Algorithms and Data Structures, 4th International Workshop}, volume = 955, year = 1995 } @proceedings{WALP88, editor = {Gaussig}, publisher = {Akademie Verlag, Berlin}, title = {Proceedings First International Workshop on Algebraic and Logic Programming}, booktitle = {Proceedings First International Workshop on Algebraic and Logic Programming}, year = 1988 }