% +-------------------------------------------------------------+ % | Wouters Amazing BibTeX file of c.s. papers | % +-------------------------------------------------------------+ % contains refs for the following bundles of papers: % % 3. recent stuff % 2. map #2, VPLs, VMs, POPL % 1. map #1, DATA COMPRESSION, ROBS OO PAPERS % A. PAPERS - (8 of them): % A. 1. FUNCTIONAL PROGRAMMING (2x) % A. 2. OO PROGRAMMING % A. 3. IMPLEMENTATION % A. 4. TYPING, FEATURES, LANGUAGE DESIGN, 1ST CLASS ENV ETC. % A. 5. CONCURRENCY % A. 6. LOGIC PROGRAMMING, TERM REWRITING, DATA COMPRESSION % A. 7. VISUAL PROGRAMMING, ALIFE, VARIOUS % B. UFO, NOMADS % C. SELF REF % D. EIFFEL, LIBS, OO, CONCURRENCY, MULTIPLE-INH, SELF PAPERS % E. PROLOG IMPL, OLDER PAPERS % Z. VARIOUS @String{cacm = "Communications of the ACM"} @String{sigplan = "ACM SIGPLAN Notices"} @String{compsurv = "ACM Computing Surveys"} @String{spe = "Software--- Practice and Experience"} @String{toplas = "ACM Transactions on Programming Languages and Systems"} @String{acm = "Association for Computing Machinery"} @String{pubacm = "ACM Press"} @String{pubacmadr = "New York, NY, USA"} @String{logprog = "The Journal of Logic Programming"} @String{lispp = "ACM Lisp Pointers"} @String{popl13 = "Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages"} @String{popl14 = "Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages"} @String{popl15 = "Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages"} @String{popl16 = "Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages"} @String{popl17 = "Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages"} @String{popl18 = "Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages"} @String{popl19 = "Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"} @String{popl20 = "Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"} @String{popl21 = "Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"} @String{pldi90 = "{\em Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation}"} @String{pldi91 = "{\em Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation}"} @String{pldi93 = "{\em Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation}"} @String{pldi94 = "{\em Proceedings of the ACMi SIGPLAN '94 Conference on Programming Language Design and Implementation}"} @String{fpca = "Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture"} @String{iit87 = "Proceedings of the {SIGPLAN} '87 Symposium on Interpreters and Interpretive Techniques, {St. Paul, Minnesota}, {June} 24--26, 1987"} @String{vis = "IEEE International Symposium on Visual Languages" } @misc{ pareschi, author = "A. Pareschi", title = "Linear Objects: Logical Processes with Built-in Inheritance", text = "Andreoli J.-M. and Pareschi R., `Linear Objects: Logical Processes with Built-in Inheritance', Proc. ICLP'90, Jerusalem, Israel, June 18-20, MIT Press, pp 495-510."} % mccarthy65, goldberg83, oortmers97a, nickerson94 @Article{ Carriero95, author = "N. Carriero and D. Gelernter and L. Zuck", title = "Bauhaus Linda", journal = "Lecture Notes in Computer Science", volume = "924", pages = "66--??", year = "1995", coden = "LNCSD9", ISSN = "0302-9743", bibdate = "Sat May 11 13:45:32 MDT 1996", acknowledgement = ack-nhfb,} @InProceedings{ RowWoo97b, author = "A. Rowstron and A. Wood", title = "{Bonita: a set of tuple space primitives for distributed coordination}", booktitle = "Proc. HICSS30, Sw Track", address = "Hawaii", year = "1997", publisher = "IEEE Computer Society Press", pages = "379--388", keyword = "coordination mechanisms, Linda",} @Article{ BPSMQ97, author = "T. Bray and J. Paoli and C. Sperberg-McQueen", title = "{Extensible Markup Language (XML)}", journal = "The World Wide Web Journal", volume = "2", number = "4", year = "1997", pages = "29--66", howpublished = "{\tt http://www.w3.org/TR/1998/REC-xml-19980210}",} @misc{ clark99, title = "Clark: XSL Transformations", text = "J. Clark: XSL Transformations (XSLT) Version 1.0, W3C Working Draft, August 1999. See http://www.w3.org/TR/WD-xslt.", year = "1999"} @TechReport{ wakeling91, title = "Linearity and Lazyness", author = "D. Wakeling", institution = "University of York", year = "1991" } @TechReport{ Chambers93, author = "Craig Chambers", email = "chambers@cs.washington.edu", title = "The Cecil Language: Specification and Rationale", institution = "University of Washington", month = mar, year = "1993", url = "ftp://ftp.cs.washington.edu/pub/chambers/cecil-spec.ps.Z", url = "ftp://ftp.cs.washington.edu/tr/1993/03/UW-CSE-93-03-05.PS.Z", pages = "77", checked = "19940103", source = "copy",} @InProceedings{ foote97, title = "Big Ball of Mud", author = "Brian Foote and Joseph W. Yoder", booktitle = "Fourth Conference on Patterns Languages of Programs", year = "1997" } @InCollection{ PapArb98a, author = "G. Papadopoulos and F. Arbab", title = "{Coordination models and languages}", booktitle = "Advances in Computers", year = "1998", volume = "46: The Engineering of Large Systems", publisher = "Academic Press", keyword = "survey, Manifold",} @misc{ clocksin87, author = "W. Clocksin and C. Mellish", title = "Programming in Prolog", text = "W.F. Clocksin and C.S. Mellish. Programming in Prolog (3rd ed). Springer-Verlag, 1987.", year = "1987"} @misc{ somogyi95, author = "Z. Somogyi and F. Henderson and T. Conway", title = "Mercury: an efficient purely declarative logic programming language", text = "Zoltan Somogyi, Fergus Henderson, and Thomas Conway. Mercury: an efficient purely declarative logic programming language. In Proceedings of the Australian Computer Science Conference, pages 499--512, February 1995.", year = "1995"} @Manual{ flinda, title = "{FORTRAN}-Linda Reference Manual", organization = "Scientific Computing Associates, Inc.", address = "New Haven, CT, USA", year = "1993",} @Book{ javaspec, author = "James Gosling and Bill Joy and Guy L. Steele", title = "The {Java} Language Specification", publisher = "Ad{\-d}i{\-s}on-Wes{\-l}ey", address = "Reading, MA, USA", pages = "xxv + 825", year = "1996",} @TechReport{ Omohundro91, author = "Stephen M. Omohundro", title = "The {Sather} Language", institution = "International Computer Science Institute", year = "1991",} @TechReport{ Dewar79, author = "Robert B. K. Dewar", title = "The {SETL} Programming Language", type = "Technical Report", year = "1979",} @Manual{ schemelinda90, title = "Scheme--{Linda}", organization = "Ulf Dahlen, Department of Computer and Information Science, Linkoping University", address = "Linkoping, Sweden", month = sep, year = "1990", note = "{EPCC-TN90-06}",} @TechReport{ Sutcliffe, author = "Geoff Sutcliff and James Pinakis", title = "{P}rolog-{L}inda: An Embedding of {L}inda in mu{P}rolog", institution = "Department of Computer Science, The University of Western Australia", address = "Nedlands, 6009, Western Australia", } @TechReport{ Hass91, author = "W. Hasselbring", title = "{Combining SETL/E with Linda}", institution = "Computer Science/Software Engineering Department", address = "University of Essen, Germany", month = jun, year = "1991", owner = "pcl", descr = "plexp-linda",} @TechReport{ gammanotlinda, year = "1998", type = "Technical Report", number = "SEN-R9827", institution = "CWI - Centrum voor Wiskunde en Informatica", title = "On the incomparability of Gamma and Linda", author = "G. Zavattaro",} @Article{ Jellin90, author = "R. Jellinghaus", title = "Eiffel Linda: An Object-Oriented Linda Dialect", pages = "70--84", journal = "SIGPLAN Notices", volume = "25", number = "12", month = dec, year = "1990", publisher = "ACM Press", address = "New York, NY",} @TechReport{ visualchal, title = "1997 Visual Programming Language Challenge", author = "Allen L. {Ambler et al.}", institution = "IEEE", year = "1997" } % 3. recent stuff @TechReport{ schuerr94, title = "PROGRES, A Visual Language and Environment for PROgramming with Graph REwrite Systems", author = "Andy Schürr", institution = "RWTH Aachen", year = "1994" } @Article{ barendsen96, title = "Uniqueness typing for functional languages with graph rewriting semantics", author = "Erik Barendsen and Sjaak Smetsers", journal = "Mathematical Structures in Computer Science", month = june, year = "1996" } @TechReport{ hogg91, title = "The Geneva Convention On The Treatment Of Object Aliasing", author = "John {Hogg et al.}", institution = "", year = "1991" } @TechReport{ douglas95, title = "{ISETL-LINDA}: Parallel Programming with Bags", author = "Andrew Douglas and Alan Wood and Antony Rowstron", institution = "University of York", year = "1995" } @InProceedings{ oortmers97a, title = "The Aardappel Programming Language: A gentle introduction", author = "{Wouter van} Oortmerssen", booktitle = "Proceedings of the 1997 IPISA Conference", year = "1997" } @InProceedings{ cox89, title = "Prograph: a step towards liberating programming from textual conditioning", author = "P.T {Cox et al.}", booktitle = "Proc. 1989 IEEE Workshop on Visual Programming", year = "1989" } @InProceedings{ kodosky91, title = "Visual Programming Using Structured Data Flow", rem = "Labview", author = "J. {Kodosky et al.}", booktitle = "Proceedings of the {IEEE} Workshop on Visual Languages", year = "1991" } @TechReport{ hendriks88, title = "{ASF} System user's guide", author = "P.R.H. Hendriks", institution = "Centrum voor Wiskunde en Informatica", year = "1988" } @TechReport{ almeida97, title = "Balloon Types: Controlling Sharing of State in Data Types", author = "Paolo Sergio Almeida", institution = "Imperial College", year = "1997" } @TechReport{ douglas, title = "{Astro-Gofer}: Parallel Functional Programming with Co-ordinating Processes", author = "Andrew {Douglas et al.}", institution = "University of York"} @TechReport{ bailey93, title = "Hielp User Guide", author = "Stephen W. Bailey", institution = "University of Chicago", year = "1993" } @InCollection{ graef92, title = "The Q Programming Language", author = "Albert Graef", booktitle = "Musikinformatik und Medientechnik", publisher = "Johannes Gutenberg-Universitaet Mainz", year = "1992" } @InProceedings{ bm96b, title = "{Gamma} and the chemical reaction model: ten years after", author = {J.-P. Ban\^atre, D.Le M\'etayer}, booktitle = {Coordination programming: mechanisms, models and semantics, IC Press}, publisher = {World Scientific Publishing}, year = {1996}} @InProceedings{ mago81, title = "Copying operands versus copying results: a solution to the problem of large operands in {FFP}'s", author = "Gyula Mag{\'o}", booktitle = fpca, year = "1981" } @Article{ grogono, title = "Copying, Sharing, and Aliasing", author = "Peter Grogono and Patrice Chalin" } @Article{ gelernter92, title = "Coordination Languages and their significance", author = "David Gelernter and Nicholas Carriero", journal = cacm, month = feb, year = "1992" } @Article{ agha90, title = "Concurrent Object-Oriented Programming", author = "Gul Agha", journal = cacm, month = sep, year = "1990" } @TechReport{ carriero93, title = "Linda and Message Passing: What have we learned?", author = "Nicholas Carriero and David Gelernter", institution = "Yale University, Department of Computer Science", year = "1993" } @InProceedings{ fenwick96, title = "Block Sorting Text Compression", author = "Peter Fenwick", booktitle = "Proceedings of the 19th Australian Computer Science Conference, Melbourne, Australia", year = "1996" } @TechReport{ goldman96, title = "The Programmers' Playground: A Demonstration", author = "K. J. {Goldman et al.}", institution = "Washington University", year = "1996" } @InProceedings{ clack96, title = "Introducing {CLOVER}: an Object-Oriented Functional Language", author = "Chris Clack and Lee Braine", booktitle = "IFL", year = "1996" } @TechReport{ freeman96, title = "Lifestreams: A Storage Model for Personal Data", author = "Eric Freeman and David Gelernter", institution = "Yale University, Department of Computer Science", year = "1996" } % 2. map #2, VPLs, VMs, POPL @TechReport{ bell92, title = "ChemTrains: A Rule-Based Visual Language for Building Graphical Simulations", author = "Brigham Bell", institution = "US West Advanced Technologies", year = "1992" } @TechReport{ yamamoto95, title = "Visulan: A Visual Programming Language for Self-Changing Bitmap", author = "Kakuya Yamamoto", institution = "Kyoto University", year = "1995" } @InProceedings{ freeman95, title = "In Search of a Simple Visual Vocabulary", author = "Elisabeth Freeman and David Gelernter and Suresh Jagannathan", booktitle = "{IEEE} Symposium on Visual Languages", month = sep, year = "1995" } @TechReport{ najork95, title = "A Prototype Implementation of the {\sc Cube} Language", author = "Marc A. Najork and Simon M. Kaplan", institution = "University of Illinois", year = "1995" } @TechReport{ liebermana, title = "Dominoes and Storyboards: Beyond ``Icons on Strings''", author = "Henry Lieberman", institution = "MIT" } @TechReport{ liebermanb, title = "Mondrian: A Teachable Graphical Editor", author = "Henry Lieberman", institution = "MIT" } @InProceedings{ hansen94, title = "The 1994 Visual Languages Comparison", author = "Wilfred J. Hansen", booktitle = vis, year = "1994" } @InProceedings{ nickerson94, title = "Visual Programming: Limits of Graphic Representation", author = "J. V. Nickerson", booktitle = vis, year = "1994" } @InProceedings{ erwig94, title = "{DEAL} - A Language for Depicting Algorithms", author = "Martin Erwig", booktitle = vis, year = "1994" } @InProceedings{ repenning94, title = "Bending Icons: Syntactic and Semantic Transformations of Icons", author = "Alex Repenning", booktitle = vis, year = "1994" } @TechReport{ glaser95, title = "{P sh} - The Next Generation of Command Line Interfaces", author = "Hugh Glaser and Trevor J. Smedley", institution = "University of Southampton", year = "1995" } @InCollection{ cardelli86a, title = "The Amber Machine",author = "L. Cardelli",editor = "G. Cousineau and P.-L. Curien and B. Robinet",booktitle = "Combinators and Functional Programming Languages",pages = "48--70",publisher = "Springer-Verlag",address = "Berlin, DE",year = "1986",ISBN = "3-540-17184-3",note = "Lecture Notes in Computer Science 242",} @TechReport{ java, title = "The Java Language: A White Paper", institution = "Sun Microsystems Laboratories", year = "1995" } @TechReport{ javavm, title = "The Java Virtual Machine", institution = "Sun Microsystems Laboratories", year = "1995" } @InProceedings{ aiken94, title = "Soft Typing with Conditional Types",author = "Alexander Aiken and Edward L. Wimmers and T. K. Lakshman",pages = "163--173",booktitle = popl21,address = "Portland, Oregon",year = "1994",month = jan,} @InProceedings{ bosschere94, title = "Call Forwarding: {A} Simple Interprocedural Optimization Technique for Dynamically Typed Languages",author = "Koen de Bosschere and Saumya K. Debray and David Gudeman and Sampath Kannan",pages = "409--420",booktitle = popl21,address = "Portland, Oregon",year = "1994",month = jan,} @InProceedings{ klarlund93, title = "Graph Types",author = "Nils Klarlund and Michael I. Schwartzbach",pages = "196--205",booktitle = popl20,address = "Charleston, South Carolina",year = "1993",month = jan,} @InProceedings{ edelson92, title = "A Mark-and-Sweep Collector for {C++}",author = "Daniel R. Edelson",pages = "51--58",booktitle = popl19,address = "Albequerque, New Mexico",year = "1992",month = jan,} @InProceedings{ clinger91b, title = "Macros That Work",author = "William Clinger and Jonathan Rees",booktitle = popl18,address = "Orlando, Florida",year = "1991",month = jan,pages = "155--162",} @InProceedings{ lucco91, title = "Parallel Programming With Coordination Structures",author = "Steven Lucco and Oliver Sharp",booktitle = popl18,address = "Orlando, Florida",year = "1991",month = jan,pages = "197--208",} @InProceedings{ leroy91, title = "Polymorphic Type Inference and Assignment",author = "Xavier Leroy and Pierre Weis",booktitle = popl18,address = "Orlando, Florida",year = "1991",month = jan,pages = "291--302",} @InProceedings{ aiken91, title = "Static Type Inference in a Dynamically Typed Language",author = "Alexander Aiken and Brian R. Murphy",booktitle = popl18,address = "Orlando, Florida",year = "1991",month = jan,pages = "279--290",} % 1. map #1, DATA COMPRESSION, ROBS OO PAPERS @TechReport{ cleary95a, title = "Unbounded Length Contexts for {PPM}", author = "John G. Cleary and W.J. Teahan and Ian H. Witten", institution = "University of Waikato", year = "1995" } @TechReport{ cleary95b, title = "Experiments on the Zero Frequency Problem", author = "John G. Cleary and W.J. Teahan", institution = "University of Waikato", year = "1995" } @TechReport{ teahan95, title = "Probability estimation for {PPM}", author = "W.J. Teahan", institution = "University of Waikato", year = "1995" } @TechReport{ bloom95, title = "The Virtual Queue: A New {IO} Model for the Skew Coder", author = "Charles Bloom" } @Article{ fiala89, title = "Data Compression with Finite Windows",author = "E. R. Fiala and D. H. Greene",journal = CACM,volume = "32",number = "4",pages = "490--505",month = apr,year = "1989",ISSN = "0001-0782",review = "ACM CR 8910-0733",} @Article{ abrahamson89, title = "An Adaptive Dependency Source Model for Data Compression",author = "David M. Abrahamson",journal = CACM,volume = "32",number = "1",pages = "77--83",month = jan,year = "1989",ISSN = "0001-0782",review = "ACM CR 8910-0732",} @Article{ jones88, title = "Application of Splay Trees to Data Compression",author = "Douglas W. Jones",journal = CACM,volume = "31",number = "8",pages = "996--1007",month = aug,year = "1988",ISSN = "0001-0782",} @Book{ field88, title = "Functional Programming",author = "A. J. Field and P. G. Harrison",publisher = "Addison-Wesley",address = "Wokingham, Berkshire",year = "1988",keywords = "textbook hope secd",ISBN = "0-201-19249-7",} @TechReport{ mcevoy95, title = "On Modelling Environmentally-Sensitive Growth Forms and Cellular Automata using Multiset Transformation", author = "Hugh McEvoy and Jaap Kaandorp", institution = "University of Amsterdam", year = "1995" } @InProceedings{ mads90a, title = "Strong Typing of Object-Oriented Languages Revisited",author = "Ole Lehrmann Madsen and Boris Magnusson and Birger M{\o}ller-Pedersen",booktitle = "Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices",pages = "140--150",month = oct,year = "1990",} @InProceedings{ ossh92a, title = "Combination of Inheritance Hierarchies",author = "Harold Ossher and William Harrison",booktitle = "Proceedings OOPSLA '92, ACM SIGPLAN Notices",pages = "25--40",month = oct,year = "1992",} @InProceedings{ carr90b, title = "The Point of View Notion for Multiple Inheritance",author = "Bernard Carr{\'e} and Jean-Marc Geib",booktitle = "Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices",pages = "312--321",month = oct,year = "1990",} @InProceedings{ brac90a, title = "Mixin-based Inheritance",author = "Gilad Bracha and William Cook",booktitle = "Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices",pages = "303--311",month = oct,year = "1990",} @Article{ lieberman87, title = "Treaty of {Orlando}",author = "Henry Lieberman and Lynn Stein and David Ungar",journal = SIGPLAN,volume = "23",number = "5",pages = "43--44",month = may,year = "1987",ISSN = "0362-1340",} @InCollection{ moon, title = "The Common Lisp Object-Oriented Programming Language Standard", author = "David A. Moon" } @InProceedings{ agra91a, title = "Static Type Checking of Multi-Methods",author = "Rakesh Agrawal and Linda G. DeMichiel and Bruce G. Lindsay",booktitle = "Proceedings OOPSLA '91, ACM SIGPLAN Notices",pages = "113--128",month = nov,year = "1991",} @TechReport{ steyaert, title = "Nested Mixin-Methods in Agora", author = "Patrick Steyaert and Wim Codenie and Theo D'Hondt and Koen de Hondt and Carine Lucas and Marc van Limberghen", institution = "Vrije Universiteit Brussel" } @Article{ tennent82, title = "Two Examples of Block Structuring", author = "R. D. Tennent", journal = spe, year = "1982" } @Article{ hanson81, title = "Is Block Structure Necessary?", author = "David R. Hanson", journal = spe, year = "1981" } @InProceedings{ pals90a, title = "Type Substitution for Object-Oriented Programming",author = "Jens Palsberg and Michael I. Schwartzbach",booktitle = "Proceedings OOPSLA/ECOOP '90, ACM SIGPLAN Notices",pages = "151--160",month = oct,year = "1990",} @InProceedings{ seidewitz94, title = "Genericity versus Inheritance reconsidered: Self-Reference using Generics",author = "Ed Seidewitz",booktitle = "Proceedings OOPSLA/ECOOP '94, ACM SIGPLAN Notices",month = oct,year = "1994",} @InProceedings{ snyd86a, title = "Encapsulation and Inheritance in Object-Oriented Programming Languages",author = "Alan Snyder",booktitle = "Proceedings OOPSLA '86, ACM SIGPLAN Notices",pages = "38--45",month = nov,year = "1986",} @InProceedings{ amiel94, title = "Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables",author = "Eric Amiel and Olivier Gruber and Eric Symon",booktitle = "Proceedings OOPSLA '86, ACM SIGPLAN Notices",month = oct,year = "1994",} @InProceedings{ dony92a, title = "Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation",author = "Christophe Dony and Jacques Malenfant and Pierre Cointe",booktitle = "Proceedings OOPSLA '92, ACM SIGPLAN Notices",pages = "201--217",month = oct,year = "1992",} @InProceedings{ lamp93a, title = "Typing the Specialization Interface",author = "John Lamping",booktitle = "Proceedings OOPSLA '93, ACM SIGPLAN Notices",pages = "201--214",month = oct,year = "1993",} @Article{ shang95, title = "Covariant Deep Subtyping Reconsidered",author = "David L. Shang",journal = SIGPLAN,month = may,year = "1995",} @TechReport{ smith, title = "Programming as an Experience: The Inspiration for {Self}", author = "Randall B. Smith and David Ungar", institution = "Sun Microsystems Laboratories" } @InProceedings{ lieb86a, title = "Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems",author = "Henry Lieberman",booktitle = "Proceedings OOPSLA '86, ACM SIGPLAN Notices",pages = "214--223",month = nov,year = "1986",} @Article{ shih92, title = "Efficient algorithms for method dispatch in object-oriented programming systems", author = "Shih-Kun Huang and Deng-Jyi Chen", journal = "JOOP", month = sep, year = "1992" } % A.1. FUNCTIONAL PROGRAMMING @Article{ hudak92b, title = "Report on the Programming Language Haskell, {A} Non-Strict Purely Functional Language, Version 1.2", author = "Paul Hudak and Simon {Peyton Jones} and Philip {Wadler et al.}", journal = sigplan,volume = "27",number = "5",year = "1992" } @Article{ peytonj92, title = "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless {G}-machine", author = "S. L. {Peyton Jones}", journal = "Journal of Functional Programming",volume = "2",number = "2",year = "1992" } @TechReport{ jones94, title = "The implementation of the {Gofer} functional programming system",author = "Mark P. Jones",institution = "Yale University",year = "1994" } @InProceedings{ beemster93, title = "Optimizing transformations for a lazy functional language",author = "Marcel Beemster",booktitle = "Seventh Workshop Computersystems",year = "1993" } @Book{ traub, title = "Implementation of Non-Strict Functional Programming Languages",author = "Kenneth R. Traub",series = "Research Monographs in Parallel and Distributed Computing",publisher = "Pitman" } @TechReport{ partridge94, title = "Parser combinators need four values to report errors",author = "Andrew Partridge and David Wright",institution = "University of Tasmania",year = "1994" } @TechReport{ hudak93, title = "State in Functional Languages: An Annotated Bibliography",author = "Paul Hudak and Dan Rabin",year = "1993" } @InProceedings{ odersky93, title = "Call-by-name, Assignment and the Lambda-Calculus",author = "M. Odersky and D. Rabin and P. R. Hudak",booktitle = "Proceedings of the 20th ACM Symposium on Principles of Programming Languages, Charleston, SC",pages = "43--57",publisher = "ACM",address = "New York, NY",year = "1993",ISBN = "0-89791-560-7" } @TechReport{ berger92, title = "{FP} + {OOP} = Haskell",author = "E. Berger",institution = "University of Texas at Austin",type = "Technical Report",number = "TR-92-30",address = "Austin, TX",year = "1992" } @InProceedings{ Peterson93, title = "Implementing Type Classes",author = "J. Peterson and M. Jones",booktitle = "227--36",year = "1993" } @InProceedings{ peytonj91, title = "A Short Cut to Deforestation",author = "A. Gill and J. Launchbury and S. L. {Peyton Jones}",booktitle = fpca,year = "1993" } @InProceedings{ peytonj93, title = "The Glasgow Haskell Compiler: a Technical Overview",author = "S. L. {Peyton Jones} and C. V. Hall and K. Hammond and W. D. Partain and P. L. Wadler",booktitle = "JFIT Technical Conference, Keele",year = "1993" } @InProceedings{ peytonj91b, title = "Unboxed Values as First Class Citizens",author = "S. L. {Peyton Jones} and J. Launchbury",editor = "R. J. M. Hughes", booktitle = fpca,pages = "636--666",publisher = "Springer-Verlag",address = "New York, NY",year = "1991" } @InProceedings{ mansurov94, title = "{MARKOV}: First-Order Language Without Garbage Collection",author = "Nikolai Mansurov",booktitle = "Implementation of Functional Languages",year = "1994" } @InProceedings{ wadler, title = "Deforestation: Transforming programs to eliminate trees",author = "Philip L. Wadler",booktitle = "Functional Programming Languages and Computer Architecture",publisher = "Springer Verlag",address = "Berlin, DE" } @InProceedings{ wadler85, title = "How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages",author = "Philip L. Wadler",booktitle = fpca,pages = "113--128",publisher = "Springer Verlag",address = "Berlin, DE",year = "1985",ISBN = "3-540-15975-4" } @Article{ greenfield90, title = "\verb|bagof/3| to {ZF} expression: an example {ProLog} application manually translated to {Miranda}",author = "Peter Greenfield",journal = sigplan,month = jul,year = "1990",} @InProceedings{ gopinath89, title = "Copy Elimination in Functional Languages",author = "K. Gopinath and John L. Hennessy",booktitle = popl16,address = "Austin, Texas",year = "1989",month = jan,pages = "303--314",} @InProceedings{ wadler87, title = "Views: {A} Way for Pattern Matching to Cohabit with Data Abstraction",author = "Philip Wadler",booktitle = popl14,address = "Munich, Germany",year = "1987",month = jan,pages = "307--313",} @Article{ mccarthy78, title = "History of {LISP}",author = "John McCarthy",journal = sigplan,volume = "13",number = "8",month = aug,year = "1978",} @Article{ postma85, title = "Proposed data structures for {QL}/8n",author = "S. W. Postma",journal = sigplan,volume = "20",number = "9",pages = "77--85",month = sep,year = "1985",} @InCollection{ backus90, title = "An Introduction to the Functional Language {FL}",author = "J. Backus and J. Williams and E. Wimmers",editor = "D. A. Turner",booktitle = "Research Topics in Functional Programming",pages = "219--247",publisher = "Addison-Welsey",address = "Reading, MA",year = "1990",ISBN = "0-201-17236-4",} @Book{ Glaser84, title = "Principles of Functional Programming",author = "H. Glaser and C. Hankin and D. Till",publisher = "Prentice-Hall",address = "Englewood Cliffs, NJ",year = "1984",keywords = "functional",ISBN = "0-13-709163-X"} % A.2. OO PROGRAMMING @Article{ palsberg92, title = "Three discussions on object-oriented typing", author = "Jens Palsberg and Michael I. Schwartzbach", journal = "ACM Sigplan OOPS Messenger", month = mar, year = "1992" } @InProceedings{ horn92, title = "Constraint Patterns As a Basis for Object-Oriented Programming",author = "Bruce Horn",booktitle = "Proceedings OOPSLA '92, ACM SIGPLAN Notices",pages = "218--233",month = oct,year = "1992",} @Article{ mann93, title = "The {Beta} Programming Language: An {OO} Language with {Simula} roots",author = "Steve Mann",journal = "Dr. Dobb's Journal",month = oct,year = "1993",} @TechReport{ mens94, title = "{OPUS:} An Object-Oriented Programming Calculus",author = "Tom Mens and Kim Mens",institution = "Vrije Universiteit Brussel",year = "1994",} @Article{ dean94, title = "Identifying Profitable Specialization in Object-Oriented Languages",author = "J. Dean and C. Chambers and D. Grove",journal = "Workshop on Partial Evaluation and Semantics-Based Program Manipulation",month = jun,year = "1994",} @Article{ madsen86, title = "Block Structure and Object Oriented Languages",author = "Ole Lehrmann Madsen",journal = sigplan,month = oct,year = "1986",} @Book{ birtwistle, title = "{Simula BEGIN}",author = "G. M. Birtwistle and O. Dahl and B. Myhrhaug and K. Nygaard",publisher = "Studentlitteratur et al.",} @TechReport{ hauck93, title = "Class-Based Inheritance is not a Basic Concept",author = "Franz J. Hauck",institution = "Friedrich-Alexander University",year = "1993",number = "TR-14-6-93",note = "OOPSLA '93 position paper",} @Article{ shang94, title = "Covariant Specification",author = "David L. Shang",journal = sigplan,month = dec,year = "1994",} @Article{ gabriel91, title = "{CLOS}: Integrating Object-Oriented and Functional Programming",author = "Richard P. Gabriel and Jon L. White and Daniel G. Bobrow",journal = cacm,volume = "34",number = "9",pages = "28--39",month = sep,year = "1991",} @Book{ kiczales, title = "The Art of the Metaobject Protocol",author = "G. Kiczales and J. des Rivieres and D. G. Bobrow",publisher = "The MIT Press",} @Book{ henderson94, title = "Object Oriented Specification and Design with {C++}",author = "Peter Henderson",publisher = "McGraw-Hill",year = "1994",} @InCollection{ kristensen87, title = "The {BETA} Programming Language",author = "B. B. Kristensen and O. L. Madsen and B. {M{\"o}ller-Pedersen} and K. Nygaard",booktitle = "Research Directions in Object-Oriented Programming",publisher = "The MIT Press",year = "1987",} @InCollection{ agha87, title = "Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming",author = "G. Agha and C. Hewitt",booktitle = "Research Directions in Object-Oriented Programming",publisher = "The MIT Press",year = "1987",} @Book{ meyer92, title = "Eiffel, the Language",author = "B. Meyer",publisher = "Prentice Hall",year = "1992",} @InProceedings{ cook90, title = "Inheritance Is Not Subtyping",author = "William R. Cook and Walter L. Hill and Peter S. Canning",booktitle = popl17,address = "San Francisco, California",year = "1990",month = jan,pages = "125--135",} @InProceedings{ palsberg91, title = "Object-Oriented Type Inference",author = "Jens Palsberg and Michael I. Schwartzbach",booktitle = "Proceedings OOPSLA '91, ACM SIGPLAN Notices",pages = "146--161",month = nov,year = "1991",} @Article{ pugh90, title = "Two-Directional Record Layout for Multiple Inheritance",author = "William Pugh and Grant Weddell",pages = "85--91",journal = sigplan,year = "1990",month = jun,volume = "25",number = "6",note = pldi90,} @InProceedings{ khos86, title = "Object Identity",author = "Setrag N. Khoshafian and George P. Copeland",booktitle = "Proceedings OOPSLA '86, ACM SIGPLAN Notices",pages = "406--416",month = nov,year = "1986",note = "Published as Proceedings OOPSLA '86, ACM SIGPLAN Notices, volume 21, number 11",} % A.3. IMPLEMENTATION @InProceedings{ wilson92, title = "Uniprocessor Garbage Collection Techniques",author = "Paul R. Wilson",booktitle = "1992 International Workshop on Memory Management (St. Malo, France, September 1992)",publisher = "Springer Verlag",year = "1992",} @Article{ chris84, title = "Reference Count Garbage Collection",author = "Thomas W. Christopher",journal = spe,month = jun,year = "1984",} @Article{ spector82, title = "Minimal Overhead Garbage Collection of Complex List Structure",author = "David Spector",journal = sigplan,month = mar,year = "1982",} @TechReport{ zeil85, title = "Rootless Age-based Compacting Garbage Collection Using Reference Counts",author = "Steven J. Zeil",institution = "Old Dominion University",year = "1985",} @Article{ Goldberg92, title = "Polymorphic Type Reconstruction for Garbage Collection without Tags",author = "B. Goldberg and M. Gloger",journal = "ACM LISP Pointers",volume = "5",number = "1",pages = "53--65",year = "1992",ISBN = "0-89791-481-3", note = "Proceedings of the 1992 ACM Conference on LISP and Functional Programming",} @InProceedings{ chase87, title = "An Improvement to Bottom-up Tree Pattern Matching",author = "David R. Chase",booktitle = popl14,address = "Munich, Germany",year = "1987",month = jan,pages = "168--177",} @Article{ goldberg91, title = "Tag-Free Garbage Collection for Strongly Typed Programming Languages",author = "Benjamin Goldberg",pages = "165--176",journal = sigplan,year = "1991",month = jun,volume = "26",number = "6",note = pldi91,} @Article{ hieb90, title = "Representing Control in the Presenceof First-Class Continuations",author = "Robert Heib and R. Kent Dybvig and Carl Bruggeman",pages = "66--77",journal = sigplan,year = "1990",month = jun,volume = "25",number = "6",note = pldi90,} @Article{ topor82, title = "A note on error recovery in recursive descent parsers",author = "Rodney W. Topor",journal = sigplan,month = feb,year = "1982",} @Article{ auguston90, title = "Programming language {RIGAL} as a compiler writing tool",author = "M. I. Auguston",journal = sigplan,month = dec,year = "1990",} @InProceedings{ kelsey89, title = "Realistic Compilation by Program Transformation",author = "Richard Kelsey and Paul Hudak",booktitle = popl16,address = "Austin, Texas",year = "1989",month = jan,pages = "281--292",} @InProceedings{ lee87, title = "A Realistic Compiler Generator Based on High-Level Semantics",author = "Peter Lee and Uwe Pleban",booktitle = popl14,address = "Munich, Germany",year = "1987",month = jan,pages = "284--295",} @Article{ chao88, title = "Denotational semantics for program analysis",author = "Shan-Jon Chao and Barrett R. Bryant",journal = sigplan,volume = "23",number = "1",pages = "83--91",month = jan,year = "1988",ISSN = "0362-1340",} @Article{ chase90, title = "Analysis of Pointers and Structures",author = "David R. Chase and Mark Wegman and F. Kenneth Zadeck",pages = "296--310",journal = sigplan,year = "1990",month = jun,volume = "25",number = "6",note = pldi90,} @Article{ machanick86, title = "Are {LR} parsers too powerful?",author = "P. Machanick",journal = sigplan,volume = "21",number = "6",pages = "35--40",month = jun,year = "1986",ISSN = "0362-1340",} % A.4. TYPING, FEATURES, LANGUAGE DESIGN, 1ST CLASS ENV ETC. @Article{ cardelli87, title = "Basic Polymorhic Typechecking",author = "Luca Cardelli",journal = "Science of Computer Programming",month = apr,year = "1987",} @Article{ cardelli85, title = "On Understanding Types, Data Abstraction, and Polymorphism",author = "Luca Cardelli and Peter Wegner",journal = compsurv,volume = "17",number = "4",pages = "471--522",month = dec,year = "1985",ISSN = "0360-0300-85",annote = "Ada examples, full set of type inference rules.",review = "ACM CR 8703-0173",} @Article{ matthews85, title = "{Poly} manual",author = "D. C. J. Matthews",journal = sigplan,volume = "20",number = "9",pages = "52--76",month = sep,year = "1985",} @TechReport{ cardelli86, title = "A Polymorphic $\lambda$ - calculus with {Type:Type}",author = "Luca Cardelli",institution = "DEC SRC",year = "1986",} @Article{ harland85, title = "An alternative view of polymorhism",author = "M. {Harland, et al.}",journal = sigplan,month = oct,year = "1985",} @Book{ nord90, title = "Programming in {Martin-L{\"o}fs} Type Theory",author = "B. Nordstr{\"o}m and K. Petersson and J. M. Smith",publisher = "Clarendon Press",year = "1990",} @InProceedings{ weise93, title = "Programmable Syntax Macros",author = "D. Weise and R. Crew",booktitle = pldi93,month = jun,year = "1993",} @InProceedings{ rouaix90, title = "Safe Run-time Overloading",author = "Fran\c{c}ois Rouaix",booktitle = popl17,address = "San Francisco, California",year = "1990",month = jan,pages = "355--366",} @InProceedings{ parker89, title = "Partial Order Programming",author = "D. Stott Parker",booktitle = popl16,address = "Austin, Texas",year = "1989",month = jan,pages = "260--266",} @InProceedings{ johnson88, title = "Stores and Partial Continuations as First-Class Objects in a Language and its Environment",author = "Gregory F. Johnson and Dominic Duggan",booktitle = popl15,address = "San Diego, California",year = "1988",month = jan,pages = "158--168",} @Article{ marcus85, title = "Generalized inheritance",author = "R. Marcus",journal = sigplan,volume = "20",number = "11",pages = "47--48",month = nov,year = "1985",} @TechReport{ freeman, title = "The Design and Implementation of Kaleidoscope'90, A Constraint Imperative Programming Language",author = "B. N. {Freeman-Benson} and A. Borning",institution = "University of Victoria",} @Book{ gelernter, title = "Programming Linguistics",author = "David Gelernter and Suresh Jagannathan",} @Article{ cohen85, title = "Information sharing",author = "A. T. Cohen and T. J. Myers",journal = sigplan,volume = "20",number = "9",pages = "27--31",month = sep,year = "1985",} @InProceedings{ gelernter87a, title = "Environments as First Class Objects",author = "David Gelernter and Suresh Jagannathan and Thomas London",booktitle = popl14,address = "Munich, Germany",year = "1987",month = jan,pages = "98--110",} @InProceedings{ gelernter87b, title = "Parallelism, persistence and meta-cleanliness in the symmetric {Lisp} interpreter",author = "D. Gelernter and S. Jagannathan and T. London",booktitle = "Proceedings of the {SIGPLAN} '87 Symposium on Interpreters and Interpretive Techniques, {St. Paul, Minnesota}, {June} 24--26, 1987",pages = "274--282",year = "1987",series = "Published as ACM SIGPLAN Notices",} @Article{ dunlavey85, title = "A progress report on {D}, a compiled language featuring continuations",author = "M. R. Dunlavey",journal = sigplan,volume = "20",number = "5",pages = "8--15",month = may,year = "1985",} @InProceedings{ dearle, title = "Environments: A flexible binding mechanism to support system evolution",author = "Alan Dearle",booktitle = "Proc. 22nd International Conference on Systems Sciences",} % A.5. CONCURRENCY @Book{ carriero90a, title = "How to Write Parallel Programs: a First Course",author = "Nicholas Carriero and David Gelernter",year = "1990",publisher = "The MIT Press",} @TechReport{ lakos94, title = "LOOPN++: A New Language for Object-Oriented Petri Nets",author = "C.A. Lakos and C.D. Keen",institution = "University of Tasmania",year = "1994",} @TechReport{ narem89, title = "An Informal Operational Semantics of {C-Linda V2.3.5}",author = "James E. {Narem Jr.}",institution = "Yale University",year = "1989",} @InCollection{ cian90, title = "Blackboard Programming in {Shared ProLog}",author = "Paolo Ciancarini",booktitle = "Languages and Compilers for Parallel Computing",editor = "A. Nicolau D. Gelernter and D. Padua",publisher = "Pitman",year = "1990",} @InCollection{ carriero90b, title = "Tuple Analysis and Partial Evaluation Strategies in the Linda Precompiler",author = "Nicholas Carriero and David Gelernter",booktitle = "Languages and Compilers for Parallel Computing",editor = "A. Nicolau D. Gelernter and D. Padua",publisher = "Pitman",year = "1990",} @InProceedings{ ramakrishn90, title = "Parallelism in Logic Programs",author = "Raghu Ramakrishnan",booktitle = popl17,address = "San Francisco, California",year = "1990",month = jan,pages = "246--260",} @InProceedings{ carriero86, title = "Distributed Data Structures in {Linda}",author = "Nicholas Carriero and David Gelernter and Jerry Leichter",booktitle = popl13,address = "St.~Petersburg Beach, Florida",year = "1986",month = jan,pages = "236--242",} % A.6. LOGIC PROGRAMMING, TERM REWRITING, DATA COMPRESSION @Article{ hentenryck94, title = "Type Analysis of {Prolog} using Type Graphs",author = "Pascal Van Hentenryck and Agostino Cortesi and Baudouin Le Charlier",pages = "337--348",journal = sigplan,year = "1994",month = jun,volume = "29",number = "6",note = pldi94,} @Article{ roy94, title = "1983--1993: The wonder years of sequential {ProLog} implementation",author = "Peter van Roy",journal = logprog,year = "1994",} @InProceedings{ hickey89, title = "{CLP*} and Constraint Abstraction",author = "Timothy J. Hickey",booktitle = popl16,address = "Austin, Texas",year = "1989",month = jan,pages = "125--133",} @Book{ archsymb, title = "The Architecture of Symbolic Computers (The Prolog Inference Engine / The Warren Abstract Machine)",key = "ArchSym",} @TechReport{ sherman90d, title = "Partial Evaluation of Intermediate Code from Equational Programs",author = "David Sherman and Robert Strandh",institution = "University of Chicago",year = "1990",} @TechReport{ sherman90c, title = "Lazy Directed Congruence Closure",author = "David J. Sherman",institution = "University of Chicago",year = "1990",} @TechReport{ sherman90a, title = "An Abstract Machine for Efficient Implementation of Term Rewriting",author = "David Sherman and Robert Strandh",institution = "University of Chicago",year = "1990",} @TechReport{ bellegarde, title = "A Transformation System Combining Partial Evaluation with Term Rewriting",author = "F. Bellegarde",institution = "Oregon Graduate Institute of Science \& Technology",year = "1991",} @TechReport{ sherman90b, title = "Sharing Common Subexpressions in {EM} code Programs",author = "David J. Sherman",institution = "University of Chicago",year = "1990",} @TechReport{ sherman, title = "Optimization of Equational Programs Using Partial Evaluation",author = "David Sherman and Robert Strandh and Irene Durand",institution = "University of Chicago",} @Article{ witten87, title = "Arithmic Coding for Data Compression",author = "I. H. Witten and R. M. Neal and J. G. Cleary",journal = cacm,month = jun,year = "1987",} @TechReport{ burrows94, title = "A Block-sorting Lossless Data Compression Algorithm",author = "M. Burrows and D. J. Wheeler",institution = "DEC SRC",year = "1994",} % A.7. VISUAL PROGRAMMING, ALIFE, VARIOUS @TechReport{ mcwhirther93, title = "Escalante: An Environment for the Rapid Construction of Visual Language Applications",author = "J. D. McWhirter and G. J. Nutt",year = "1993",} @Article{ hils92, title = "Visual Languages and Computing Survey: Data Flow Visual Programming Languages",author = "Daniel D. Hils",journal = "Journal of Visual Languages and Computing",month = "3",year = "1992",} @Article{ smith94, title = "{KidSim}: Programming Agents without a Programming Language",author = "D. C. Smith and A. Cypher and J. Spohrer",journal = cacm,month = jul,year = "1994",} @InProceedings{ lafont90, title = "Interaction Nets",author = "Yves Lafont",booktitle = popl17,address = "San Francisco, California",year = "1990",month = jan,pages = "95--108",} @TechReport{ reynolds94, title = "Evolution of Corridor Following Behaviour in a Noisy World",author = "Craig W. Reynolds",institution = "Electronic Arts",year = "1994",} @TechReport{ banzhaf93, title = "Genetic Programming for Pedestrians",author = "Wolfgang Banzhaf",institution = "Mitsubishi Electric Research Laboratories",year = "1993",} @InProceedings{ sims94b, title = "Evolving {3D} Morphology and Behaviour by Competition",author = "Karl Sims",booktitle = "Artificial Life IV Proceedings",year = "1994",} @Article{ sims94, title = "Evolving Virtual Creatures",author = "Karl Sims",journal = "Computer Graphics, Annual Conference Series, (SIGGRAPH '94 Proceedings)",month = jul,year = "1994",} @Article{ peytonj93, title = "How to give a good research talk",author = "Simon L. {Peyton Jones} and John Hughes and John Launchbury",journal = sigplan,volume = "28",number = "11",month = nov,year = "1993",} % B. UFO NOMADS @TechReport{ sargeant, title = "Uniting functional and object-oriented programming",author = "J. Sargeant",institution = "Univ. of Manchester",year = "1994",} @InProceedings{ Wadler90, title = "Comprehending Monads",author = "P. L. Wadler",booktitle = "Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice",pages = "61--78",publisher = "ACM",address = "New York, NY",year = "1990",} @InProceedings{ Wadler92a, title = "The Essence of Functional Programming",author = "P. L. Wadler",booktitle = "Proceedings of the 19th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, NM",pages = "1--14",year = "1992",} @Article{ launchbury94, title = "Lazy Functional State Threads",author = "John Launchbury and Simon L. Peyton Jones",pages = "24--35",journal = sigplan,year = "1994",month = jun,volume = "29",number = "6",note = pldi94,} @InProceedings{ peytonj93b, title = "Imperative Functional Programming",author = "Simon L. Peyton Jones and Philip Wadler",pages = "71--84",booktitle = popl20,address = "Charleston, South Carolina",year = "1993",month = jan,} @InProceedings{ King92, title = "Combining Monads",author = "D. King and P. L. Wadler",editor = "J. Launchbury and P. M. Sansom",booktitle = "Workshop on Functional Programming, Ayr",publisher = "Springer-Verlag",address = "New York, NY",year = "1992",note = "Springer-Verlag Workshops in Computing",} % C. SELF REF @TechReport{ selfref, title = "The {SELF} Programmer's Reference Manual",author = "The SELF Group",institution = "Sun Microsystems, Stanford University (ftp)",year = "1992",} @TechReport{ selfuse, title = "How to Use {SELF} 2.0",author = "Ole {Agesen et al.}",institution = "Sun Microsystems, Stanford University (ftp)",year = "1992",} % D. EIFFEL, LIBS, OO, CONCURRENCY, MULTIPLE-INH, SELF PAPERS @Article{ Meyer90, title = "Lessons from the Design of the {Eiffel} Libraries",author = "B. Meyer",journal = cacm,volume = "33",number = "9",pages = "68--89",month = sep,year = "1990",} @Article{ Meyer93, title = "Systematic Concurrent Object-Oriented Programming",author = "Bertrand Meyer",journal = cacm,volume = "36",number = "9",pages = "56--89",month = sep,year = "1993",} @Article{ caromel93, title = "Toward a method of Object-Oriented Concurrent Programming", author = "Denis Caromel", journal = cacm, month = sep, year = "1993" } @Article{ templ93, title = "A systematic approach to Multiple Inheritance implementation", author = "J. Templ", journal = sigplan, month = apr, year = "1993" } @Article{ Ponder92, title = "Polymorphism Considered Harmful", author = "Carl Ponder and Bill Bush", journal = sigplan, month = jun, year = "1992" } @InProceedings{ Case93b, title = "Efficient Handling of Multiple Inheritance Hierarchies",author = "Yves Caseau",booktitle = "Proceedings OOPSLA '93, ACM SIGPLAN Notices",pages = "271--287",month = oct,year = "1993",note = "Published as Proceedings OOPSLA '93, ACM SIGPLAN Notices, volume 28, number 10",} @Article{ ungar91, title = "Self: The power of simplicity",author = "Ungar, Smith",journal = "Lisp and Symbolic Computation: An International Journal",month = apr,year = "1991",} @Article{ chambers91a, title = "Parents are Shared Parts of Objects: Inheritance and Encapsulation in {SELF}",author = "Craig Chambers and David Ungar and Bay-Wei Chang and Urs H{\"o}lzle",journal = "Lisp and Symbolic Computation: An International Journal",month = apr,year = "1991",} @Article{ chambers91b, title = "Organizing Programs Without Classes",author = "Craig Chambers and David Ungar and Bay-Wei Chang and Urs H{\"o}lzle",journal = "Lisp and Symbolic Computation: An International Journal",month = apr,year = "1991",} @InProceedings{ cham89a, title = "An Efficient Implementation of {SELF} -- a Dynamically-Typed Object-Oriented Language Based on Prototypes",author = "Craig Chambers and David Ungar and Elgin Lee",booktitle = "Proceedings OOPSLA '89, ACM SIGPLAN Notices",pages = "49--70",month = oct,year = "1989",} @TechReport{ chang, title = "Experiencing {SELF} Objects: An Object-Based Artificial Reality", author = "Bay-Wei Chang and David Ungar", institution = "Stanford University", } % E. PROLOG IMPL, OLDER PAPERS @Book{ camp84a, title = "Implementations of Prolog", editor = "J. A. Campbell", series = "Series in Artificial Intelligence", publisher = "Ellis Horwood", year = "1984", keywords = "prolog" } @TechReport{ cardelli89a, title = "{Modula-3} Report (revised)",author = "Luca Cardelli and James Donahue and Mick Jordan and Bill Kalsow and Greg Nelson",institution = "DEC SRC",number = "52",month = nov,year = "1989",} @Article{ cohen90, title = "Constraint Logic Programming Languages",author = "J. Cohen",journal = cacm,volume = "33",number = "7",pages = "52--68",month = jul,year = "1990",} @Article{ colmerauer90, title = "An Introduction to Prolog {III}",author = "A. Colmerauer",journal = cacm,volume = "33",number = "7",pages = "69--91",month = jul,year = "1990",} @InCollection{ hanus88, title = "Formal Specification of a Prolog Compiler",author = "Michael Hanus",editor = "Pierre Deransart and Bernard Lorho and Jan Maluszynski",booktitle = "Programming Languages Implementation and Logic Programming",volume = "348",series = "Lecture Notes in Computer Science",pages = "273--282",publisher = "Springer-Verlag",address = "New York--Heidelberg--Berlin",month = may,year = "1988",note = "Orl{\'e}ans",} @InProceedings{ barklund87, title = "Efficient interpretation of {Prolog} programs",author = "J. Barklund",booktitle = iit87,pages = "132--137",year = "1987",series = "Published as ACM SIGPLAN Notices",} @InProceedings{ krall87, title = "Implementation of a high-speed {Prolog} interpreter",author = "A. Krall",booktitle = iit87,pages = "125--131",year = "1987",series = "Published as ACM SIGPLAN Notices",} @Article{ bekkers, title = "Real-time memory management for ProLog", author = "Yves Bekkers and Lucien Ungaro" } @Article{ carriero89, title = "{Linda} in Context",author = "Nicholas Carriero and David Gelernter",journal = cacm,volume = "32",number = "4",pages = "444--458",month = apr,year = "1989",} @Book{ occam, title = "{occam 2} Reference Manual", author = "{INMOS} Limited", publisher = "Prentice Hall", year = "1988" } @Book{ bal90, title = "Programming Distributed Systems", author = "Henri Bal", publisher = "Prentice Hall", year = "1990" } @TechReport{ mueller92, title = "Register Allocation by Graph Coloring: A Review", author = "Frank Mueller", institution = "Florida State University", year = "1992" } @Book{ motoref, title = "{M68000} Family Programmer's Reference Manual", publisher = "Motorola" } @Book{ algplants90, title = "The Algorithmic Beauty of Plants", author = "P. Prusinkiewicz and A. Lindenmayer", publisher = "Springer-Verlag", year = "1990" } % Z. VARIOUS @Article{ baker92, title = "Lively Linear Lisp -- 'Look Ma, No Garbage!'", author = "Henry G. Baker", journal = sigplan, month = aug, year = "1992" } @Article{ baker93, title = "Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same", author = "Henry G. Baker", journal = "ACM OOPS Messenger", month = oct, year = "1993" } @Article{ baker94, title = "'Use-Once' Variables and Linear Objects -- Storage Management, Reflection and Multi-Threading", author = "Henry G. Baker", journal = sigplan, month = sep, year = "1994" } @Book{ odonnel85, title = "Equational logic as a programming language",author = "Michael J. O'Donnell",publisher = "MIT Press series in the foundations of computing",year = "1985",} @Article{ clinger91, title = "Revised(4) Report on the Algorithmic Language Scheme",author = "W. Clinger, J. Rees",journal = lispp,month = jul,year = "1991",} @TechReport{ omohundro94, title = "The Sather 1.0 Specification",author = "S. Omohundro, D. Stoutamire",institution = "ICSI Berkeley",year = "1994",} @Book{ stroustrup91, title = "The C++ programming language",author = "Bjarne Stroustrup",publisher = "Addison-Wesley",year = "1991",} @TechReport{ ada9x, title = "Annotated Ada Reference Manual v6.0 (ISO 8652:1987)",author = "W. Carlson, T. {Taft et al.}",institution = "U.S. Government",year = "1985",} @Book{ goldberg83, title = "Smalltalk 80: The Language and its Implementation",author = "A. Goldberg and D. Robsen",publisher = "Addison-Wesley",year = "1983",} @TechReport{ mccarthy65, title = "{LISP} 1.5 Programmer's Manual", author = "J. {McCarthy et al.}", institution = "The MIT Press", year = "1965" } @Book{ henderson80, title = "Functional Programming: Applications and Implementation", author = "Peter Henderson", publisher = "Prentice-Hall", year = "1980" } @Book{ bird88, title = "Introduction to Functional Programming", author = "Richard Bird and Philip Wadler", publisher = "Prentice Hall", year = "1988" } @Article{ milner78, title = "A Theory of Type Polymorphism in Programming", author = "R. Milner", journal = "Journal of Computer and System Sciences", volume = "17", pages = "348--375", year = "1978" } @Book{ milner90, title = "The Definition of Standard {ML}", author = "R. Milner and M. Tofte and R. Harper", publisher = "MIT Press", address = "Cambridge, MA", year = "1990", ISBN = "0-262-63132-6" } @TechReport{ amigae, title = "Amiga {E} v3.2a Reference Manual", author = "{Wouter van} Oortmerssen", institution = "ftp from ftp.wustl.edu (/pub/aminet/dev/e/)", year = "1993" } @TechReport{ oofaq, title = "comp.object FAQ", author = "Bob Hathaway", institution = "Geodesic Systems", year = "1993" } @Book{ rkrmlibiff, title = "{AMIGA} {ROM} Kernal Reference Manual: Libraries (3rd ed.)", author = "Commodore Amiga Inc.", pages = "777--810", publisher = "Addison Wesley", year = "1992" } @Article{ Backus78, author = "John Backus", title = "Can Programming Be Liberated From the {von Neumann} Style? {A} Functional Style and its Algebra of Programs", journal = "Communications of the ACM", volume = "21", number = "8", pages = "613--641", month = aug, year = "1978",} %---------------------------------------------- @Article{ x, title = "X", author = "X", journal = "X", month = may, year = "199?" } @InProceedings{ y, title = "Y", author = "Y", booktitle = "Y", year = "199?" } @Book{ z, title = "Z", author = "Z", publisher = "Z", year = "199?" } @InCollection{ w, title = "W", author = "W", booktitle = "W", publisher = "W", year = "199?" } @TechReport{ v, title = "v", author = "v", institution = "v", year = "199?" }