@string{ADDISON="Addison Wesley"}
@string{BENJAMIN="Benjamin/Cummings"}
@string{CAMBRIDGE="Cambridge University Press"}
@string{PRHALL="Prentice-Hall"}
@string{FREEMAN="W.~H.~Freeman"}
@string{ACADEMIC="Academic Press"}
@string{SPRINGER="Springer-Verlag"}
@string{CSPRESS="Computer Science Press"}
@string{ELSEVIER="American Elsevier"}
@string{MCGRAW="McGraw Hill"}
@string{MIT="MIT Press"}
@string{WILEY="John Wiley \& Sons"}
@string{ACM="Association for Computing Machinery"}
@string{UA="The University of Arizona"}
@string{DCS="Department of Computer Science"}
@string{PU="Princeton University"}
@string{PUDCS="Princeton University, Department of Computer Science"}
@string{DCSPU="Department of Computer Science, Princeton University"}
@string{UADCS="Department of Computer Science, The University of Arizona"}
@string{DCSUA="Department of Computer Science, The University of Arizona"}
@string{CSD="Computer Science Department"}
@string{DEECS="Department of Electrical Engineering and Computer Science"}
@string{BELLABS="Computing Science Research Center, AT\&T Bell Laboratories"}
@string{DECSRC="Systems Research Center, Digital Equipment Corp."}
@string{PARC="Palo Alto Research Center, Xerox Corp."}
@string{CMU="School of Computer Science, Carnegie Mellon University"}
@string{ETH={Departement Informatik, Institut f\"ur Computersysteme
Eidgen\"ossische Technische Hochschule}}
@string{NY="NY"}
@string{SIGNOT={{SIGPLAN} {N}otices}}
@string{JACM={{J}ournal of the {A}ssociation for {C}omputing {M}achinery}}
@string{TOPLAS={{ACM} {T}rans. on {P}rogramming {L}anguages and {S}ystems}}

@book{
  reppy99:basis,
  editor="Emden Gansner and John Reppy",
  title="The {S}tandard {ML} {B}asis {L}ibrary",
  publisher = "Cambridge University Press",
  year=2004,
  note="Available online at \url{http://sml-family.org/Basis/}"}

@inproceedings{appel91:sml,
  author="Andrew W. Appel and David B. MacQueen",
  title="{S}tandard {ML} of {N}ew {J}ersey",
  booktitle="3rd International Symp. on Prog. Lang. Implementation and Logic Programming",
  editor="Martin Wirsing",
  pages = "1-13",
  publisher = "Springer-Verlag",
  address="New York",
  year = 1991, month = aug
  }

@inproceedings{appel94:sepcomp,
  author="Andrew W. Appel and David B. MacQueen",
  title="Separate compilation for {S}tandard {ML}",
  booktitle="Proc. {SIGPLAN} '94 Symp. on Prog. Language Design and Implementation",
  pages="13--23",
  year=1994, month=jun,
  publisher ={ACM Press}}

@article{blume:appel:cm99,
  author="Matthias Blume and Andrew W. Appel",
  title="Hierarchical Modularity",
  year=1999,
  month=jul,
  journal=TOPLAS,
  volume=21,
  number=4,
  pages="790--812",
  publisher={ACM Press} }

@article{blume:depend99,
  author="Matthias Blume",
  title="Dependency Analysis for {S}tandard {ML}",
  year=1999,
  month=jul,
  journal=TOPLAS,
  volume=21,
  number=4,
  pages="813--846",
  publisher={ACM Press}}

@inproceedings{jacobson87,
  author="Ivar Jacobson",
  title="Object Oriented Development in an Industrial Environment",
  pages="183-191",
  booktitle="OOPSLA '87: Object-Oriented Programming Systems,
                  Languages and Applications",
  month=dec,
  year=1987,
  publisher="ACM SIGPLAN"}

@article{tarjan75:union,
  author="Robert E. Tarjan",
  title="Efficiency of a good but not linear set union algorithm",
  journal="Journal of the {ACM}",
  volume=22,
  number=2,
  pages="215--225",
  year=1975}

@techreport{reif82,
  author="J. H. Reif and H. R. Lewis",
  title="Efficient Symbolic Analysis of Programs",
  institution="Harvard University, Aiken Computation Laboratory",
  address="33 Oxford St., Cambridge, Mass 02138",
  year=1992,
  number="TR-37-82"}

@inproceedings{nettles93:persheap,
  author="James O'Toole and Scott Nettles and David K. Gifford",
  title="Concurrency Compacting Garbage Collection of a Persistent
                  Heap",
  pages="161-174",
  booktitle="Proceedings of the Fourteenth Symposium on Operating
                  System Principles",
  month=dec,
  year=1993,
  publisher="ACM Press"}

@techreport{bershad94:spin:tr,
  author="Brian N. Bershad and Craig Chambers and Susan Eggers and
                  Chris Maeda and Dylan McNamee and Przemys{\l}aw Pardyak
                  and Stefan Savage and Emin G{\"{u}}n Sirer",
  title="{SPIN} -- An Extensible Microkernel for Application-specific
                  Operating System Services",
  institution="Dept. of Computer Science and Engineering FR-35,
                  University of Washington",
  address="Seattle, WA 98195",
  number="94-03-03",
  year=1994,
  month=feb}

@techreport{heck92:appl-fs,
  author="Brian C. Heck and David S. Wise",
  title="An Implementation of an Applicative File System",
  institution="Computer Science Department, Indiana University",
  address="Bloomington, IN 47405-4101, USA",
  number="354",
  year=1992}

@inproceedings{dean92:mlfs,
  author="Drew Dean",
  title="A File System in {Standard ML}",
  booktitle="Proceedings of the Fourth Workshop on ML and its
                  Applications",
  publisher="ACM SIGPLAN",
  address="San Francisco, CA",
  month=jun,
  year=1992}

@techreport{campos91:distrib-ez,
  author="Alvaro E. Campos and David R. Hanson",
  title="Distributed {EZ}",
  number="CS-TR-349-91",
  institution="Department of Computer Science, Princeton University",
  year=1991,
  month=sep}

@inproceedings{fraser85:ez,
  author="C. W. Fraser and D. R. Hanson",
  title="High-level language facilities for low-level services",
  booktitle="Conference Record of the ACM Symposium on Principles of
                  Programming Languages",
  year=1985,
  pages="217-224",
  address="New Orleans, LA"}

@unpublished{blume:schsep,
  author="Matthias Blume",
  title="Separate Compilation for {S}cheme",
  note="Draft paper, circulated via the {I}nternet."}

@unpublished{blume97:hiermod,
  author="Matthias Blume and Andrew W. Appel",
  title="Hierarchical Modularity: Compilation Management for {Standard
                 ML}",
  year=1997,
  institution="Princeton University",
  note="In preparation"}

@book{blume:diplomathesis,
  author="Matthias Blume",
  title="{D}as {LISP}-{P}rogrammiersystem {yaXLISP}",
  year=1990,
  series="Seminarberichte der Sektion Mathematik",
  number="107",
  publisher="Humboldt-Universit{\"{a}}t zu Berlin",
  note="Defended as diploma thesis in 1989"}

@article{blume90:um:streams,
  author="Matthias Blume",
  title="{S}treams als flexible abstrakte {E/A-S}chnittstelle",
  journal="Unix/Mail",
  volume="90",
  number="3",
  year=1990,
  publisher="Carl Hanser Verlag",
  address="M{\"{u}}nchen"}

@article{blume92:um:xonx,
  author="Matthias Blume and Andreas Polze",
  title="{XonX} -- {W}ie funktioniert ein {F}ensterprotokoll",
  journal="Unix/Mail",
  volume="92",
  number="2",
  year=1992,
  publisher="Carl Hanser Verlag",
  address="M{\"{u}}nchen"}

@techreport{blume:hygmac,
  author="Matthias Blume",
  title="Refining Hygienic Macros for Modules and Separate
                  Compilation",
  institution="ATR Human Information Processing Research
                  Laboratories",
  number="TR-H-171",
  address="2-2, Hikaridai, Seika-cho, Soraku-gun, Kyoto 619-02,
                  Japan",
  year=1995,
  month=aug}

@techreport{blume97:thesis:tr,
  author = "Matthias Blume",
  title = "Hierarchical Modularity and Intermodule Optimization",
  institution = "Department of Computer Science, Princeton
                  University",
  number="TR-551-97",
  year = 1997,
  note="See \cite{blume:thesis}."}

@inproceedings{gunter96:dep,
  author="Carl A. Gunter",
  title="Abstracting Dependencies between Software Configuration
                  Items",
  booktitle="Proceedings of the Fourth Annual ACM SIGSOFT Symposium
                  on the Foundations of Software Engineering",
  year=1996,
  month=oct,
  pages="167--178",
  publisher="ACM Press"}

@techreport{harper:stone:97,
  author="Robert Harper and Christopher Stone",
  title="An Interpretation of {S}tandard {ML} in Type Theory",
  institution="School of Computer Science, Carnegie Mellon
                  University",
  address="Pittsburgh, PA 15213",
  number="CMU-CS-FOX-97-01",
  year=1997,
  month=jun}

@inproceedings{abadi96:depend,
  author="Mart{\'\i}n Abadi and Butler Lampson and Jean-Jacques
                  L{\'e}vy",
  title="Analysis and Caching of Dependencies",
  booktitle={{P}roc. 1996 ACM SIGPLAN {I}nternational {C}onference on
                  {F}unctional {P}rogramming ({ICFP'96})},
  month=may,
  year=1996,
  publisher="ACM Press",
  pages="83--91"}

@book{dubois:imake,
  author="Paul DuBois",
  title="Software Portability with imake, 2nd Edition",
  edition="2nd",
  month=sep,
  year=1996,
  publisher="O'Reilly and Associates",
  address="Sebastopol, CA"}

@book{brown:macros,
  author="P. J. Brown",
  title="Macro Processors and Techniques for Portable Software",
  publisher="John Wiley {\&} Sons",
  address="London, New York, Sydney, Toronto",
  year=1974}

@book{griswold:macro:snobol4,
  author="Ralph E. Griswold",
  title="The Macro Implementation of {SNOBOL4}",
  publisher="W. H. Freeman and Company",
  address="San Francisco",
  year=1972}

@article{richards:bcpl:portable,
  author="Richards, M.",
  title="The portability of the {BCPL} compiler",
  journal="Software, Practice {\&} Experience",
  volume=1,
  number=2,
  year=1971}

@book{richards:bcpl:lang+comp,
  author="Martin Richards and Colin Whitby-Strevens",
  title="{BCPL}---the language and its compiler",
  publisher="Cambridge University Press",
  address="Cambridge",
  year=1979}

@inproceedings{blume97:lsplit,
  title={Lambda-Splitting: A Higher-Order Approach to Cross-Module
                  Optimizations},
  author={Matthias Blume and Andrew W. Appel},
  booktitle={{P}roc. 1997 {ACM} {SIGPLAN} {I}nternational {C}onference on
                  {F}unctional {P}rogramming ({ICFP'97})},
  year=1997,
  month=jun,
  pages="112--124",
  publisher="ACM Press"}

@techreport{blume96:lsplit:tr,
  title="Lambda-Splitting: A Higher-Order Approach to Cross-Module
                  Optimizations",
  author="Matthias Blume and Andrew W. Appel",
  year=1996,
  month=nov,
  institution="Department of Computer Science, Princeton University",
  number="TR-537-96"}

@techreport{shao97:typecross,
 title="Typed Cross-Module Compilation",
 author="Zhong Shao",
 year=1997,
 month=jul,
 institution="Department of Computer Science, Yale University",
 number="YALEU/DCS/TR-1126"}

@inproceedings{shao97:flint,
 title="An Overview of the {FLINT/ML} Compiler",
 author="Zhong Shao",
 booktitle="Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC'97)",
 year=1997,
 month=jun}

@techreport{brown93,
title="Bridges: Tools to Extend the {Vesta} Configuration management
                  System",
author="Mark R. Brown and John R. Ellis",
year=1993,
month=jun,
number="108",
institution="Digital Equipment Corp. Systems Research Center"}

@techreport{levin93,
title="The {Vesta} Approach to Precise Configuration of Large Software
                  Systems",
author="Roy Levin and Paul R. McJones",
year=1993,
month=jun,
number="105",
institution="Digital Equipment Corp. Systems Research Center"}

@techreport{chiu93,
title="The {Vesta} Repository: A File System Extension for Software
                  Development",
author="Sheng-Yang Chiu and Roy Levin",
year=1993,
month=jun,
number="106",
institution="Digital Equipment Corp. Systems Research Center"}

@article{parnas72:decompose,
  author="D. L. Parnas",
  title="On the Criteria To Be Used in Decomposing Systems into
                  Modules",
  journal="Communications of the ACM",
  year=1972,
  volume=15,
  number=12,
  month=dec,
  pages="1053-1058"}

@article{godel31x,
author="Kurt G{\"o}del",
title="{\"{U}}ber Formal Unentscheidbare {S}{\"{a}}tze der {P}rincipia
{M}athematica and Verwandter {S}ysteme {I}.",
journal="Monatshefte f{\"{u}}r Mathematik und Physik",
volume=38, pages="173-198",  year=1931}

@inproceedings{pldi96:leone:lee:rtcg,
  author="Mark Leone and Peter Lee",
  title="Optimizing {ML} with Run-Time Code Generation",
  booktitle="Proceedings of the ACM SIGPLAN'96 Conference on
                  Programming Language Design and Implementation
                  (PLDI)",
  month=may,
  year=1996,
  pages="137-148"}

@book{cormen-leiserson-rivest,
  author="Thomas H. Cormen and Charles E. Leiserson and Ronald
                  L. Rivest",
  title="Introduction to Algorithms",
  publisher="The MIT Press",
  address="Cambridge, Massachussetts~~~London, England",
  year=1990}

@InProceedings{sosp97:oskit,
  author="Bryan Ford and Godmar Back and Greg Benson and Jay Lepreau
                  and Albert Lin and Olin Shivers",
  title="The {F}lux {OSK}it: A Substrate for Kernel and Language Research",
  booktitle="Proceedings of the 16th ACM Symposium on Operating
                  Systems Principles",
  month=oct,
  year=1997}

@InProceedings{car97:linking,
  author = "Luca Cardelli",
  title = "Program fragments, linking, and modularization",
  booktitle = "Proceedings of the 24th ACM Symposium on Principles of
                  Programming Languages",
  year = 1997,
  pages = {266-277} 
}

@TECHREPORT{shivers:scsh,
  author = "Olin Shivers",
  title = "A {Scheme} Shell",
  year = "1994",
  number = "TR-635",
  institution = "Laboratory for Computer Science, MIT"}

@Article{george:mlrisc,
  author       = "Lal George",
  title        = "{MLRISC}: Customizable and Reusable Code
                  Generators",
  year         = 1997
}  


@book{wirth:mod2,
  author="Niklaus Wirth",
  title="Programming in {MODULA-2}",
  edition="Second",
  publisher="Springer-Verlag",
  address="Berlin, Heidelberg, New York, Tokyo",
  year=1982
}

@book{appel97:modcomp-ml-bt,
  author="Andrew Appel",
  title="Modern Compiler Implementation in ML, Basic Techniques",
  publisher="Cambridge University Press",
  year=1997}

@book{milner97,
Author = "Robin Milner and Mads Tofte and Robert Harper and David MacQueen",
Title = "The Definition of {Standard ML} (Revised)",
Publisher = "MIT Press",
Address = "Cambridge, MA",
Year = 1997}


@InProceedings{   Kfoury+90,
  author        = {Kfoury, Assaf J. and Jerzy Tiuryn and Pawel Urzyczyn},
  title         = {{ML} Typability is {Dexptime}-Complete},
  booktitle     = {Proc. 15th Colloq. on Trees in Algebra and Programming},
  publisher     = {Springer LNCS 431},
  year          = {1990},
  pages         = {206-220},
  note          = {To appear in {\it J. Assoc. Comput. Machinery\/} under
                  title, "An Analysis of ML Typability".}
}

@Article{         Kfoury+94,
  author        = {Assaf J. Kfoury and Jerzy Tiuryn and Pawel Urzyczyn},
  title         = {An Analysis of {ML} Typability},
  journal       = {Journal of the ACM},
  volume        = {41},
  number        = {2},
  pages         = {368--398},
  month         = mar,
  year          = 1994,
  bibdate       = {Sat Oct 22 23:16:35 1994},
  source        = {http://www.acm.org/pubs/toc/Abstracts/0004-5411/174659.html}
}

@article{ramsey:simplified, refjournal=1,
  author="Norman Ramsey",
  title="Literate Programming Simplified",
  keywords="noweb literate programming  readability  programming languages",
  journal="IEEE Software",
  month=sep, pages="97--105",
  volume="11", number="5",
  year="1994"}

@PHDTHESIS{blume:thesis,
  author = "Matthias Blume",
  title = "Hierarchical Modularity and Intermodule Optimization",
  school = "Princeton University",
  year = 1997}

@InProceedings{pjones96:letfloat,
  author = "Simon Peyton Jones and Will Partain and Andr\'e Santos",
  title = "Let-floating: moving bindings to give faster programs",
  year = 1996,
  month = may,
  booktitle = {1996 {SIGPLAN} {I}nternational {C}onference on {F}unctional
                  {P}rogramming},
  pages = "3-12" }

@InProceedings{til96,
 author = "D. Tarditi and G. Morrisett and P. Cheng and C. Stone and
                  R. Harper and P. Lee",
 title = "{TIL}: {A} {T}ype-{D}irected {O}ptimizing {C}ompiler for
                  {ML}",
 year = 1996,
 booktitle = "1996 SIGPLAN Conference on Programming Language Design and
                  Implementation",
 publisher="ACM Press",
 address="New York"
}

@InProceedings{serrano95,
  author        = "Manuel Serrano",
  title         = {{A} {F}resh {L}ook to {I}nlining {D}ecision},
  year          = 1995,
  month         = nov,
  booktitle     = {4th International Computer Symposium},
  address       = {Mexico City, Mexico}
}

@inproceedings{DeBosschere-94,
        author =        "Koen De Bosschere and Saumya Debray and
                         David Guneman and Sampath Kannan",
        title =         "Call forwarding: a simple interprocedural
                         optimization technique for dynamically typed
                         languages",
        crossref =     "popl94",
        pages =         "409--420"}

@inproceedings{Goubault-94,
        author =        "Jean Goubault",
        title =         "Generalized boxing, congruences and partial inlining",
        booktitle =     "Static Analysis Symposium '94",
        series =        "Lecture Notes in Computer Science",
        number =        864,
        publisher =     "Springer",
        pages =         "147--161",
        year =          "1994"}

@ARTICLE(jagannathan96,
  author = "Suresh Jagannathan and Andrew Wright",
  title = "{F}low-directed {I}nlining",
  journal = "Proceedings of the ACM SIGPLAN '96 Conference on Programming
             Language Design and Implementation",
  pages = "193-205",
  month = may,
  year = "1996")

@Article{r4rs,
  author  = "William Clinger and Jonathan Rees",
  xeditor = "William Clinger and Jonathan Rees",
  title = {$\mbox{Revised}^4$ {R}eport on the {A}lgorithmic {L}anguage {S}cheme},
  journal = "LISP Pointers",
  volume = "IV",
  number = 3,
  pages = "1-55",
  month = "July-September",
  year = "1991"
}

@ARTICLE(syntactic-closures,
  author = "Chris Hanson",
  title = "{A} {S}yntactic {C}losures {M}acro {F}acility",
  journal = "LISP Pointers",
  volume = "IV",
  number = "4",
  pages = "9-16",
  month = dec,
  year = 1991)

@ARTICLE(cartwright-fagan-soft-typing,
  author = "Robert Cartwright and Mike Fagan",
  title = "Soft Typing",
  journal = "Proceedings of the ACM SIGPLAN '91 Conference on Programming
             Language Design and Implementation",
  volume = "26",
  number = "6",
  pages = "278-292",
  month = jun,
  year = "1991")


@TECHREPORT(wright-soft-types,
  author = "Andrew K. Wright and Robert Cartwright",
  title = "{A} {P}ractical {S}oft {T}ype {S}ystem for {S}cheme",
  institution = "Department of Computer Science, Rice University",
  year = "1993",
  month = dec,
  number = "TR93-218")

@MISC(clemm-odin,
  author = "Geoffrey M. Clemm",
  title = "{T}he {O}din {S}ystem --- {R}eference {M}anual",
  year = "1994")

@MISC{north93:dot,
  author = "Eleftherios Koutsofios and Stephen C. North",
  title = "Drawing graphs with {\it dot}",
  month = oct,
  year = "1993"}

@ARTICLE{tichy85:rcs,
  author = "Walter F. Tichy",
  title = "{RCS}---{A} {S}ystem for {V}ersion {C}ontrol",
  journal = "{S}oftware---{P}ractice \& {E}xperience",
  number = "7",
  volume = "15",
  month = jul,
  year = "1985",
  pages = "637-654"}

@BOOK(ml-def,
  author = "Robin Milner and Mads Tofte and Robert Harper",
  title = "{T}he {D}efinition of {S}tandard {ML}",
  publisher = "The MIT Press",
  year = "1990")


@MISC(rees-scheme48-modules,
  author = "Jonathan Rees",
  title = "{A}nother {M}odule {S}ystem for {S}cheme",
  month = jan,
  year = "1993")

@MISC(rees-june92-meeting,
  author = "Jonathan Rees",
  title = "{T}he {S}cheme of {T}hings: {T}he {J}une 1992 {M}eeting",
  month = jun,
  year = "1992")

@MISC(macqueen-tofte-functors,
  author = "David B. MacQueen and Mads Tofte",
  title = "{A} {S}emantics for {H}igher-order {F}unctors")


@INPROCEEDINGS(curtis-rauen-modules-for-scheme,
  crossref = "lfp90",
  author = "Pavel Curtis and James Rauen",
  title = "{A} {M}odule {S}ystem for {S}cheme",
  pages = "13-19")

@INPROCEEDINGS(tung-interactive-modules,
  crossref = "lfp92",
  author = "Sho-Huang Simon Tung",
  title = "{I}nteractive {M}odular {P}rogramming in {S}cheme",
  pages = "86-95")

@INPROCEEDINGS(macros-that-work,
  crossref = "popl91",
  author = "William Clinger and Jonathan Rees",
  title = "{M}acros {T}hat {W}ork",
  pages = "155-162")

@INPROCEEDINGS(leroy-weis-poly-ref,
  crossref = "popl91",
  author = "Xavier Leroy and Pierre Weis",
  title = "Polymorphic type inference and assignment",
  pages = "291-302")

@INPROCEEDINGS(shao-appel-popl93,
  crossref = "popl93",
  author = "Zhong Shao and Andrew Appel",
  title = "{S}martest {R}ecompilation",
  pages = "439-450")

@INPROCEEDINGS(leroypopl94,
  crossref = "popl94",
  author = "Xavier Leroy",
  title = "{M}anifest {T}ypes, {M}odules and {S}eparate {C}ompilation",
  pages = "109-122")

@INPROCEEDINGS(harper-lee-pfenning-rollins-CM,
  crossref = "sigplan-mlshop94",
  author = "Robert Harper and Peter Lee and Frank Pfenning and Eugene
		  Rollins",
  title = "{A} {C}ompilation {M}anager for {S}tandard {ML} of {N}ew {J}ersey",
  pages = "136-147")

@INPROCEEDINGS(bawden-rees-synclo,
  crossref = "lfp88",
  author = "Alan Bawden and Jonathan Rees",
  title = "{S}yntactic {C}losures",
  pages = "86-95")


@PROCEEDINGS(lfp88,
  title = {1988 {ACM} {C}onference on {L}isp and {F}unctional {P}rogramming},
  booktitle = {1988 {ACM} {C}onference on {L}isp and {F}unctional {P}rogramming},
  key = "LFP'88",
  year = "1988")

@PROCEEDINGS(lfp90,
  title = "1990 ACM Conference on Lisp and Functional Programming",
  booktitle = "1990 ACM Conference on Lisp and Functional Programming",
  key = "LFP'90",
  year = "1990")

@PROCEEDINGS(lfp92,
  title = "1992 ACM Conference on Lisp and Functional
           Programming",
  booktitle = "1992 ACM Conference on Lisp and Functional
           Programming",
  key = "LFP'92",
  year = "1992")

@PROCEEDINGS(popl91,
  title = "Eighteenth Annual ACM Symposium on Principles
		  of Programming Languages",
  booktitle = "Eighteenth Annual ACM Symposium on Principles
		  of Programming Languages",
  key = "POPL'91",
  year = "1991")

@PROCEEDINGS(popl93,
  title = "Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles
		  of Programming Languages",
  booktitle = "Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles
		  of Programming Languages",
  key = "POPL'93",
  year = "1993")

@PROCEEDINGS{popl94,
  title = "POPL '94: 21ST ACM SIGPLAN-SIGACT Symposium on Principles
		  of Programming Languages",
  booktitle = "POPL '94: 21ST ACM SIGPLAN-SIGACT Symposium on Principles
		  of Programming Languages",
  key = "POPL'94",
  year = "1994"}

@PROCEEDINGS{sigplan-mlshop94,
  title = "1994 ACM SIGPLAN Workshop on ML and its Applications",
  booktitle = "1994 ACM SIGPLAN Workshop on ML and its Applications",
  year = "1994"}

@PHDTHESIS{kohlbecker-thesis,
  author = "Eugene Kohlbecker",
  title = "{S}yntactic {E}xtensions in the {P}rogramming {L}anguage {L}isp",
  school = "Indiana University, Bloomington",
  month = aug,
  year = "1986"}

@TECHREPORT{dybvig-syntax-case,
  title="{W}riting {H}ygienic {M}acros in {S}cheme with {S}yntax-{C}ase",
  author="R. Kent Dybvig",
  year=1992,
  month=jun,
  number=356,
  institution="Indiana University Computer Science Department"}

@MISC{ieee-scheme,
  key="IEEE P1178",
  title="{IEEE} {S}tandard 1178-1990: {IEEE} {S}tandard for the {S}cheme
		  {P}rogramming {L}anguage",
  year="1990"}

@ARTICLE{rees-sot-hygmac,
  author = "Jonathan Rees",
  title = "{T}he {S}cheme of {T}hings: {I}mplementing {L}exically
		  {S}coped {M}acros",
  journal = "LISP Pointers",
  volume = "VI",
  number = 1,
  pages = "33-37",
  month = "January-March",
  year = 1993 }

@MISC{blume-modules,
  author = "Matthias Blume",
  title = "{S}eparate {C}ompilation for {S}cheme",
  month = jan,
  year = 1994 }

@BOOK{k&r2,
  author = "Brian W. Kernighan and Dennis M. Ritchie",
  title = "{T}he {C} {P}rogramming {L}anguage, {S}econd {E}dition",
  publisher = "Prentice Hall",
  address = "Englewood Cliffs, New Jersey 07632",
  year = 1988}

@MISC{scheme48-modules,
  author = "Jonathan Rees",
  title = "{A}nother {M}odule {S}ystem for {S}cheme",
  month = jan,
  year = 1993,
  note = "Distributed with Scheme48"}

@inproceedings{felleisen93:essence,
  author = "Cormac Flanagan and Amr Sabry and Bruce F. Duba and
                  Matthias Felleisen",
  title = "{T}he {E}ssence of {C}ompiling with {C}ontinuations",
  booktitle = "1993 Conference on Programming Language Design and
                  Implementation.",
  month = jun,
  pages = "21-25",
  year = "1993"
}

@techreport{capitl:tr:93,
  author = "Paul Adams and Marvin Solomon",
  title = "An Overview of the {CAPITL} Software Development Environment",
  year = 1993,
  month = apr,
  number = "CS-TR-93-1143",
  institution = "Computer Sciences Department, University of Wisconsin -- Madison" }

@TechReport{bauer99,
  author = 	 {Lujo Bauer and Andrew W. Appel and Edward W. Felten},
  title = 	 {Mechanisms for Secure Modular Programming in {J}ava},
  institution =  {Department of Computer Science, Princeton University},
  year = 	 1999,
  number = 	 {TR-603-99},
  month = 	 jul,
}

@unpublished{ocaml99,
  key="OCAML",
  title = "The {O}bjective {C}aml system (release 2.04)",
  author = "Xavier Leroy",
  month = nov,
  year = 1999, 
  note = "(with Didier R\'{e}my, J\'{e}r\^{o}me Vouillon and Damien Doligez),
          Institut National de Recherche en Informatique et en Automatique"}

@inproceedings{minamide98:unbox,
  author={Yasuhiko Minamide and Jacques Garrigue},
  title={On the Runtime Complexity of Type-Directed Unboxing},
  booktitle={Proc. 1998 ACM SIGPLAN International Conference on
             Functional Programming (ICFP'98)},
  year=1998,
  month=sep,
  pages="1--12",
  publisher="ACM Press"}

@misc{monnier00:pc,
  Author = {Stefan Monnier},
  howpublished = {personal communication},
  month=jan,
  year=2000}

@inproceedings{Massalin87,
  AUTHOR = {H. Massalin},
  TITLE = {Superoptimizer-A Look at the Smallest Program},
  YEAR = 1987,
  BOOKTITLE = {Proc.\ of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II)},
  ADDRESS = {Palo Alto, CA},
  PAGES = {122-126},
  KEYWORDS = {}}

@techreport{blume00:lamch,
  author = "Matthias Blume",
  title = {{${\lambda}^{\bowtie}$}: Using Nondeterministic Choice as Part
           of a Deterministic Calculus},
  institution = {Research Institute for Mathematical Sciences, Kyoto
                 University},
  year = 2000,
  number = {RIMS-1283},
  month = jul}

@unpublished{blume00:newcm,
  author = "Matthias Blume",
  title = "{CM}: The {SML/NJ} Compilation and Library Manager",
  institution = "Kyoto University, Research Institute for Mathematical Sciences",
  note = "Manual accompanying {SML/NJ} software",
  year = 2000}


@unpublished{blume01:newcm,
  author = "Matthias Blume",
  title = "{CM}: The {SML/NJ} Compilation and Library Manager",
  institution = "Lucent Technologies, Bell Laboratories",
  note = "Manual accompanying {SML/NJ} software",
  year = 2001}

@unpublished{blume02:cmb,
  author = {Matthias Blume},
  title = {{CMB}: The {SML/NJ} Bootstrap Compiler},
  note = "Manual accompanying {SML/NJ} software",
  year = 2002}

@misc{fisher-pucella-reppy:dli,
  howpublished = {Bell Labs Technical Memorandum},
  author = {Kathleen Fisher and Riccardo Pucella and John Reppy},
  title = {Data-Level Interoperability},
  institution = {Lucent Technologies, Bell Laboratories},
  year = 2000,
  month = apr}

@techreport{monnier-blume-shao:cfi,
  author = {Stefan Monnier and Matthias Blume and Zhong Shao},
  title = {Cross-Function Inlining in {FLINT}},
  institution = {Dept. of Computer Science, Yale University},
  number = {YALEU/DCS/RR-1189},
  year = 1999,
  month = mar}

@inproceedings{hdirect,
  author = {S. Finne and D. Leijen and E. Meijer and S. Peyton Jones},
  title = {{H/Direct}: A Binary Foreign Language Interface for {Haskell}},
  booktitle={Proc. 1998 ACM SIGPLAN International Conference on
             Functional Programming (ICFP'98)},
  pages = {153--162},
  year = 1998,
  month = sep}

@unpublished{camlidl,
  author = {Xavier Leroy},
  title = {{CamlIDL} user's manual},
  year = 1999,
  month = mar,
  note = {available from {\tt http://caml.inria.fr/camlidl/}}}

@techreport{huelsbergen,
  author = {Lorenz Huelsbergen},
  title = {A portable {C} interface for {S}tandard {ML} of {N}ew {J}ersey},
  year = 1996,
  month = jan,
  institution = {AT\&T Bell Laboratories}}

@inproceedings{fisher-pucella-reppy:interop,
  author = {Kathleen Fisher and Riccardo Pucella and John Reppy},
  title = {A Framework for Interoperability},
  booktitle = {{BABEL'01}},
  year = 2001,
  month = sep,
  volume = "to appear"}

@article{appel:mcallester:types01,
 author = {Andrew W. Appel and David McAllester},
 title = {An indexed model of recursive types for foundational proof-carrying code},
 journal = TOPLAS,
 volume = {23},
 number = {5},
 year = {2001},
 issn = {0164-0925},
 pages = {657--683},
 publisher = {ACM Press}
}

@article{rice:theorem,
  author = {H. G. Rice},
  title = {Classes of Recursively Enumerable Sets and Their Decision Problems},
  journal = {Trans. Amer. Math. Soc.},
  volume= {74},
  pages = {358--366},
  year = {1953} }

@article{drscheme:overview,
    author = "Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Kristnamurthi",
    title = {The {DrScheme} Project: An Overview},
    journal = {{SIGPLAN} {N}otices},
    volume = "33",
    number = "6",
    pages = {17--23},
    year = "1998",
    url = "citeseer.nj.nec.com/felleisen98drscheme.html" } 

@article{ drscheme:jfp,
  author =       {Robert Bruce Findler and John Clements and Cormac Flanagan, Matthew Flatt and Shriram Krishnamurthi and Paul Steckler and Matthias Felleisen},
  title =        {{DrScheme}: A Programming Environment for {Scheme}},
  journal =      {{J}ournal of {F}unctional {P}rogramming},
  volume =       {12},
  number =       {2},
  pages =        {159--182}, 
  month =        {March},
  year =         {2002},
  url = "citeseer.nj.nec.com/findler01drscheme.html" } 

@article{felleisen:hieb:eval-contexts,
    author = "Matthias Felleisen and Robert Hieb",
    title = "A Revised Report on the Syntactic Theories of Sequential Control and State",
    journal = "Theoretical Computer Science",
    volume = "103",
    number = "2",
    pages = "235--271",
    year = "1992",
    url = "citeseer.nj.nec.com/felleisen92revised.html" } 

@inproceedings{findler:felleisen:contracts02,
 author = {Robert Bruce Findler and Matthias Felleisen},
 title = {Contracts for higher-order functions},
 booktitle = {Proc. of the 7th {ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming},
 year = {2002},
 isbn = {1-58113-487-8},
 pages = {48--59},
 location = {Pittsburgh, PA, USA},
 publisher = {ACM Press},
 } 

@book{peyton-jones:haskell,
  author = "Simon Peyton Jones",
  title = {Haskell 98 Language and Libraries},
  publisher = {Cambridge University Press},
  year = 2003,
  isbn = {0521826144}}

@inproceedings{ bruce97comparing,
    author = "Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce ",
    title = "Comparing Object Encodings",
    booktitle = "Theoretical Aspects of Computer Software",
    pages = "415-438",
    year = "1997",
    url = "citeseer.nj.nec.com/bruce98comparing.html" }

@inproceedings{scott72:contlatt,
  author = "D. S. Scott",
  title = "Continuous Lattices",
  booktitle = "Toposes, Algebraic Geometry and Logic",
  editor = "F. W. Lawvere",
  pages = "97--136",
  series = "Lecture Notes in Mathematics",
  volume = 274,
  publisher = "Springer",
  year = 1972}

@book{dijkstra76,
  author="Edsger W. Dijkstra",
  title="A Discipline of Programming",
  year=1976,
  publisher="Prentice-Hall"}

@techreport{fbf04:contract-project-tr,
  title="An Investigation of Contracts as Projections",
  author="Robert Bruce Findler and Matthias Blume and Matthias Felleisen",
  institution="University of Chicago Computer Science Department", 
  year=2004,
  number="TR-2004-02",
  url="http://www.cs.uchicago.edu/research/publications/techreports/TR-2004-02"
}

@INPROCEEDINGS{ BrusEekeLeer+87,
  AUTHOR    = {T.H. Brus and M.C. van Eekelen and M.O. van Leer and M.J. Plasmeijer},
  TITLE     = {{C}{L}{E}{A}{N}: {A} {L}anguage for {F}unctional {G}raph {R}ewriting},
  EDITOR    = {G. Kahn},
  BOOKTITLE = {{P}roc. of the {C}onf. on {F}unctional {P}rogramming {L}anguages 
               and {C}omputer {A}rchitecture ({FPCA'87}), {P}ortland, {O}regon, {USA}},
  SERIES    = {{L}ecture {N}otes in {C}omputer {S}cience},
  VOLUME    = {274},
  PUBLISHER = {Springer-Verlag, Berlin, Germany},
  YEAR      = 1987,
  PAGES     = {},
  NOTE      = {},
  CONTENTS  = {},
  TOPICS    = {Clean}
}

@inproceedings{blume:mcallester:contracts04,
  title={A Sound (and Complete) Model of Contracts},
  author={Matthias Blume and David McAllester},
  booktitle={Proc. 2004 {ACM} {SIGPLAN} {I}nternational {C}onference on
                  {F}unctional {P}rogramming ({ICFP'04})},
  year=2004,
  month=sep,
  pages="189--200",
  publisher="ACM Press"}

@book{eiffel,
  author={Bertrand Meyer},
  title={{Eiffel}: {T}he {L}anguage},
  year=1992,
  publisher="Prentice-Hall"}

@inproceedings{ flatt98units,
    author = "Matthew Flatt and Matthias Felleisen",
    title = "Units: Cool Modules for {HOT} Languages",
    booktitle = "Proceedings of the {ACM} {SIGPLAN}~'98 Conference on Programming Language Design and Implementation",
    pages = "236--248",
    year = "1998" }
    url = "citeseer.ist.psu.edu/flatt98units.html" }

@inproceedings{ dreyer04type,
  author = "Derek Dreyer",
  title = "A type system for well-founded recursion",
  booktitle = "31st ACM Symposium on Principles of Programming Languages",
  year = "2004",
  pages = {293--305} }

@misc{lal-george:personal-communication,
  Author = {Lal George},
  howpublished = {personal communication},
  year=2004}

@misc{robby-findler:personal-communication,
  Author = {Robert B. Findler},
  howpublished = {personal communication},
  year=2005}

@book{OpenGL,
 author = {Dave Schreiner and Dave (Ed.) Schreiner and Dave Shreiner},
 title = {OpenGL Reference Manual: The Official Reference Document to OpenGL, Version 1.2},
 year = {1999},
 isbn = {0201657651},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
 }

@book{xlib,
 author = {Robert W. Scheifler and James Gettys},
 title = {X window system (3rd ed.): the complete reference to Xlib, X Protocol, ICCCM, XLFD},
 year = {1991},
 isbn = {1-55558-088-2},
 publisher = {Digital Press},
 address = {Newton, MA, USA},
 }

@misc{libsdl,
key="SDL",
title="{S}imple {D}irectmedia {L}ayer",
howpublished = "http://www.libsdl.org/index.php"}

@article{blume01:nlffi,
  author    = {Matthias Blume},
  title     = {No-Longer-Foreign: Teaching an ML compiler to speak C "natively".},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {59},
  number    = {1},
  year      = {2001},
  ee        = {http://www.elsevier.nl/locate/entcs/volume59.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Direct3D,
author = {Alan Thorn},
title = {DirectX 9 Graphics: The Definitive Guide to Direct 3D},
year = {2005},
isbn = {1556222297},
publisher = {Worldware Publishing}}

@misc{Ant,
key="Ant",
title = {The {A}pache {A}nt {P}roject},
howpublished = "http://ant.apache.org/"}

@misc{Cons,
key="Cons",
title = {CONS: {A} {M}ake replacement},
howpublished = "http://www.dsmit.com/cons/"}

@misc{SCons,
author = {The {SCons} {F}oundation},
title = {SCons: A software construction tool},
howpublished = "http://www.scons.org/"}

@misc{Cabal,
key="Cabal",
title = {The {H}askell {C}abal},
howpublished = "http://www.haskell.org/cabal/"}

@misc{c--,
key="cminusminus",
title = {{\texttt{C--}}},
howpublished = "http://www.cminusminus.org/"}

@inproceedings{hicks00:dynlink,
 author = {Michael W. Hicks and Stephanie Weirich and Karl Crary},
 title = {Safe and Flexible Dynamic Linking of Native Code},
 booktitle = {TIC '00: Selected papers from the Third International Workshop on Types in Compilation},
 year = {2001},
 isbn = {3-540-42196-3},
 pages = {147--176},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{Sewell01:modules,
  author    = {Peter Sewell},
  title     = {Modules, abstract types, and distributed versioning.},
  booktitle = {POPL},
  year      = {2001},
  pages     = {236-247},
  ee        = {http://doi.acm.org/10.1145/360204.360225},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@misc{Moby,
author="John H. Reppy and Kathleen Fisher",
title="Moby",
howpublished="http://moby.cs.uchicago.edu/"}

@misc{PrincetonPCC,
author = {Andrew Appel and David Walker and  Roberto Virga and
          Neophytos Michael and Kedar Swadi  and Amal Ahmed and
          Juan Chen and Gang Tan and Simon Ou and Chris Richards and
          Dinghao Wu},
title = "Foundational Proof-Carrying Code",
howpublished = "http://www.cs.princeton.edu/sip/projects/pcc/"}

@PHDTHESIS{findler:phd,
  author = "Robert B. Findler",
  title = "Behavioral Software Contracts",
  school = "Rice University",
  year = 2002}

@book{rogers:computability,
 author = {Hartley Rogers, Jr.},
 title = {Theory of recursive functions and effective computability},
 year = {1987},
 isbn = {0-262-68052-1},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

 @article(jateg-mitchell,
        Author="Jategaonkar, L. and Mitchell, J.C.",
        Title="Type inference with extended pattern matching and subtypes",
        Journal="Fund. Informaticae",
        Year="1993",volume="19",pages="127--166",
        Note="Preliminary version appeared in
        {\it Proc. ACM Symp. Lisp and Functional  
        Programming Languages,} 1988, 198-212")

@InProceedings{Wand87b,
  author =      "Mitchell Wand",
  title =       "Complete Type Inference for Simple Objects",
  booktitle =   "Proc. 2nd IEEE Symposium on Logic in Computer Science",
  year =        "1987",
  OPTeditor =   "",
  pages =       "37-44",
  OPTorganization =     "",
  OPTpublisher =        "",
  OPTaddress =  "",
  OPTmonth =    "",
  abstract =    "We consider the problem of strong typing for a model
                 of object-oriented programming systems.  These
                 systems permit values which are records of other
                 values, and in which fields inside these records are
                 retrieved by name.  We propose a type system which
                 allows us to classify these kinds of values and to
                 classify programs by the type of their result, as is
                 usual in strongly-typed programming languages.  Our
                 type system has two important properties:  it admits
                 multiple inheritance, and it has a syntactically
                 complete type inference system."
}

@inproceedings{AcarBlHa02,
  author =       "Umut A. Acar and Guy E. Blelloch and Robert Harper",
  title =        "Adaptive functional programming",
  booktitle =    "Proceedings of the 29th Annual {ACM} Symposium on
                  Principles of Programming Languages",
  pages =        "247--259",
  year =         "2002",
  url =          "citeseer.nj.nec.com/article/acar01adaptive.html",
}

@inproceedings{george:blume03:nova,
 author = {Lal George and Matthias Blume},
 title = {Taming the {IXP} network processor},
 booktitle = {PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation},
 year = {2003},
 isbn = {1-58113-662-5},
 pages = {26--37},
 location = {San Diego, California, USA},
 doi = {http://doi.acm.org/10.1145/781131.781135},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{odersky95:overloading,
 author = {Martin Odersky and Philip Wadler and Martin Wehr},
 title = {A second look at overloading},
 booktitle = {FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture},
 year = {1995},
 isbn = {0-89791-719-7},
 pages = {135--146},
 location = {La Jolla, California, United States},
 doi = {http://doi.acm.org/10.1145/224164.224195},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{mitchell:plotkin88:existential,
  author    = {John C. Mitchell and
               Gordon D. Plotkin},
  title     = {Abstract Types Have Existential Type.},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {10},
  number    = {3},
  year      = {1988},
  pages     = {470-502},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ohori95,
  author    = {Atsushi Ohori},
  title     = {A Polymorphic Record Calculus and Its Compilation.},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {17},
  number    = {6},
  year      = {1995},
  pages     = {844-895},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{garrigue94,
    author = "Jaques Garrigue and Hassan A{\"\i}t-Kaci",
    title = "The Typed Polymorphic Label-Selective lambda-Calculus",
    booktitle = "{ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL}), {P}ortland, {O}regon",
    pages = "35--47",
    year = "1994" }

@article{blume:mcallester:contracts06,
author="Matthias Blume and David McAllester",
title="Sound and Complete Models of Contracts",
journal="Journal of Functional Programming",
year=2006}

@misc{MITScheme,
author = {Chris Hanson},
title = {MIT Scheme},
year = {2003},
howpublished = "http://www.swiss.ai.mit.edu/projects/scheme/"}

@misc{PLTScheme,
key={PLT},
title = {{PLT} {S}cheme},
year = {2005},
howpublished = "http://www.plt-scheme.org/"}

@misc{chez,
author="Cadence Research Systems",
key="Cadence",
title="Chez Scheme",
year={2004},
howpublished = "http://www.scheme.com"}

@misc{ghc,
author="Simon Marlow",
title={The {G}lasgow {H}askell {C}ompiler},
year={2005},
howpublished = "http://www.haskell.org/ghc/"}

@misc{hugs,
key="hugs",
title={{HUGS}},
year={2005},
howpublished = "http://www.haskell.org/hugs/"}

@misc{vscm,
author="Matthias Blume",
title={{VSCM} {---} A portable {Scheme} implementation},
year={1997},
howpublished="http://www.cs.princeton.edu/~blume/vscm/"}

@inproceedings{ mccarthy63basis,
    author = "John McCarthy",
    title = "{A Basis for a Mathematical Theory of Computation}",
    booktitle = "Computer Programming and Formal Systems",
    publisher = "North-Holland, Amsterdam",
    editor = "P. Braffort and D. Hirschberg",
    pages = "33--70",
    year = "1963",
    url = "citeseer.ist.psu.edu/mccarthy63basis.html" }

@inproceedings{blume:mlpolyr06,
  author = {Matthias Blume and Umut Acar and Wonseok Chae},
  title = {Extensible Programming  with First-Class Cases},
  booktitle={{P}roc. 2006 ACM SIGPLAN {I}nternational {C}onference on
                  {F}unctional {P}rogramming ({ICFP'06})},
  month=sep,
  year=2006,
  publisher="ACM Press"}


@inproceedings{acar:sal05,
  title = {A Library for Self-Adjusting Computation},
  author = {Umut Acar and Guy Blelloch and Matthias Blume and Robert Harper and Kanat Tangwongsan},
  booktitle = {2005 {ACM} {SIGPLAN} Workshop on {ML}},
  year = 2005,
  month = sep}

@inproceedings{acar:sap06,
  title = {An Experimental Analysis of Self-Adjusting Computatation},
  author = {Umut A. Acar and Guy E. Blelloch and Matthias Blume and Kanat Tangwongsan},
  booktitle="Proceedings of the ACM SIGPLAN'06 Conference on
                  Programming Language Design and Implementation
                  (PLDI)",
  month=jun,
  year=2006}

@inproceedings{acar:sound07,
  title = {A Consistent Semantics of Self-Adjusting Computation},
  author = {Umut A. Acar and Matthias Blume and Jacob Donham},
  booktitle="Proceedings of the 16th European Symposium on Programming (ESOP)",
  year = 2007,
  month = mar,
  pages="458--474" }

@inproceedings{dreyer:blume:inference07,
  title = {Principal Type Schemes for Modular Programs},
  author = {Derek Dreyer and Matthias Blume},
  booktitle="Proceedings of the 16th European Symposium on Programming (ESOP)",
  year = 2007,
  month = mar,
  pages="441--457" }

@inproceedings{findler:blume:contracts06,
  title = {Contracts as Pairs of Projections},
  author = {Robert Bruce Findler and Matthias Blume},
  booktitle = {Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS)},
  year = 2006,
  address = "Fuji Susono, Japan",
  note = "Appeared in Lecture Notes in Computer Science (LNCS), Volume 3945, 2006"}

@misc{blume+:07:exn,
  author={Matthias Blume and Umut A. Acar and Wonseok Chae},
  title={Exception Handlers as Extensible Cases},
  note="Submitted",
  year=2007
}

@misc{ahmed+blume:07:eq,
  author={Amal Ahmed and Matthias Blume},
  title={Equivalence-Preserving Compilation},
  note="Submitted",
  year=2007
}

@inproceedings{acar+:07:imp,
  title={Imperative Self-Adjusting Computation},
  author={Umut A. Acar and Amal Ahmed and Matthias Blume},
  booktitle={{ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL}), {S}an {F}rancisco},
  month=jan,
  year=2008,
  note="To appear"
}

@inproceedings{nanevski07:htthol,
title = "Abstract Predicates and Mutable {ADT}s in {H}oare {T}ype {T}heory",  
author = "Aleksandar Nanevski and Amal Ahmed and Greg Morrisett and Lars Birkedal", 
booktitle = {ESOP'07},
year = {2007},
pages = "189--204"}

@manual{appel89:lex,
  author="Andrew W. Appel and James S. Mattson and David R. Tarditi",
  title="A lexical analyzer generator for {Standard ML}",
  year=1989, month=dec,
  note="Available from \url{http://smlnj.org}"
}

@manual{tarditi90:yacc,
  author="David R. Tarditi and Andrew W. Appel",
  title="{ML}-{Y}acc, version 2.0",
  year = 1990, month = apr,
  note="Available from \url{http://smlnj.org}"
}

@article{tichy94,
  author="Rolf Adams and Walter Tichy and Annette Weinert",
  title="The cost of selective recompilation and environment processing",
  journal="{ACM} {TOSEM}",
  volume = 3, number = 1,
  year = 1994, month = jan,
  pages = "3-28"
}

@incollection{feldman79,
  author="S. I. Feldman",
  title="Make -- a program for maintaining computer programs",
  booktitle="Unix Programmer's Manual, Seventh Edition",
  volume="{2A}",
  publisher="Bell Laboratories",
  year=1979
}

@manual{mlburg93,
  author="Florent Guillaume and Lal George",
  title="{ML-Burg} Documentation",
  organization="AT\&T Bell Laboratories",
  year = 1993,
  note="Available from \url{http://smlnj.org}"
}

@techreport{harper94:irm,
  author="Robert Harper and Peter Lee and Frank Pfenning and Eugene Rollins",
  title="Incremental recompilation for {Standard ML} of {New Jersey}",
  number="CMU-CS-94-116",
  institution="Department of Computer Science, Carnegie-Mellon University",
  year = 1994, month=feb
}