Home
Teaching
 
CS G369 '04
General
Texts
Schedule
Communication

Texts

This page will contain bibtex entries for all the papers we are covering in this course.

bibtex abbreviations
  • Apr 12: Analysis and Proof

    @TechReport{FlanaganFelleisen95,
      author =       {Cormac Flanagan and Matthias Felleisen},
      title =        {Set-based analysis for full scheme and its use in
                      soft-typing},
      institution =  {Department of Computer Science, Rice University},
      year =         {1995},
      number =       {COMP TR95-253},
    }
    
    @InProceedings{WandWilliamson02,
      author =       {Mitchell Wand and Galen B. Williamson},
      title =        {A Modular, Extensible Proof Method for Small-step Flow Analyses},
      editor    = {Daniel Le M{\'e}tayer},
      booktitle     = {Programming Languages and Systems, 11th European Symposium on
                   Programming, ESOP 2002, Proceedings},
      publisher = springer,
      series    = {Lecture Notes in Computer Science},
      volume    = {2305},
      year      = {2002},
      pages =        {213-227},
    }
    
  • Apr 12: Boxes and Lines

    
    Missing in action: Greg
    
    
  • Apr 12: Metaframeworks

    @inproceedings{ Pfenning96,
        author = "Frank Pfenning",
        title = "The Practice of Logical Frameworks",
        booktitle = "Proceedings of the Colloquium on Trees in Algebra and
    Programming",
        publisher = "Springer-Verlag LNCS 1059",
        address = "Link{\"o}ping, Sweden",
        editor = "H{\'e}l{\`e}ne Kirchner",
        pages = "119--134",
        year = "1996",
        url = "citeseer.ist.psu.edu/pfenning96practice.html"
    }
    
    @InBook{Pfenning01,
      author = 	 {Frank Pfenning},
      editor = 	 {Alan Robinson and Andrei Voronkov},
      title = 	 {Handbook of Automated Reasoning},
      chapter = 	 {17},
      publisher = 	 {Elsevier Science and MIT Press},
      year = 	 {2001},
      pages = 	 {1063--1147},
    }
    
    @incollection{Harper87,
        author = "Robert Harper and Furio Honsell and Gordon Plotkin",
        title = "A Framework for Defining Logics",
        booktitle = "Proceedings 2nd Annual {IEEE} Symp.\ on Logic in Computer
    Science, {LICS}'87, Ithaca, {NY}, {USA}, 22--25 June 1987",
        publisher = "IEEE Computer Society Press",
        address = "New York",
        pages = "194--204",
        year = "1987",
        url = "citeseer.ist.psu.edu/harper87framework.html"
    }
    
    
    
  • Apr 5: Theorem Provers, Second Generation

    @Article{Robinson65,
      author = 	 {J. A. Robinson},
      title = 	 {A machine-oriented logic based on the resolution
    principle},
      journal = 	 {J ACM},
      year = 	 {1965},
      volume = 	 {12},
      pages = 	 {23--41}
    }
    
    @Article{Bledsoe77,
      author = 	 {W. W. Bledsoe},
      title = 	 {Non-resolution Theorem Proving},
      journal = 	 {Artifical Intelligence},
      year = 	 {1977},
      volume = 	 {9},
      pages = 	 {1--35}
    }
    
    @InProceedings{Plotkin72,
      author = 	 {Gordon D. Plotkin},
      title = 	 {Building-in Equational Theories},
      booktitle = {Machine Intelligence},
      pages = 	 {73--90},
      year = 	 {1972},
      editor = 	 {D. Michie and B. Meltzer},
      volume = 	 {7},
      publisher = {Edinburgh University Press}
    }
    
    @Article{Burstall69,
      author = 	 {R.M. Burstall},
      title = 	 {Proving properties of programs by structural induction},
      journal = 	 {Computer Journal},
      year = 	 {1969},
      volume = 	 {12},
      pages = 	 {41--48}
    }
    
    @Article{BoyerMoore75,
      author = 	 {Robert S. Boyer and J Strother Moore},
      title = 	 {Proving Theorems About LISP Functions},
      journal = 	 {J ACM},
      year = 	 {1975},
      volume = 	 {22},
      number = 	 {1},
      pages = 	 {129--144}
    }
    
    
  • Apr 5: Environmental Acquisition

    @inproceedings{gil-96-environmental,
        author = "Joseph Gil and David H. Lorenz",
        title = "Environmental acquisition: a new inheritance-like
            abstraction mechanism",
        booktitle = "Proceedings of the Eleventh Annual Conference on
            Object-Oriented Programming Systems, Languages, and Applications",
        year = 1996,
        isbn = "0-89791-788-X",
        pages = "214--231",
        location = "San Jose, California, United States",
        doi = "\url{http://doi.acm.org/10.1145/236337.236358}",
        publisher = "ACM Press",
    }
    
    @inproceedings{logan-02-environmental,
        author = "Mark Logan and Matthias Felleisen and David Blank-Edelman",
        title = "Environmental Acquisition in Network Management",
        booktitle = "Proceedings of {LISA} 2002: Sixteenth Systems
            Administration Conference",
        year = 2002,
        pages = "175--184",
        publisher = "USENIX Association",
        location = "Philadelphia, PA, USA",
        url = "\url{http://www.usenix.org/publications/library/
            proceedings/lisa02/tech/logan.html}",
    }
    
    @book{latteier-01-zope,
        author = "Amos Latteier and Michel Pelletier and Chris McDonough and
            Peter Sabaini",
        title = "The {Zope} Book",
        publisher = "SAMS",
        year = 2001,
        isbn = 0735711372,
        note = "Also available on-line at
            \url{http://zope.org/Documentation/Books/ZopeBook}",
    }
    
    @misc{mcdonough-04-zope,
        author = "Chris McDonough and Michel Pelletier and Shane Hathaway",
        title = "The {Zope} Developer's Guide (2.4 Edition)",
        year = 2004,
        howpublished = "\url{http://www.zope.org/Documentation/Books/ZDG/}",
    }
    
  • Apr 5: Stepping

    
    
    Missing in action: Ryan
    
    
    
  • Mar 29: Polytypic Programming

    @incollection{ jeuring96polytypic,
        author = "Johan Jeuring and Patrik Jansson",
        title = "Polytypic Programming",
        booktitle = "Tutorial Text 2nd Int.\ School on Advanced Functional Programming, Olympia, {WA}, {USA}, 26--30 Aug 1996",
        volume = "1129",
        publisher = "Springer-Verlag",
        address = "Berlin",
        editor = "J. Launchbury and E. Meijer and T. Sheard",
        pages = "68--114",
        year = "1996",
        url = "citeseer.ist.psu.edu/jeuring96polytypic.html" }
    
    @inproceedings{janssonjeuring1997a,
     author      ="P. Jansson and J. Jeuring",
     title       ="Poly{P} - a polytypic programming language extension",
     booktitle   ="{POPL} '97: The 24th {ACM SIGPLAN-SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages", 
     publisher   ="ACM Press",
     pages       ="470--482", 
     year        ="1997",
     documentURL ="http://www.cs.chalmers.se/~patrikj/poly/polypPOPL97/"
    }
    
    @incollection{ meijer95bananas,
        author = "Erik Meijer and Graham Hutton",
        title = "Bananas in Space: Extending Fold and Unfold to Exponential Types",
        booktitle = "Conf.\ Record 7th {ACM} {SIGPLAN}/{SIGARCH} and {IFIP} {WG} 2.8 Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'95, La Jolla, San Diego, {CA}, {USA}, 25--28 June 1995",
        publisher = "ACM Press",
        address = "New York",
        pages = "324--333",
        year = "1995",
        url = "citeseer.ist.psu.edu/293490.html" }
    
    @inproceedings{ jeuring95polytypic,
        author = "Johan Jeuring",
        title = "Polytypic Pattern Matching",
        booktitle = "Functional Programming Languages and Computer Architecture",
        pages = "238-248",
        year = "1995",
        url = "citeseer.ist.psu.edu/jeuring95polytypic.html" }
    
    @inproceedings{ jay94shapely,
        author = "C. Barry Jay and J. R. B. Cockett",
        title = "Shapely Types and Shape Polymorphism",
        booktitle = "Programming Languages and Systems --- Proc. 5th European Symp. Programming, {ESOP}",
        number = "778",
        month = "11--13~",
        publisher = "Springer-Verlag",
        editor = "D. Sannella",
        pages = "302--316",
        year = "1994",
        url = "citeseer.ist.psu.edu/jay94shapely.html" }
    
    @inproceedings{meijer91barbedwire,
     author = {Erik Meijer and Maarten Fokkinga and Ross Paterson},
     title = {Functional programming with bananas, lenses, envelopes and barbed wire},
     booktitle = {Proceedings of the 5th ACM conference on Functional programming languages and computer architecture},
     year = {1991},
     isbn = {0-387-54396-1},
     pages = {124--144},
     location = {Cambridge, Massachusetts, United States},
     publisher = {Springer-Verlag New York, Inc.},
     }
    
    
    
    
  • Mar 29: Compilers from Attribute Grammars

    @Book{Kastens82,
      author =       "Uwe Kastens and Brigitte Hutt and Erich Zimmermann",
      title =        "{GAG}: {A} Practical Compiler Generator",
      series =       "Lecture Notes in Computer Science",
      volume =       "141",
      publisher =    "Springer-Verlag",
      address =      "New York--Heidelberg--Berlin",
      year =         "1982",
      keywords =     "syst.GAG"
    }
    
    @InCollection{Kaiser86,
      author =       "Gail E. Kaiser",
      title =        "Generation of Run-time Environments",
      booktitle =    "ACM SIGPLAN '86 Symp. on Compiler Construction",
      publisher =    "ACM press",
      pages =        "51--57",
      address =      "Palo Alto, CA",
      month =        jun,
      year =         "1986",
      keywords =     "applic.edit",
      mynote =       "{\'E}tend les GAs avec des regles semantiques
                     commandees par des evenements, de facon a decrire la
                     semantique dynamique d'un langage et pouvoir construire
                     automatiquement un environnement d'execution. (mj)",
      note =         "Published as ACM SIGPLAN Notices, volume 21, number
                     7",
      abstract =     "Attribute grammars have been used for many years for
                     automated compiler construction. Attribute grammars
                     support the description of semantic analysis, code
                     generation and some code optimization in a formal
                     declarative style. Other tools support the automation
                     of lexical analysis and parsing. However, there is one
                     large part of compiler construction that is missing
                     from our toolkit: run-time environments. This paper
                     introduces an extension of attribute grammars that
                     supports the generation of run-time environments. The
                     extension also supports the generation of interpreters,
                     symbolic debugging tools, and other execution-time
                     facilities.",
    }
    
    @InCollection{Ganapathi82,
      author =       "Mahadevan Ganapathi and Charles N. Fischer",
      title =        "Description-driven Code Generation using Attribute Grammars",
      booktitle =    "9th ACM Symp. on Principles of Progr. Languages",
      publisher =    "ACM press",
      pages =        "108--119",
      address =      "Albuquerque, NM",
      month =        jan,
      year =         "1982",
      keywords =     "applic.GC",
    }
    
    @inproceedings{91978,
     author = {Donald E. Knuth},
     title = {The genesis of attribute grammars},
     booktitle = {Proceedings of the international conference on Attribute grammars and their applications},
     year = {1990},
     isbn = {0-387-53101-7},
     pages = {1--12},
     location = {Paris, France},
     publisher = {Springer-Verlag New York, Inc.}
     }
    
    @inproceedings{808247,
     author = {Thomas Reps and Tim Teitelbaum},
     title = {The synthesizer generator},
     booktitle = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
     year = {1984},
     isbn = {0-89791-131-8},
     pages = {42--48},
     doi = {http://doi.acm.org/10.1145/800020.808247},
     publisher = {ACM Press},
     }
    
    @inproceedings{582164,
     author = {Rodney Farrow},
     title = {Experience with an attribute grammar-based compiler},
     booktitle = {Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1982},
     isbn = {0-89791-065-6},
     pages = {95--107},
     location = {Albuquerque, Mexico},
     doi = {http://doi.acm.org/10.1145/582153.582164},
     publisher = {ACM Press},
     }
    
    @inproceedings{806991,
     author = {Kai Koskimies and Kari-Jouko Rih and Matti Sarjakoski},
     title = {Compiler construction using attribute grammars},
     booktitle = {Proceedings of the 1982 SIGPLAN symposium on Compiler construction},
     year = {1982},
     isbn = {0-89791-074-5},
     pages = {153--159},
     location = {Boston, Massachusetts, United States},
     publisher = {ACM Press},
     }
    
    @article{362902,
     author = {Jerome Feldman and David Gries},
     title = {Translator writing systems},
     journal = {Commun. ACM},
     volume = {11},
     number = {2},
     year = {1968},
     issn = {0001-0782},
     pages = {77--113},
     doi = {http://doi.acm.org/10.1145/362896.362902},
     publisher = {ACM Press}
     }
    
  • Mar 29: Abstract Machines

    @phdthesis{wadsworth:thesis
      author = "Christopher P. Wadsworth", 
      title = "Semantics and Pragmatics of the Lambda-Calculus",
      school = "Oxford University", 
      year = "1971"}
    
    @inproceedings{turnerimpltechnique,
      author = "D. A. Turner", 
      title = "A new implementation technique for applicative
    languages", 
      booktitle = "Software - Practice and Experience",
      volume = "9",
      pages = "31--49",
      year = "1979"}
    
    @inproceedings{hughes:super,
      title = "Super Combinators---A New Implementation Method for Applicative Languages",
      author = "R. J. M. Hughes",
      booktitle = "Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming",
      pages = "1-10",
      address = "Pittsburgh",
      year = "1982"}
    
    @phdthesis{
      title = "Thesis part C: Efficient Compilation of Lazy Evaluation"
      name = "Thomas johnsson",
      school = "Chalmers",
      % Slightly improved version of paper in Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, 
      year = "1984"}
    
    
    @inproceedings{spinelessgmachine
        author = "Burn, G.L. and Peyton Jones, S.L. and Robson, J.D", 
        title = "The spineless G-machine" , 
        booktitle = "Proc. ACM Conf. on Lisp and Functional Programming",
        year ="1988",
        pages = "244-258"}
    
    @article{joneslazy92,
        author = "Simon Peyton Jones"
        titile = "Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine",  
        journal = "Journal of Functional Programming", 
        volume = "2(2)", 
        month = "April", 
        year = "1992", 
        pages = "127-202"}
    
    @inproceedings{nugmachine,
        author = "Augustsson, L. and Johnsson, T.", 
        title = "The n,G-machine: An abstract machine for parallel graph reduction"
        booktitle = "Proc. ACM Conf. on Functl. Prog. Langs. and C. Arch", 
        year = "1989", 
        pages = "202-213"}
    
  • Mar 25: Object-Oriented Reflection

    @Article{Maes:3krs,
      author =       "Pattie Maes",
      title =        "Concepts and experiments in computational reflection",
      journal =      "ACM SIG{\-}PLAN Notices",
      volume =       "22",
      number =       "12",
      pages =        "147--155",
      month =        dec,
      year =         "1987",
      CODEN =        "SINODQ",
      ISSN =         "0362-1340",
      bibdate =      "Sun Dec 14 09:15:17 MST 2003",
      acknowledgement = ack-nhfb,
      keywords =     "design; experimentation; languages; theory",
      subject =      "F.4.3 Theory of Computation, MATHEMATICAL LOGIC AND
                     FORMAL LANGUAGES, Formal Languages",
    }
    
    @inproceedings{Moon:Flavors,
     author = {David A. Moon},
     title = {Object-oriented programming with flavors},
     booktitle = {Conference proceedings on Object-oriented programming systems, languages and applications},
     year = {1986},
     isbn = {0-89791-204-7},
     pages = {1--8},
     location = {Portland, Oregon, United States},
     doi = {http://doi.acm.org/10.1145/28697.28698},
     publisher = {ACM Press},
     }
    
    @inproceedings{CommonLoops,
     author = {Daniel G. Bobrow and Kenneth Kahn and Gregor Kiczales and Larry Masinter and Mark Stefik and Frank Zdybel},
     title = {CommonLoops: merging Lisp and object-oriented programming},
     booktitle = {Conference proceedings on Object-oriented programming systems, languages and applications},
     year = {1986},
     isbn = {0-89791-204-7},
     pages = {17--29},
     location = {Portland, Oregon, United States},
     doi = {http://doi.acm.org/10.1145/28697.28700},
     publisher = {ACM Press},
     }
    
    @Article{Cointe:objvlisp,
      author =       "Pierre Cointe",
      title =        "Metaclasses are first class: {The ObjVlisp Model}",
      journal =      "ACM SIG{\-}PLAN Notices",
      volume =       "22",
      number =       "12",
      pages =        "156--162",
      month =        dec,
      year =         "1987",
      CODEN =        "SINODQ",
      ISSN =         "0362-1340",
      bibdate =      "Sun Dec 14 09:15:17 MST 2003",
      acknowledgement = ack-nhfb,
      keywords =     "languages; theory",
      subject =      "F.4.3 Theory of Computation, MATHEMATICAL LOGIC AND
                     FORMAL LANGUAGES, Formal Languages \\ D.3.1 Software,
                     PROGRAMMING LANGUAGES, Formal Definitions and Theory,
                     Semantics \\ D.3.2 Software, PROGRAMMING LANGUAGES,
                     Language Classifications, Smalltalk-80 \\ I.2.7
                     Computing Methodologies, ARTIFICIAL INTELLIGENCE,
                     Natural Language Processing, Language models",
    }
    
    @inproceedings{broit:classtalk,
     author = {J.-P. Briot and P. Cointe},
     title = {Programming with explicit metaclasses in Smalltalk-80},
     booktitle = {Conference proceedings on Object-oriented programming systems, languages and applications},
     year = {1989},
     isbn = {0-89791-333-7},
     pages = {419--431},
     location = {New Orleans, Louisiana, United States},
     doi = {http://doi.acm.org/10.1145/74877.74921},
     publisher = {ACM Press},
     }
    
    
    
    
    
  • Mar 25: Proof Carrying Code (PCC)

    @techreport{ yudidautomated,
        author = "Yuan Yu",
        title = "Automated Proofs of Object Code For a Widely Used Microprocessor",
        number = "CS-TR-93-09",
        url = "citeseer.nj.nec.com/article/yu92automated.html" }
    
    @inproceedings{ necula96safe,
        author = "George C. Necula and Peter Lee",
        title = "Safe Kernel Extensions Without Run-Time Checking",
        booktitle = "2nd Symposium on Operating Systems Design and Implementation ({OSDI} '96), October 28--31, 1996. Seattle, {WA}",
        publisher = "USENIX",
        address = "Berkeley, CA, USA",
        editor = "{USENIX}",
        pages = "229--243",
        year = "1996",
        url = "citeseer.nj.nec.com/necula96safe.html" }
    
    @inproceedings{ necula98design,
        author = "G. C. Necula and P. Lee",
        title = "The Design and Implementation of a Certifying Compiler",
        booktitle = "Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Prgramming Language Design and Implementation ({PLDI})",
        pages = "333--344",
        year = "1998",
        url = "citeseer.nj.nec.com/necula98design.html" }
    
  • Mar 25: TIL/TAL

    @inproceedings{tarditi96til,
    	author =    "D. Tarditi and G. Morrisett and P. Cheng and C. Stone and R. Harper and P. Lee",
    	title =	    "{TIL}: {A} Type-Directed Optimizing Compiler for {ML}",
    	booktitle = "Proc. {ACM} {SIGPLAN} '96 Conference on Programming Language Design and Implementation",
    	pages =	    "181--192",
    	year =	    "1996",
    	url =	    "citeseer.ist.psu.edu/tarditi95til.html" 
    }
    
    @InProceedings{morrisett96tilml,
    	author =      "G. Morrisett and D. Tarditi and P. Cheng and C. Stone and R. Harper and P. Lee",
    	title =       "The {TIL}/{ML} Compiler: Performance and Safety through Types",
    	Booktitle =   "1996 Workshop on Compiler Support for Systems Software",
    	month =	      feb,
    	year =        "1996",
    	url =         "citeseer.ist.psu.edu/morrisett96tilml.html" 
    }
    
    @InProceedings{harper95intentional,
    	key =          "R. Harper and G. Morrisett",
    	author =       "Robert Harper and Greg Morrisett",
    	title =        "Compiling Polymorphism Using Intentional Type
    			Analysis",
    	booktitle =    "22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming
    			Languages, San Francisco, Calif.",
    	month =        jan,
    	year =         "1995",
    	organization = "ACM",
    	address =      "New York, NY",
    	pages =        "130--141",
    	annote =       "53 references.",
    	url =	       "www.cs.cornell.edu/Info/People/jgm/papers/ip-popl.ps"
    }
    
    
    @article{morrisett99tal1,
    	author =  "Greg Morrisett and David Walker and Karl Crary and Neal Glew",
    	title =   "From {System F} to typed assembly language",
    	journal = "ACM Transactions on Programming Languages and Systems",
    	volume =  "21",
    	number =  "3",
    	pages =   "527--568",
    	year =    "1999",
    	url =     "citeseer.ist.psu.edu/article/morrisett98from.html" 
    }
    
    @InProceedings{grossman00tal,
    	Title =     "Scalable Certification for Typed Assembly Language",
    	Author =    "Dan Grossman and Greg Morrisett",
    	Booktitle = "2000 ACM SIGPLAN Workshop on Types in Compilation",
    	Address =   "Montreal, Canada",
    	Year =      "2000",
    	Month =     "September",
    	url =       "citeseer.ist.psu.edu/tarditi95til.html" 
    }
    
    
    
  • Mar 22: The CHAMs

    @inproceedings{96717,
     author = {Gerard Berry and Gerard Boudol},
     title = {The chemical abstract machine},
     booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1990},
     isbn = {0-89791-343-4},
     pages = {81--94},
     location = {San Francisco, California, United States},
     doi = {http://doi.acm.org/10.1145/96709.96717},
     publisher = {ACM Press},
     }
    
    
    @inproceedings{ pierce93typing,
        author = "Benjamin C. Pierce and Davide Sangiorgi",
        title = "Typing and Subtyping for Mobile Processes",
        booktitle = "Proceedings 8th {IEEE} Logics in Computer Science",
        address = "Montreal, Canada",
        pages = "376--385",
        year = "1993",
        url = "citeseer.ist.psu.edu/pierce96typing.html" }
    
    @phdthesis{ turner96polymorphic,
        author = "David N. Turner",
        title = "The Polymorphic Pi-Calculus: Theory and Implementation",
        year = "1996",
        url = "citeseer.ist.psu.edu/turner95polymorphic.html" }
    
    @inproceedings{ fournet96reflexive,
        author = "C\'edric Fournet and Georges Gonthier",
        title = "The Reflexive {CHAM} and the Join-Calculus",
        booktitle = "Proceedings of the 23rd {ACM} Symposium on Principles of Programming Languages",
        publisher = "ACM Press",
        pages = "372--385",
        year = "1996",
        url = "citeseer.ist.psu.edu/fournet95reflexive.html" }
        
        
    @inproceedings{ fournet96calculus,
        author = "C{\'e}dric Fournet and Georges Gonthier and Jean-Jacques L{\'e}vy and Luc Maranget and Didier R{\'e}my",
        title = "A Calculus of Mobile Agents",
        booktitle = "Proceedings of the 7th International Conference on Concurrency Theory ({CONCUR}'96)",
        publisher = "Springer-Verlag",
        pages = "406--421",
        year = "1996",
        url = "citeseer.ist.psu.edu/fournet96calculus.html" }
        
     @inproceedings{ riely98typed,
        author = "James Riely and Matthew Hennessy",
        title = "A Typed Language for Distributed Mobile Processes",
        booktitle = "Conference Record of {POPL} 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California",
        address = "New York, NY",
        pages = "378--390",
        year = "1998",
        url = "citeseer.ist.psu.edu/riely98typed.html" }
        
    @inproceedings{ cardelli98mobile,
        author = "Luca Cardelli and Andrew D. Gordon",
        title = "Mobile Ambients",
        booktitle = "Foundations of Software Science and Computation Structures: First International Conference, {FOSSACS '98}",
        publisher = "Springer-Verlag, Berlin Germany",
        year = "1998",
        url = "citeseer.ist.psu.edu/cardelli98mobile.html" }
        
    @inproceedings{ conchon99jocaml,
        author = "Sylvain Conchon and Fabrice Le Fessant",
        title = "Jocaml: Mobile Agents for {Objective-Caml}",
        booktitle = "First International Symposium on Agent Systems and Applications ({ASA}'99)/Third International Symposium on Mobile Agents ({MA}'99)",
        address = "Palm Springs, CA, USA",
        year = "1999",
        url = "citeseer.ist.psu.edu/conchon99jocaml.html" }
    
    
    
  • Mar 22: Little Languages

    @technical-report{felleisen,
      author = "Matthas Felleisen",
      title = "Transliterating Prolog into Scheme",
      month = "October",
      year = 1985}
    
    @article{bentley,
      author = "Jon Bentley",
      title = "Programming pearls: Little Languages",
      journal = "Communications of the ACM",
      volume = 29,
      issue = 8,
      pages = "711 - 721",
      month = "August",
      year = 1986
    }
    
    @article{bartory2,
      author = "Don Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart Geraci, and Marty Sirkin.",
      title = "The GenVoca Model of Software-System Generators",
      journal = "IEEE Software",
      month = "September",
      year = "1994",
      url = "ftp://ftp.cs.utexas.edu/pub/predator/ieee-sw-94.pdf"}
    
    @inproceedings{shivers,
      author = "Olin Shivers",
      title = "A Universal Scripting Framework or Lambda: the ultimate 'little language' ",
      journal = "Lecture Notes in Computer Science",
      pages = "254-265",
      year = 1996
    }
    
    @article{
      author = "Paul Hudak",
      title = "Building domain-specific embedded languages",
      journal = "ACM Computing Surveys (CSUR)",
      volume = 28,
      month = "December",
      year =  1996
    }
    
    @article{van-deursen1,
      author = "A. van Deursen",
      title = "Domain-specific languages versus object-oriented frameworks. A finantial engineering case study. In Smalltalk and Java Industry and Academia",
      journal = "STJA",
      pages = "35-39",
      year = 1997,
      url = "http://homepages.cwi.nl/~arie/papers/stja97.pdf"}
    
    @article{van-deursen2,
      author = "A. van Deursen",
      title = "Little Languages: Little maintenance?",
      journal = "Journal of Software Maintenance",
      volume = 10,
      pages = "75-92",
      year = "1998",
      url = "http://homepages.cwi.nl/~arie/papers/domain.pdf"}
    
    @inproceedings{thibault,
      author = "Scott Thibault,Charles Consel",
      title = "A framework for application generator design"
    }
    
    @inproceedings{batory1,
      author = "Don Batory, Bernie Lofaso, and Yannis Smaragdakis",
      title = "JTS: Tools for Implementing Domain-Specific Languages",
      journal = "5th International Conference on Software Reuse",
      month = "June",
      year = 1998,
      url = "ftp://ftp.cs.utexas.edu/pub/predator/jts.pdf"}
    
    @talk{krishnamurthi,
      author = "Shriram Krishnamurthi",
      title = "The Swine with in Perl",
      conference = "Lightweight Languages",
      year = 2001,
      url = "http://lambda.pentaside.org/article/symbols.html"}
    
    
  • Mar 22: Domain-specific Languages

    @inproceedings{faith97khepera,
        author = "Rickard E. Faith, Lars S. Nyland, and Jan F. Prins", 
        title = "KHEPERA: A System for Rapid Implementation of Domain Specific Languages",
        booktitle = "Proceedings of the Conference on Domain-Specific Languages",
        publisher = "USENIX",
        address ="Berkeley, CA, USA",
        year = "1997",
        url = "citeseer.nj.nec.com/369782.html" }
    
    
    % Hudak's work on Modular DSLs
    
    @inproceedings{ hudak98modular,
        author = "Paul Hudak",
        title = "Modular Domain Specific Languages and Tools",
        booktitle = "Proceedings: Fifth International Conference on Software Reuse",
        publisher = "IEEE Computer Society Press",
        editor = "P. Devanbu and J. Poulin",
        pages = "134--142",
        year = "1998",
        url = "citeseer.nj.nec.com/hudak98modular.html" }
    
    % Additional work by Hudak
    @article{ hudak96building,
        author = "Paul Hudak",
        title = "Building domain-specific embedded languages",
        journal = "ACM Computing Surveys",
        volume = "28",
        number = "4es",
        pages = "196--196",
        year = "1996",
        url = "citeseer.nj.nec.com/hudak96building.html" }
    
    
    @InProceedings{gat97esl,
      author = 	 {Erann Gat},
      title = 	 {ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents},
      booktitle =	 {Proceedings of the IEEE Aerospace Conference},
      year =	 1997
    }
    
    % Erann Gat - later work on robot control languages
    
    # ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents. Proceedings of the IEEE Aerospace Conference, 1997.
    
    % SCSH
    @techreport{ shivers94scheme,
        author = "O. Shivers",
        title = "A Scheme Shell",
        number = "MIT/LCS/TR-635",
        pages = "42",
        year = "1994",
        url = "citeseer.nj.nec.com/shivers94scheme.html" }
    
    % Lambda, the ultimate little language
    @inproceedings{shivers96lambda,
      author="Olin Shivers",
      title="A Universal Scripting Framework or Lambda: The Ultimate "Little Language",
      booktitle = {ASIAN},
      publisher = {Springer},
      series    = {Lecture Notes in Computer Science},
      volume    = {1179},
      year      = {1996},
      isbn      = {3-540-62031-1},
      pages =  254--265,
      bibsource = {DBLP, http://dblp.uni-trier.de}
    }
    
  • Mar 18: Macros for C Syntax

    @inproceedings{ weise93cmacros,
     author = "Daniel Weise and Roger Crew",
     title = "Programmable syntax macros",
     booktitle = "Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation",
     year = {1993},
     isbn = {0-89791-598-4},
     pages = {156--165},
     location = {Albuquerque, New Mexico, United States},
     doi = {http://doi.acm.org/10.1145/155090.155105},
     publisher = {ACM Press} }
    
    @inproceedings{ batory98jts,
        author = "Don Batory and Bernie Lofaso and Yannis Smaragdakis",
        title = "{JTS}: tools for implementing domain-specific languages",
        booktitle = "Proceedings Fifth International Conference on Software Reuse",
        month = "2--5",
        publisher = "IEEE",
        address = "Victoria, BC, Canada",
        pages = "143--153",
        year = "1998",
        url = "citeseer.ist.psu.edu/171171.html" }
    
    @inproceedings{ bachrach01jse,
     author = {Jonthan Bachrach and Keith Playford},
     title = {The Java syntactic extender (JSE)},
     booktitle = {Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications},
     year = {2001},
     isbn = {1-58113-441-X},
     pages = {31--42},
     location = {Tampa Bay, FL, USA},
     doi = {http://doi.acm.org/10.1145/504282.504285},
     publisher = {ACM Press} }
    
    @misc{ baker02maya,
      author = "J. Baker and W. Hsieh",
      title = "Maya: Multiple-dispatch syntax extension in Java",
      year = "2002",
      url = "citeseer.ist.psu.edu/baker02maya.html" }
    
  • Mar 18: Control Operators

    @inproceedings{ danvy90abstracting,
        author = "O. Danvy and A. Filinski",
        title = "Abstracting Control",
        booktitle = "Proceedings of the 1990 {ACM} Conference on {LISP} and
    Functional Programming, Nice",
        publisher = "ACM",
        address = "New York, NY",
        pages = "151--160",
        year = "1990",
        url = "citeseer.ist.psu.edu/danvy90abstracting.html" }
    
    @inproceedings{ sitaram93handling,
        author = "Dorai Sitaram",
        title = "Handling Control",
        booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
        pages = "147-155",
        year = "1993",
        url = "citeseer.ist.psu.edu/sitaram93handling.html" }
    
    @article{sitaram90control,
     author = {Dorai Sitaram and Matthias Felleisen},
     title = {Control delimiters and their hierarchies},
     journal = {Lisp Symb. Comput.},
     volume = {3},
     number = {1},
     year = {1990},
     issn = {0892-4635},
     pages = {67--99},
     publisher = {Kluwer Academic Publishers}
     }
    
    @inproceedings{ queinnec91dynamic,
        author = "Christian Queinnec and Bernard Serpette",
        title = "A Dynamic Extent Control Operator for Partial
    Continuations",
        booktitle = "Conference Record of the Eighteenth Annual {ACM}
    Symposium on Principles of Programming Languages",
        address = "Orlando, Florida",
        pages = "174--184",
        year = "1991",
        url = "citeseer.ist.psu.edu/queinnec91dynamic.html" }
    
    @inproceedings{hieb90continuations,
     author = {R. Hieb and R. Kent Dybvig},
     title = {Continuations and concurrency},
     booktitle = {Proceedings of the second ACM SIGPLAN Symposium on
    Principles and Practice of Parallel Programming},
     year = {1990},
     isbn = {0-89791-350-7},
     pages = {128--136},
     location = {Seattle, Washington, United States},
     doi = {http://doi.acm.org/10.1145/99163.99178},
     publisher = {ACM Press},
     }
    
    @phdthesis{ sitaram94thesis,
        author = "Dorai Sitaram",
        title = "Control Operators and their impact on programming language
    design",
        school = "Rice University",
        year = "1994"
    }
    
    @article{felleisen87syntactic,
     author = {M. Felleisen and D. P. Friedman and E. Kohlbecker and B.
    Duba},
     title = {A syntactic theory of sequential control},
     journal = {Theor. Comput. Sci.},
     volume = {52},
     number = {3},
     year = {1987},
     issn = {0304-3975},
     pages = {205--237},
     doi = {http://dx.doi.org/10.1016/0304-3975(87)90109-5},
     publisher = {Elsevier Science Publishers Ltd.}
     }
    
  • Mar 18: CSP, CCS

    
     Missing in action: Greg
    
    
  • Mar 15: Second-Generatione Models of OO PLs

    @article{ drossopoulou99is,
        author = "Sophia Drossopoulou and Susan Eisenbach and Sarfraz Khurshid",
        title = "Is the Java Type System Sound?",
        journal = "Theory and Practice of Object Systems",
        volume = "5",
        number = "1",
        pages = "3-24",
        year = "1999",
        url = "citeseer.nj.nec.com/drossopoulou97is.html" }
    
    @incollection{fkf:classes-mixins-extended,
      skpaper="true",
      author="Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen",
      title="A Programmer's Reduction Semantics for Classes and Mixins",
      booktitle="Formal Syntax and Semantics of {J}ava",
      publisher=springer,
      year=1999,
      pages="241--269",
      editor="Jim Alves-Foss",
      number=1523,
      series=lncs}
    
    @inbook{ drossopoulou98towards,
        author = "S. Drossopoulou and S. Eisenbach",
        title = "Towards an Operations Semantics and Proof of Type Soundness for {Java}",
        publisher = "Springer-Verlag, Berlin Germany",
        year = "1998",
        url = "citeseer.nj.nec.com/drossopoulou98towards.html" }
    
    @article{ drossopoulou97java,
        author = "Sophia Drossopoulou and Susan Eisenbach",
        title = "{Java} is Type Safe --- Probably",
        journal = "Lecture Notes in Computer Science",
        volume = "1241",
        pages = "389--??",
        year = "1997" 
    }
    
    @inproceedings{ igarashi99featherweight,
        author = "Atshushi Igarashi and Benjamin Pierce and Philip Wadler",
        title = "{Featherweight Java}: {A} Minimal Core Calculus for {Java} and {GJ}",
        booktitle = "Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages and Applications ({OOPSLA}`99)",
        volume = "34(10)",
        address = "N. Y.",
        editor = "Loren Meissner",
        pages = "132--146",
        year = "1999",
        url = "citeseer.nj.nec.com/igarashi99featherweight.html" }
    
    @inproceedings{ flatt98classes,
        author = "Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen",
        title = "Classes and Mixins",
        booktitle = "Conference Record of {POPL} 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California",
        address = "New York, NY",
        pages = "171--183",
        year = "1998",
        url = "citeseer.nj.nec.com/flatt98classe.html" }
    
  • Mar 15: Current Work on Components and Contracts

    
    
      Daniel? 
    
    
    
  • Mar 15: First Models ML Modules

    @inproceedings{512670,
     author = {David B. MacQueen},
     title = {Using dependent types to express modular structure},
     booktitle = {Proceedings of the 13th annual ACM symposium on Principles of programming languages},
     year = {1986},
     pages = {277--286},
     location = {St. Petersburg Beach, Florida},
     doi = {http://doi.acm.org/10.1145/512644.512670},
     publisher = {ACM Press},
     }
    
    @article{169696,
     author = {Robert Harper and John C. Mitchell},
     title = {On the type structure of standard {ML}},
     journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
     volume = {15},
     number = {2},
     year = {1993},
     issn = {0164-0925},
     pages = {211--252},
     doi = {http://doi.acm.org/10.1145/169701.169696},
     publisher = {ACM Press},
     }
    
    @article{45065,
     author = {John C. Mitchell and Gordon D. Plotkin},
     title = {Abstract types have existential type},
     journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
     volume = {10},
     number = {3},
     year = {1988},
     issn = {0164-0925},
     pages = {470--502},
     doi = {http://doi.acm.org/10.1145/44501.45065},
     publisher = {ACM Press},
     }
    
    @inproceedings{ harper94typetheoretic,
        author = "Robert Harper and Mark Lillibridge",
        title = "A type-theoretic approach to higher-order modules with sharing",
        booktitle = "Conference record of {POPL '94}: 21st {ACM {SIGPLAN}-{SIGACT}} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages",
        month = "January",
        address = "Portland, OR",
        pages = "123--137",
        year = "1994",
        url = "citeseer.nj.nec.com/harper94typetheoretic.html" }
    
    @inproceedings{176926,
     author = {Xavier Leroy},
     title = {Manifest types, modules, and separate compilation},
     booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1994},
     isbn = {0-89791-636-0},
     pages = {109--122},
     location = {Portland, Oregon, United States},
     doi = {http://doi.acm.org/10.1145/174675.176926},
     publisher = {ACM Press},
     }
    
    @InCollection{harper+:smltt-final,
      author =       {Robert Harper and Chris Stone},
      title =         {A Type-Theoretic Interpretation of {S}tandard {ML}},
      booktitle =      {Proof, Language, and Interaction: Essays in Honor of Robin Milner},
      publisher =       {MIT Press},
      year =     2000,
      editor =    {Gordon Plotkin and Colin Stirling and Mads Tofte}
    }
    
    @inproceedings{96744,
     author = {Robert Harper and John C. Mitchell and Eugenio Moggi},
     title = {Higher-order modules and the phase distinction},
     booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1990},
     isbn = {0-89791-343-4},
     pages = {341--354},
     location = {San Francisco, California, United States},
     doi = {http://doi.acm.org/10.1145/96709.96744},
     publisher = {ACM Press},
     }
    
    @inproceedings{802036,
     author = {David MacQueen},
     title = {Modules for standard ML},
     booktitle = {Proceedings of the 1984 ACM Symposium on LISP and functional programming},
     year = {1984},
     isbn = {0-89791-142-3},
     pages = {198--207},
     location = {Austin, Texas, United States},
     }
    
  • Mar 11: Garbage Collection

    @article{mccarthy-60-recursive,
        author = "John McCarthy",
        title = "Recursive functions of symbolic expressions and their
            computation by machine, Part {I}",
        journal = cacm,
        volume = 3,
        number = 4,
        year = 1960,
        issn = "0001-0782",
        pages = "184--195",
        doi = "\url{http://doi.acm.org/10.1145/367177.367199}",
        publisher = "ACM Press",
        notes = "early description of lisp; mark-and-sweep GC",
    }
    
    @article{collins-60-method,
        author = "George E. Collins",
        title = "A method for overlapping and erasure of lists",
        journal = cacm,
        volume = 3,
        number = 12,
        year = 1960,
        issn = "0001-0782",
        pages = "655--657",
        doi = "\url{http://doi.acm.org/10.1145/367487.367501}",
        publisher = "ACM Press",
        notes = "refcount GC",
    }
    
    @techreport{minksy-63-lisp,
        author = "Marvin L. Minsky",
        title = "A {LISP} Garbage Collector Algorithm Using Serial
            Secondary Storage",
        institution = "MIT",
        year = 1963,
        number = "AIM-58",
        notes = "early stop-and-copy; copy to drum",
    }
    
    @article{fenichel-69-lisp,
        author = "Robert R. Fenichel and Jerome C. Yochelson",
        title = "A {LISP} garbage-collector for virtual-memory computer systems",
        journal = cacm,
        volume = 12,
        number = 11,
        year = 1969,
        issn = "0001-0782",
        pages = "611--612",
        doi = "\url{http://doi.acm.org/10.1145/363269.363280}",
        publisher = "ACM Press",
        notes = "standard DFS two-space stop-and-copy GC",
    }
    
    @article{cheney-70-nonrecursive,
        author = "C. J. Cheney",
        title = "A nonrecursive list compacting algorithm",
        journal = cacm,
        volume = 13,
        number = 11,
        year = 1970,
        issn = "0001-0782",
        pages = "677--678",
        doi = "\url{http://doi.acm.org/10.1145/362790.362798}",
        publisher = "ACM Press",
        notes = "two-space BFS stop-and-copy GC",
    }
    
    
    
  • Mar 11: Concurrent Garbage Collection

    @article{stee75,
    author = "Guy L. Steele",
    title = "Multiprocessing Compactifying Garbage Collection",
    journal = "Communications of the {ACM}", 
    publisher = ACM,
    volume = 18,
    number = 9,
    pages = "495--508",
    month = Sep,
    year = "1975"}
    
    @incollection{dijk76b,
    author = "Edsgar W. Dijkstra and Leslie Lamport and A. J. Martin and C. S. Scholten and E. F. M. Steffens",
    title = "On-The-Fly Garbage Collection: An Exercise in Cooperation",
    booktitle = "Lecture Notes in Computer Science, No. 46",
    publisher = SV,
    address = "New York", 
    year = 1976,
    }
    
    @article{bake78,
    author = "Henry G. Baker",
    title = "List Processing in Real-Time on a Serial Computer",
    journal = "Communications of the {ACM}",
    publisher = ACM,
    volume = 21,
    number = 4,
    pages = "280--94",
    year = "1978",
    note = "Also AI Laboratory Working Paper 139, 1977",
    URL = "http://home.pipeline.com/~hbaker1/RealTimeGC.ps.Z"
    }
    
    @techreport{lieb81,
    title = "A Real-Time Garbage Collector Based on the Lifetimes of Objects",
    author = "Henry Lieberman and Carl E. Hewitt",
    type = "{AI} Memo",
    number = "569a",
    institution = "{MIT}",
    month = apr,
    year = 1981,
    URL = "ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-569a.pdf",
    }
    
    
    @article{appe88,
    title = "Real-Time Concurrent Collection on Stock Multiprocessors",
    author = "Andrew W. Appel and John R. Ellis and Kai Li",
    address = PRINCETON  # " and Digital Equipment Corp, Systems Research Center, Palo Alto, CA",
    journal = Sigplan,
    publisher = ACM,
    year = 1988,
    volume = 23,
    number = 7,
    pages = "11--20"
    }
    
    @inproceedings{huel93,
    author = "Lorenz Huelsbergen and James R. Larus",
    title = "A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data",
    booktitle = "Fourth Annual ACM Symposium on Principles and Practice of Parallel Programming",
    address = "San Diego, CA",
    month = may,
    year = 1993,
    publisher = ACM,
    series = SIGPLAN,
    volume = "28(7)",
    pages = "73--82",
    }
    
    @techreport{nett93b,
    title = "Concurrent Garbage Collection of Persistent Heaps",
    author = "Scott M. Nettles and James W. O'Toole and David Gifford",
    number = "MIT/LCS/TR--569 and CMU--CS--93--137",
    institution = "Computer Science Department, Carnegie-Mellon University",
    URL = "ftp://reports.adm.cs.cmu.edu/usr/anon/1993/CMU-CS-93-137.ps",
    month = apr,
    year = 1993,
    }
    
  • Mar 8: Early Programming Testing

    @inproceedings{gg:theory-of-test-data-selection,
      author="John B. Goodenough and Susan L. Gerhart",
      title="Toward a Theory of Test Data Selection",
      booktitle=icrs,
      year=1975,
      pages="493--510"
    }
    
    @article{h:mutation-testing,
      author="William E. Howden",
      title="Weak Mutation Testing and Completeness of Test Sets",
      journal=tose,
      year=1982,
      pages="371--379",
      volume=8,
      number=4
    }
    
    @InProceedings{FormalTesting,
      author="Robert Cartwright",
      title="Formal Program Testing",
      booktitle=popl,
      month=jan,
      year="1981",
      pages="125--132"
    }
    
    @inproceedings{completeness-criteria,
      author="William E. Howden",
      title="Completeness criteria for testing elementary program functions",
      booktitle=icse,
      year="1981"}
    
    @book{functional-program-testing,
      author="William E. Howden",
      title="Functional program testing and analysis",
      year="1986",
      isbn=" ISBN:0-070-30550-1",
      publisher=" McGraw-Hill, Inc."}
    
    @inproceedings{program-mutation,
      author="Timothy A. Budd",
      title="Theoretical and empirical studies on using program mutation to test the functional correctness of programs",
      booktitle="popl",
      year="1980"
    }
    
    @inproceedings{approach-to-testing,
      author="J. C. Huang",
      title="An Approach to Program Testing",
      booktitle="ACM Computing Surveys (CSUR)",
      year="1975"
    }
    
    @inproceedings{methodology-generation,
      author="William E. Howden",
      title="Methodology for the generation of program test data.",
      inbook="IEEE Transactions on Computers",
      year="1975",
      pages="554-560"}
    
    @inproceedings{test-data-as-an-aid,
      author="Matthew Geller",
      title="Test data as an aid in proving program correctness",
      inbook="Communications of the ACM, v.21 n.5",
      pages="368-375",
      month="May",
      year="1978"
    }
    
    @inproceedings{prooving-lisp-programs,
      author="Timothy A. Budd and Richard J. Lipton",
      title="Proving LISP programs using test data.",
      inbook="Digest for the workshop on Software Testing and Test Documentation",
      year="1978",
      pages="374-403"}
    
  • Mar 8: FP for Systolic Arrays

    @inproceedings{5294,
     author = {Mary Sheeran},
     title = {Designing regular array architectures using higher order functions},
     booktitle = {Proc. Functional Programming Languages and Computer Architecture},
     year = {1985},
     isbn = {3-387-15975-4},
     pages = {220--237},
     location = {Nancy, France},
     publisher = {Springer-Verlag New York, Inc.},
     }
    
    @misc{ jones88timeless,
      author = "G. Jones and M. Sheeran",
      title = "Timeless truths about sequential circuits",
      text = "Geraint Jones and Mary Sheeran. Timeless truths about sequential circuits.
        In Tewksbury et al., editors, Concurrent Computations: Algorithms, Architectures
        and Technology, New York, 1988. Plenum Press.",
      year = "1988",
      url = "citeseer.nj.nec.com/146224.html" }
    
    @misc{ luk89computerbased,
      author = "W. Luk and G. Jones and M. Sheeran",
      title = "Computer-based tools for regular array design",
      text = "Wayne Luk, Geraint Jones, and Mary Sheeran. Computer-based tools for regular
        array design. In McCanny, McWhirter, and Schwartzlander, editors, Systolic
        Array Processors. Prentice Hall, 1989.",
      year = "1989",
      url = "citeseer.nj.nec.com/73038.html" }
    
    @inproceedings{802026,
     author = {Mary Sheeran},
     title = {muFP, a language for VLSI design},
     booktitle = {Proc. 1984 ACM Symposium on LISP and Functional Programming},
     year = {1984},
     isbn = {0-89791-142-3},
     pages = {104--112},
     location = {Austin, Texas, United States},
     publisher = {ACM Press},
     }
    
  • Mar 8: Proving Theorems

    @Article{Robinson65,
      author = 	 {J. A. Robinson},
      title = 	 {A machine-oriented logic based on the resolution
    principle},
      journal = 	 {J ACM},
      year = 	 {1965},
      volume = 	 {12},
      pages = 	 {23--41}
    }
    
    @Article{Bledsoe77,
      author = 	 {W. W. Bledsoe},
      title = 	 {Non-resolution Theorem Proving},
      journal = 	 {Artifical Intelligence},
      year = 	 {1977},
      volume = 	 {9},
      pages = 	 {1--35}
    }
    
    @InProceedings{Plotkin72,
      author = 	 {Gordon D. Plotkin},
      title = 	 {Building-in Equational Theories},
      booktitle = {Machine Intelligence},
      pages = 	 {73--90},
      year = 	 {1972},
      editor = 	 {D. Michie and B. Meltzer},
      volume = 	 {7},
      publisher = {Edinburgh University Press}
    }
    
    @Article{Burstall69,
      author = 	 {R.M. Burstall},
      title = 	 {Proving properties of programs by structural induction},
      journal = 	 {Computer Journal},
      year = 	 {1969},
      volume = 	 {12},
      pages = 	 {41--48}
    }
    
    @Article{BoyerMoore75,
      author = 	 {Robert S. Boyer and J Strother Moore},
      title = 	 {Proving Theorems About LISP Functions},
      journal = 	 {J ACM},
      year = 	 {1975},
      volume = 	 {22},
      number = 	 {1},
      pages = 	 {129--144}
    }
    
  • Feb 26: Macro Expansion

    @inproceedings{kffd:hygiene,
      author="Eugene E.~Kohlbecker and Daniel P.~Friedman and Matthias
        Felleisen and Bruce F.~Duba",
      title="Hygienic Macro Expansion",
      booktitle=lfp,
      year="1986",
      pages="151--161"}
    
    @inproceedings{br:synclo,
      author="Alan Bawden and Jonathan Rees",
      title="Syntactic Closures",
      booktitle=lfp,
      year="1988",
      pages="86--95"}
    
    @misc{ clinger91hygienic,
      author = "W. Clinger",
      title = "Hygienic macros through explicit renaming",
      text = "William Clinger. Hygienic macros through explicit renaming. LISP Pointers,
        4(4), 1991.",
      year = "1991",
      url = "citeseer.nj.nec.com/clinger91hygienic.html" }
    
    @inproceedings{ cr:macros, 
     author = "W. Clinger and J. Rees", 
     title = "Macros that work",
     booktitle = popl, 
     year = 1990, 
     pages = "155-162"
    }
    
    @article{dhb:sc,
      author="R.~Kent Dybvig and Robert Hieb and Carl Bruggeman",
      title="Syntactic abstraction in {S}cheme",
      journal=lasc,
      year="1993",
      volume="5",
      number="4",
      pages="295--326",
      month=dec}
    
  • Feb 26: Partial Evaluation

    @ARTICLE{       Futamura:1971:Partial,
      AUTHOR        = "Y. Futamura",
      TITLE         = "Partial Evaluation of Computation Process -- An Approach
      to a Compiler-Compiler",
      JOURNAL       = "Systems, Computers, Controls",
      YEAR          = "1971",
      VOLUME        = "2", 
      NUMBER        = "5",
      PAGES         = "45-50", 
      ANNOTE        = "This seminal paper defines partial evaluation and exposes
    its applications to (among other things) compilation and
    compiler generation. A brief discussion is given on the
    feasibility in practice and of some conceptual and engineering
    issues of partial evaluation."}
    
    
    @ARTICLE{       Beckman:1976:APartial,
      AUTHOR        = "L. Beckman and others",
      TITLE         = "A Partial Evaluator, and Its Use as a Programming Tool",
      JOURNAL       = "Artificial Intelligence",
      YEAR          = "1976",
      VOLUME        = "7", 
      NUMBER        = "4", 
      PAGES         = "319-357", 
      ANNOTE        = "The paper describes partial evaluation as a practical
    tool in program development. It defines the concepts and
    discusses a number of applications. A partial evaluator program
    Redfun and a partial evaluator compiler Redcompile are
    described."}
    
    @ARTICLE{       Ershov:1982:MixedComputation,
      AUTHOR        = "A.P. Ershov",
      TITLE         = "Mixed Computation: Potential Applications and Problems
      for Study",
      JOURNAL       = "Theoretical Computer Science",
      YEAR          = "1982",
      VOLUME        = "18", 
      PAGES         = "41-67",
      ANNOTE        = "English version of 
                    \cite{Ershov:1980:MixedComputation:Russian}."}
    
    
    @Article{Bondorf:1991:AutomaticAutoprojection,
      author = 	"A. Bondorf",
      title = 	"Automatic Autoprojection of Recursive Equations with
    		 Higher Order Functions",
      journal = 	"Science of Computer Programming",
      year = 	"1991",
      volume = 	"17",
      pages = 	"3-35",
      OPTnote = 	""}
    
    @article{jones,
     author = {Neil D. Jones},
     title = {An introduction to partial evaluation},
     journal = {ACM Computing Surveys (CSUR)},
     volume = {28},
     number = {3},
     year = {1996},
     issn = {0360-0300},
     pages = {480--503},
     doi = {http://doi.acm.org/10.1145/243439.243447},
     publisher = {ACM Press},
     }
    
  • Feb 26: Logic Programming

    @InProceedings{kow74,
      author = 	 {Robert Kowalski},
      title = 	 {Predicate logic as a Programming Language},
      pages = 	 {569--574},
      year = 	 {1974},
      organization = {IFIP},
      publisher = {North-Holland Pub Co},
    }
    
    @article{kow79,
     author = {Robert Kowalski},
     title = {Algorithm = logic + control},
     journal = {Commun. ACM},
     volume = {22},
     number = {7},
     year = {1979},
     issn = {0001-0782},
     pages = {424--436},
     doi = {http://doi.acm.org/10.1145/359131.359136},
     publisher = {ACM Press} 
    }
    
    @article{kow76,
     author = {M. H. {Van Emden} and R. A. Kowalski},
     title = {The Semantics of Predicate Logic as a Programming Language},
     journal = {J. ACM},
     volume = {23},
     number = {4},
     year = {1976},
     issn = {0004-5411},
     pages = {733--742},
     doi = {http://doi.acm.org/10.1145/321978.321991},
     publisher = {ACM Press} 
    }
    
    @inproceedings{col93,
     author = {Alain Colmerauer and Philippe Roussel},
     title = {The birth of Prolog},
     booktitle = {The second ACM SIGPLAN conference on History of programming languages},
     year = {1993},
     isbn = {0-89791-570-4},
     pages = {37--52},
     location = {Cambridge, Massachusetts, United States},
     doi = {http://doi.acm.org/10.1145/154766.155362},
     publisher = {ACM Press},
     }
    
  • Feb 23: Types, Effects, and Regions

    @inproceedings{lucassen88polyeffectsystems,
     author = {J. M. Lucassen and D. K. Gifford},
     title = {Polymorphic effect systems},
     booktitle = {Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1988},
     isbn = {0-89791-252-7},
     pages = {47--57},
     location = {San Diego, California, United States},
     doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/73560.73564},
     publisher = {ACM Press},
     }
    
    @inproceedings{jouvelot91algrecontypeseffects,
     author = {Pierre Jouvelot and David Gifford},
     title = {Algebraic reconstruction of types and effects},
     booktitle = {Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1991},
     isbn = {0-89791-419-8},
     pages = {303--310},
     location = {Orlando, Florida, United States},
     doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/99583.99623},
     publisher = {ACM Press},
     }
    
    @article{talpin92polymorphic,
      author = "Jean-Pierre Talpin and Pierre Jouvelot",
      title = "Polymorphic Type, Region and Effect Inference",
      journal = "Journal of Functional Programming",
      volume = "2",
      number = "3",
      publisher = "Cambridge University Press",
      pages = "245--271",
      month = "July",
      year = "1992",
      url = "citeseer.nj.nec.com/talpin92polymorphic.html"
    }
    
    @inproceedings{tofte94typedlcregionstack,
     author = {Mads Tofte and Jean-Pierre Talpin},
     title = {Implementation of the typed call-by-value $\lambda$-calculus using a stack of regions},
     booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1994},
     isbn = {0-89791-636-0},
     pages = {188--201},
     location = {Portland, Oregon, United States},
     doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/174675.177855},
     publisher = {ACM Press},
     }
    
    @inproceedings{tofte94typedlcregionstack,
     author = {Mads Tofte and Jean-Pierre Talpin},
     title = {Implementation of the typed call-by-value $\lambda$-calculus using a stack of regions},
     booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {1994},
     isbn = {0-89791-636-0},
     pages = {188--201},
     location = {Portland, Oregon, United States},
     doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/174675.177855},
     publisher = {ACM Press},
     }
    
  • Feb 23: Dependent Types

    @incollection{ barendregt92lambda,
        author = "Henk Barendregt",
        title = " Lambda Calculi with Types ",
        booktitle = "Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky and Gabbay and (Eds.), Clarendon",
        volume = "2",
        year = "1992",
        url = "citeseer.nj.nec.com/barendregt92lambda.html" 
    }
    
    @phdthesis{ xi98practical,
        author = "Hongwei Xi",
        title = "Dependent Types in Practical Programming",
        school = "Carnegie Mellon University",
        year = "1998",
        url = "http://citeseer.nj.nec.com/xi98dependent.html" }
    
    @inproceedings{ xi98eliminating,
        author = "Hongwei Xi and Frank Pfenning",
        title = " Eliminating Array Bound Checking Through Dependent Types ",
        booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
        pages = "249-257",
        year = "1998",
        url = "citeseer.nj.nec.com/xi98eliminating.html" }
    
    @inproceedings{ augustsson98cayenne,
        author = "Lennart Augustsson",
        title = " Cayenne - a Language with Dependent Types ",
        booktitle = "International Conference on Functional Programming",
        pages = "239--250",
        year = "1998",
        url = "citeseer.nj.nec.com/augustsson98cayenne.html" }
    
    
  • Feb 23: The Curry-Howard Isomorphism

    @book{ curry58,
      title = "Combinatory Logic, Volume I",
      author = "Curry, Haskell Brookes and Feys, Robert",
      year = 1958,
      series = "Studies in Logic and the Foundations of Mathematics",
      pages = "xvi+417",
      publisher = "North-Holland",
      address = "Amsterdam",
      note = "Second printing 1968"
    }
    
    @inproceedings{ martin85,
      author = {P. Martin-L\"of},
      title = "Constructive mathematics and computer programming",
      booktitle = "Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages",
      year = 1985,
      pages = "167--184",
      location = "London, United Kingdom",
      publisher = "Prentice-Hall, Inc."
    }
    
    @inproceedings{ griffin90,
      author = "Timothy G. Griffin",
      title = "A formulae-as-type notion of control",
      booktitle = "Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
      year = 1990,
      location = "San Francisco, California, United States",
      pages = "47--58",
      publisher = "ACM Press"
    }
    
    @incollection{ howard69,
      author  = "W. A. Howard",
      title   = "The Formulae-As-Types Notion Of Construction",
      booktitle = "To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism",
      publisher = "Academic Press, Inc.",
      year    = 1980,
      editor  = "J. P. Seldin and J. R. Hindley",
      pages   = "479--490",
      address = "New York, N.Y."
    }
    
    @book{ girard89,
      author = "Jean-Yves Girard and Paul Taylor and Yves Lafont",
      title = "Proofs and types",
      year = 1989,
      publisher = "Cambridge University Press"
    }
    
  • Feb 9: Semantics of OOPLs (early)

    @article{ cardelli85understanding,
        author = "Luca Cardelli and Peter Wegner",
        title = "On Understanding Types, Data Abstraction, and Polymorphism",
        journal = "ACM Computing Surveys",
        volume = "17",
        number = "4",
        pages = "471--522",
        year = "1985",
        url = "citeseer.nj.nec.com/cardelli85understanding.html" 
    }
    
    @inproceedings{ cook89denotational-a,
        author = "William Cook and Jens Palsberg",
        title = "A denotational semantics of inheritance and its correctness",
        booktitle = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})",
        journal = "SIGPLAN Notices",
        volume = "24",
        number = "10",
        publisher = "ACM Press",
        address = "New York, NY",
        editor = "Norman Meyrowitz",
        pages = "433--444",
        year = "1989",
        url = "citeseer.nj.nec.com/article/cook94denotational.html" 
    }
    
    
    @inproceedings{reddy88closures,
        author = "U. S. Reddy",
        title = "Objects as closures: Abstract semantics of
        object-oriented languages",
        booktitle = lfp,
        pages = "289--297"
        year = "1998"
    }
    
    @inproceedings{kamin88smalltalk,
        author = "S. N. Kamin",
        title = "Inheritance in {SMALLTALK-80}: A denotational definition",
        booktitle = popl,
        pages = "80--87"
        year = "1998"
    }
    
    @incollection{kamin-reddy88oo-sem,
        author = "S. N. Kamin and U. S. Reddy",
        title = "Two semantic models of object-oriented languages",
        booktitle = "Theoretical Aspects of Object-Oriented Languages",
        publisher = "MIT Press",
        address = "Boston",
        editor = "C. A. Gunter and J. C. Mitchell",
        pages = "463-495",
        year = "1994"
    }
    
  • Feb 9: Functional Reflection

    @TechReport{smith_bc:1984a2,
      author =       "Brian C. Smith",
      title =        "Reflection and Semantics in {LISP}",
      institution =  "Center for the Study of Language and Information",
      number =       "CSLI-84-8",
      year =         "1984",
      address =      "Palo Alto",
    }
    
    @InProceedings{Danvy:Malmkjaer:acm:lfp:1988,
      author =       "Oliver Danvy and Karoline Malmkj{\ae}r",
      email =        "{danvy,karoline}@diku.dk",
      title =        "Intensions and Extensions in a Reflective Tower",
      booktitle =    "Proceedings of the 1988 {ACM} Conference on Lisp and
                     Functional Programming",
      organization = "ACM",
      publisher =    "ACM",
      month =        jul,
      year =         "1988",
      pages =        "327--341"
    }
    
    @InProceedings{Friedman:Wand:acm:lfp:1984,
      author =       "Daniel P. Friedman and Mitchell Wand",
      title =        "Reification: Reflection without Metaphysics",
      booktitle =    "Conference Record of the 1984 {ACM} Symposium on Lisp
                     and Functional Programming",
      organization = "ACM",
      publisher =    "ACM",
      month =        aug,
      year =         "1984",
      pages =        "348--355"
    }
    
    @InCollection{Wand88,
      author =       "Mitchell Wand and Daniel P. Friedman",
      editor =       "P. Maes and D. Nardi",
      title =        "The Mystery of the Tower Revealed: {A} Non-Reflective
                     Description of the Reflective Tower",
      booktitle =    "Meta-Level Architectures and Reflection",
      pages =        "111--134",
      publisher =    "Elsevier Sci. Publishers B.V. (North Holland)",
      year =         "1988",
      note =         "Also to appear in Lisp and Symbolic Computation",
    }
    
    
  • Feb 9: Early Work on Program Design

    @article{knuthgoto,
     author = {Donald E. Knuth},
     title = {Structured Programming with go to Statements},
     journal = {ACM Comput. Surv.},
     volume = {6},
     number = {4},
     year = {1974},
     issn = {0360-0300},
     pages = {261--301},
     doi = {http://doi.acm.org/10.1145/356635.356640},
     publisher = {ACM Press},
     }
    
     @article{gotoharm,
     author = {Edsger W. Dijkstra},
     title = {Letters to the editor: go to statement considered harmful},
     journal = {Commun. ACM},
     volume = {11},
     number = {3},
     year = {1968},
     issn = {0001-0782},
     pages = {147--148},
     doi = {http://doi.acm.org/10.1145/362929.362947},
     publisher = {ACM Press},
     }
    
     @article{knuthart,
     author = {Donald E. Knuth},
     title = {Computer programming as an art},
     journal = {Commun. ACM},
     volume = {17},
     number = {12},
     year = {1974},
     issn = {0001-0782},
     pages = {667--673},
     doi = {http://doi.acm.org/10.1145/361604.361612},
     publisher = {ACM Press},
     }
    
    
    
    @Book{structprog,
    author = {O.-J. Dahl and E. W. Dijkstra and C. A. R. Hoare},
    ALTeditor = {},
    title = {Structured Programming},
    publisher = {Academic Press},
    year = {1972},
    }
    
    @Book{elementsfirst,
    author = {Brian W. Kernighan and P.J. Plauger},
    ALTeditor = {},
    title = {The Elements of Programming Style},
    publisher = {McGraw-Hill Book Company},
    year = {1974},
    }
    
    @Book{elementssecond,
    author = {Brian W. Kernighan and P.J. Plauger},
    ALTeditor = {},
    title = {The Elements of Programming Style},
    publisher = {McGraw-Hill Book Company},
    year = {1978},
    }
    
    @Book{popd,
    author = {Michael A. Jackson},
    ALTeditor = {},
    title = {Principles of Program Design},
    publisher = {Academic Press},
    year = {1975},
    }
    
  • Feb 2: Value Inference via Set-Based Analysis

    @inproceedings{ aiken94soft,
        author = "Alexander Aiken and Edward L. Wimmers and T. K. Lakshman",
        title = "Soft Typing with Conditional Types",
        booktitle = "Conference Record of {POPL} '94: 21ST {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, Portland, Oregon",
        address = "New York, NY",
        pages = "163--173",
        year = "1994",
        url = "citeseer.nj.nec.com/aiken94soft.html" }
    
    @inproceedings{ heintze94set,
        author = "Nevin Heintze and Joxan Jaffar",
        title = "Set Constraints and Set-Based Analysis",
        booktitle = "Principles and Practice of Constraint Programming",
        pages = "281-298",
        year = "1994",
        url = "citeseer.nj.nec.com/heintze94set.html" }
    
    @inproceedings{aiken99,
        author = "A. Aiken",
        title = "Introduction to Set Constraint-Based Program Analysis",
        booktitle = "Science of Computer Programming (SCP)",
        volume = "35",
        number = "2",
        pages = "79-111",
        year = "1999" }
    
    @techreport{ heintze93set,
        author = "Nevin Heintze",
        title = "Set Based Analysis of {ML} Programs (Extended Abstract)",
        institution = "Carnegie Mellon University",
        number = "CS-93-193",
        pages = "20",
        year = "1993",
        url = "citeseer.nj.nec.com/article/heintze93set.html" }
    
    @inproceedings{ heintze92engine,
        author = "Nevin Heintze and Joxan Jaffar",
        title = "An Engine for Logic Program Analysis",
        booktitle = "Logic in Computer Science",
        pages = "318-328",
        year = "1992",
        url = "citeseer.nj.nec.com/heintze92engine.html" }
    
    
  • Feb 2: Type Inference for ML

    @InProceedings{Damas:Milner:1982:Principal,
      author =       "Luis Damas and Robin Milner",
      title =        "Principal Type-Schemes for Functional Programs",
      booktitle =    "Conference Record of the Ninth Annual {ACM} Symposium 
                     on Principles of Programming Languages",
      organization = "ACM",
      publisher =    "ACM",
      month =        jan,
      year =         "1982",
      pages =        "207--212"
    }
    
    @PhdThesis{Tofte:1988:phd,
      author =       "Mads Tofte",
      title =        "Operational semantics and polymorphic type inference",
      school =       "University of Edinburgh",
      year =         "1988"
    }
    
    @InProceedings{Leroy:1991:Polymorphic,
      author =       "X. Leroy and P. Weis",
      title =        "Polymorphic type inference and assignment",
      booktitle =    "Conference Record of the Eighteenth Annual {ACM} 
                     Symposium on Principles of Programming Languages",
      organization = "ACM",
      publisher =    "ACM",
      month =        jan,
      year =         "1991",
      pages =        "291--302"
    }
    
    
    @InProceedings{Wright:1992:Effect,
      author =       "Andrew K. Wright",
      title =        "Typing References by Effect Inference",
      booktitle =    "{ESOP '92}, {$4^{th}$} European Symposium on Programming",
      editor =       "Bernd Krieg-Br{\"u}ckner",
      year =         "1992",
      series =       "LNCS",
      volume =       "582",
      publisher =    "Springer",
      pages =        "473--491"
    }
    
    
    @Article{Wright:1995:Polymorphism,
      author =       "Andrew K. Wright",
      title =        "Simple Imperative Polymorphism",
      journal =      "Lisp and Symbolic Computation",
      volume =       "8",
      number =       "4",
      pages =        "343--355",
      month =        dec,
      year =         "1995",
      CODEN =        "LSCOEX",
      ISSN =         "0892-4635"
    }
    
  • Feb 2: Type Soundness

    @article{milner-78-theory,
        author =      "Milner, R.",
        title =       "A Theory of Type Polymorphism in Programming",
        journal =     "Journal of Computer and Systems Science",
        year =        "1978",
        month =       dec,
        volume =      "17",
        pages =       "348--375",
    }
    
    @article{tofte-90-type,
        author = "Mads Tofte",
        title = "Type Inference for Polymorphic References",
        journal = "Information and Computation",
        year = 1990,
        pages = "1--34",
        volume = 89,
        number = 1,
        month = nov,
        editor = "Albert Meyer",
        publisher = "Academic Press, Inc."
    }
    
    @article{wright-94-syntactic,
        author = "Andrew K. Wright and Matthias Felleisen",
        title = "A Syntactic Approach to Type Soundness",
        journal = "Information and Computation",
        volume = "115",
        number = "1",
        pages = "38--94",
        year = "1994",
        url = "\url{http://citeseer.nj.nec.com/wright92syntactic.html}",
        note="{F}irst appeared as Technical Report TR160, Rice University, 1991"
    }
    
  • Jan 26: Operational Semantics (Afternoon)

    @article{mt:state,
     title="Inferring the equivalence of functional programs that mutate data",
     author="Ian A. Mason and Carolyn Talcott",
     journal=tcs,
     volume=105,
     issue=2,
     year=1992,
     pages="167--215", 
     notes="Preliminary version in: {\it Proc. Symposium on Logic in Computer
    Science\/}. Computer Society Press, Washington, D.C., 1989, 284--293."
    }
    
    @article{wf:type-soundness,
     author="Andrew Wright and Matthias Felleisen",
     title="A syntactic approach to type soundness.",
     journal="Information and Computation",
     vol=115,
     num=1,
     year=1994,
     pages="38--94",
     note="{F}irst appeared as Technical Report TR160, Rice University, 1991"}
    
    @techreport{ gp:sos, 
     author="Gordon Plotkin",
     title="A structural approach to operational semantics",
     institution="{A}arhus {U}niversity, {C}omputer {S}cience {D}epartment",
     type=tr,
     number="DAIMI FN-19",
     year=1981
    }
    
    @inproceedings{ cddkm:miniml,
      author="D. Clement and J. Despeyroux and T. Despeyroux and G. Kahn",
      title="A simple applicative language: {M}ini-{ML}",
      booktitle=lfp,
      year="1986",
      pages="13--28"
    }
    
    
    @phdthesis{m:lc-models,
      title="Lambda-Calculus Models of Programming Languages",
      author="Morris, J. H.",
      school="{Massachusetts Institute of Technology}",
      year=1968}
    
    @article{ gdp:cbn-cbv, 
      author="Gordon D.~Plotkin",
      title="Call-by-name, call-by-value, and the $\lambda$-calculus",
      journal=tcs,
      year=1975,
      pages="125--159"
    }
    
  • Jan 12: Denotational Semantics (High Noon, Parts 1, 2, and 3)

    @inproceedings{ cd:grad,
     author="Robert Cartwright and Alan Demers",
     title="The topology of program termination",
      booktitle="Proceedings of the Symposium on Logic in Computer Science",
      year=1988,
      pages="296--308"
    }
    
    @article{ gp:t-omega,
     author="Gordon Plotkin",
     title="{${\bf T}^\omega$} as a Universal Domain",
     journal="Journal of Computers Systems Science",
     volume=17, 
     year=1978, 
     pages="209--236"
    }
    
    @article{rm:pcf,
      author="Robin Milner",
      title="Fully abstract models of typed {$\lambda$}-calculi.",
      journal=tcs,
      volume=4,
      year=1977,
      pages="1--22"}
    
    Scott-Strachey (denotational semantics: I need to find a copy)
    
    @article{gdp:lcf-as-pl,
      author="Gordon D.~Plotkin",
      title="{LCF} Considered as a Programming Language",
      journal=tcs,
      year="1977",
      pages="223--255"}
    
    @inproceedings{dss:domains-denot-sem,
      author="Dana S.~Scott",
      title="Domains for Denotational Semantics",
      booktitle=icalp,
      year="1982"}
    
    @article{ ds:datatypes-as-lattices,
     author="Dana S. Scott",
     title="Data types as lattices",
     journal="SIAM Journal of Computing",
     volume=5
     issue=3, 
     year=1976, 
     pages="522--587"
    }
    
    @techreport{ sw:continuations, 
     author="C. Strachey and C.P. Wadsworth",
     title="Continuations: A mathematical semantics for handling full jumps",
     institution="{O}xford {U}niversity {C}omputing {L}aboratory",
     type=tr,
     number="PRG-11", 
     year=1974
    }
    
  • Jan 5: Prehistory (Administrivia, Dawn, Morning)

    @article{algol60, 
     author = "Naur, P. (Ed.)",
     title = "Rev\-ised report on the algorithmic language ALGOL 60", 
     journal = cacm, 
     volume = 6, 
     number = 1, 
     year = 1963, 
     pages = "1--17"
    }
    
    @article{ pl:secd,
     author="Peter J. Landin",
     title="The mechanical evaluation of expressions",
     journal="Computer Journal",
     year=1964,
     volume=6,
     issue=4,
     pages="308--320"
    }
    
    @article{ pl:algol, 
     author="Peter J. Landin",
     title="A correspondence between {ALGOL} 60 and {Church's} lambda
     notation",
     journal=cacm,
     year=1965,
     volume=8,
     issue=2,
     pages="89--101; 158--165"
    }
    
    @inproceedings{ pl:algol0, 
     author="Peter J. Landin",
     title="A formal description of {ALGOL} 60",
     booktitle=
      "Formal Language Description Languages for Computer Programming",
     year=1966,
     pages="266--294",
    }
    
    @article{ pl:iswim, 
     author="Peter J. Landin",
     title="The next 700 programming languages",
     journal=cacm,
     year=1966,
     volume=9,
     issue=3,
     pages="157--166"
    }
    
    @inproceedings{ jmc:basis,
     author="John McCarthy",
     title="A basis for a mathematical theory of computations",
     booktitle="Computer Programming and Formal Systems",
     editor="Braffort and Hershberg",
     year=1963,
     pages="33--70"
    }
    
    @inproceedings{ jmc:toward,
     author="John McCarthy",
     title="Towards a mathematical science of computation",
     booktitle="Information Processing: The 1962 IFIP Congress", 
     year=1963, 
     pages="21--28"
    }
    
    @inproceedings{ jmc:algol,
     author="John McCarthy",
     title="A formal description of a subset of {ALGOL}",
     booktitle=
      "Formal Language Description Languages for Computer Programming",
     year=1966,
     pages="1--12"
    }
    
    @phdthesis{m:lc-models,
      title="Lambda-Calculus Models of Programming Languages",
      author="Morris, J. H.",
      school="{Massachusetts Institute of Technology}",
      year=1968}
    
    @article{ gdp:cbn-cbv, 
      author="Gordon D.~Plotkin",
      title="Call-by-name, call-by-value, and the $\lambda$-calculus",
      journal=tcs,
      year=1975,
      pages="125--159"
    }
    

last updated on Tue Jun 9 22:21:18 EDT 2009generated with PLT Scheme