proceedings.bib

@proceedings{AFP:08,
	Optaddress = {Nijmegen, The Netherlands},
	Booktitle = {Advanced Functional Programming, Sixth International School},
	Opteditor = {Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse},
	Optmonth = May,
	Number = 5382,
	Publisher = {Springer},
	Series = LNCS,
	Title = {Advanced Functional Programming, Sixth International School},
	Year = 2008}

@proceedings{CC:03,
	Optaddress = {Warsaw, Poland},
	Booktitle = {CC~~2003: Proceedings of the 12th international conference on Compiler construction},
	Opteditor = {Hedin, G\"{o}rel},
	Publisher = {Springer},
        series = LNCS,
        volume = {2622},
	Year = {2003}}

@proceedings{DLS:07,
	Optaddress = {Montreal, Quebec, Canada},
	Booktitle = {{DLS~2007: Proceedings of the 2007 symposium on Dynamic languages}},
	Opteditor = {Costanza, Pascal and Hirschfeld, Robert},
	Title = {{DLS~2007: Proceedings of the 2007 symposium on Dynamic languages}},
	Year = {2007}}

@proceedings{ECOOP:03,
	Optaddress = {Darmstadt, Germany},
	Booktitle = {ECOOP~2003: Proceedings of the 18th European conference on Object-Oriented Programming},
	Opteditor = {Luca Cardelli},
	Title = {ECOOP~2003: Proceedings of the 18th European
                  conference on Object-Oriented Programming},
        series = LNCS,
        volume = {2743},
        publisher = {Springer},
	Year = {2003}}

@proceedings{ECOOP:04,
	Optaddress = {Oslo, Norway},
	Booktitle = {ECOOP~2004: Proceedings of the 18th European conference on Object-Oriented Programming},
	Opteditor = {Martin Odersky},
	Title = {ECOOP~2004: Proceedings of the 18th European
                  conference on Object-Oriented Programming},
        series = LNCS,
        volume = {3086},
        publisher = {Springer},
	Year = {2004}}

@proceedings{ECOOP:06,
	Optaddress = {Nantes, France},
	Booktitle = {ECOOP~2006: Proceedings of the 20th European conference on Object-Oriented Programming},
	Opteditor = {Dave Thomas},
	Title = {ECOOP~2006: Proceedings of the 20th European
                  conference on Object-Oriented Programming},
        series = LNCS,
        volume = {4067},
        publisher = {Springer},
	Year = {2006}}

@proceedings{ECOOP:07,
	Optaddress = {Berlin, Germany},
	Booktitle = {ECOOP~2007: Proceedings of the 21st European conference on Object-Oriented Programming},
	Opteditor = {Erik Ernst},
	Title = {ECOOP~2007: Proceedings of the 21st European
                  conference on Object-Oriented Programming},
        series = LNCS,
        volume = {4609},
        publisher = {Springer},
	Year = {2007}}

@proceedings{ECOOP:08,
	Optaddress = {Paphos, Cyprus},
	Booktitle = {Proceedings of the 22nd European conference on
                  Object-Oriented Programming (ECOOP~2008)},
	Opteditor = {Jan Vitek},
	Title = {ECOOP~2008: Proceedings of the 22nd European
                  conference on Object-Oriented Programming},
        series = {LNCS},
        volume = {5142},
        publisher = {Springer},
	Year = {2008}}

@proceedings{ECOOP:09,
	Optaddress = {Genova, Italy},
	Booktitle = {Proceedings of the 23rd European conference on Object-Oriented Programming (ECOOP~2009)},
	Opteditor = {Sophia Drossopoulou},
        series = {LNCS},
        volume = {5653},
        publisher = {Springer},
	Year = {2009}}

@proceedings{ECOOP:10,
  Opteditor    = {Theo D'Hondt},
  Optaddress = {Maribor, Slovenia},
  optbooktitle = {Proceedings of the 24th European Conference
                  Object-Oriented Programming (ECOOP~2010)},
  Opttitle     = {ECOOP 2010: Proceedings of the 24th European
                Conference Object-Oriented Programming},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6183},
  booktitle = {ECOOP},
  year      = {2010},
}

@proceedings{ECOOP:11,
	Optaddress = {Lancaster, UK},
	Booktitle = {ECOOP~2011: Proceedings of the 25th European conference on Object-Oriented Programming},
	Opteditor = {Mira Mezini},
        series = LNCS,
        volume = {6813},
        publisher = {Springer},
	Title = {ECOOP~2011: Proceedings of the 25th European conference on Object-Oriented Programming},
	Year = {2011}}


@proceedings{ECOOP:14,
	Optaddress = {Uppsala, Sweden},
	optBooktitle = {Proceedings of the 28th European conference on Object-Oriented Programming (ECOOP~2014)},
        booktitle = {ECOOP},
	Opteditor = {??},
        series = {LNCS},
        volume = {8586},
        publisher = {Springer},
	optTitle = {ECOOP~2011: Proceedings of the 25th European conference on Object-Oriented Programming},
	Year = {2014}}


@proceedings{ESOP:07,
	Optaddress = {Braga, Portugal},
	booktitle = {ESOP},
        optbooktitle = {ESOP},
	Opteditor = {Rocco De Nicola},
        publisher = {Springer},
        series = {LNCS},
        volume = {4421},
	optTitle = {ESOP~2007: Proceedings of the 16th European Symposium on Programming Languages and Systems},
	year = {2007}}

@proceedings{ESOP:09,
	Optaddress = {York, UK},
	Booktitle = {Proceedings of the 18th European Symposium on Programming Languages and Systems (ESOP~2009)},
	Opteditor = {Giuseppe Castagna},
        publisher = {Springer},
	optKey = {ESOP~2009},
	optTitle = {ESOP~2009: Proceedings of the 18th European Symposium
                  on Programming Languages and Systems},
        series = {LNCS},
        volume = {5502},
	Year = {2009}}

@proceedings{ESOP:11,
	Optaddress = {Saarbr\''{u}cken, Germany},
	optBooktitle = {ESOP~2011: Proceedings of the 20th European Symposium on Programming Languages and Systems},
	Opteditor = {Gilles Barthe},
        publisher = {Springer},
	booktitle = {ESOP},
	series = {LNCS},
        volume    = {6602},
	Year = {2011}}

@proceedings{ESOP:12,
	Optaddress = {Tallinn, Estonia},
	Booktitle = {ESOP},
	Opteditor = {Helmut Seidl},
        optvolume = {7211},
        publisher = {Springer},
	optTitle = {ESOP~2012: Proceedings of the 21th European Symposium
                  on Programming Languages and Systems},
	Year = {2012}}

@proceedings{ESOP:13,
	Optaddress = {Rome, Italy},
	optBooktitle = {ESOP},
        Booktitle = {ESOP}, 
	Opteditor = {Matthias Felleisen and Philippa Gardner},
        volume = {7792},
        series = LNCS,
        publisher = {Springer},
	optTitle = {ESOP~2013: Proceedings of the 22nd European Symposium
                  on Programming Languages and Systems},
	Year = {2013}}

@proceedings{ESOP:14,
  Opteditor    = {Zhong Shao},
  booktitle = {ESOP},
  optbooktitle = {Proceedings of the 23rd European Symposium on Programming Languages and Systems (ESOP~2014)},  
  publisher = {Springer},
  series = {LNCS},
  volume    = {8410},
  year      = {2014}
}


@proceedings{ICALP:14,
  Booktitle = {ICALP~(2)},
  optBooktitle = {Proceedings of the 41st International Colloquium Automata, Languages, and Programming (ICALP~2014). Part
               {II}},  
  publisher = {Springer},
  series = LNCS,
  volume    = {8573},
  year      = {2014}
}

@proceedings{FMOODS:08,
	Optaddress = {Oslo, Norway},
	Booktitle = {FMOODS~2008: Proceedings of the 10th international conference on Formal Methods for Open Object-Based Distributed Systems},
	Opteditor = {Barthe, Gilles and de Boer, Frank},
	Publisher = {Springer},
	Year = {2008}}

@proceedings{ICSE:06,
        title = {{ICSE ~2006: Proceedings of the 28th international conference on Software engineering}},
        booktitle = {{ICSE ~2006: Proceedings of the 28th international conference on Software engineering}},
        year = {2006},
        address = {Shanghai, China}} 

@proceedings{LDTA:11,
	Optaddress = {Saarbr\"ucken, Germany},
	Booktitle = {LDTA~2011: Proceedings of the 11th International Workshop on Language Descriptions, Tools, and Applications},
	Opteditor = {Claus Brabrand and Eric Van Wyk},
	Title = {LDTA~2011: Proceedings of the 11th International Workshop on Language Descriptions, Tools, and Applications},
	Year = {2011}}

@proceedings{PEPM:09,
        title = {PEPM~2009: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation},
        booktitle = {PEPM~2009: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation},
        year = {2009},
        address = {Savannah, GA, USA},
        editor = {Puebla, Germ\'{a}n and Vidal, Germ\'{a}n}} 

@proceedins{OOPSLA:98,
	Optaddress = {Vancouver, British Columbia, Canada},
	Booktitle = {OOPSLA'98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Opteditor = {Craig Chambers},
	Key = {OOPSLA'98},
	Title = {OOPSLA'98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Year = {1998}}

@proceedings{OOPSLA:99,
	Optaddress = {Denver, Colorado, USA},
	Booktitle = {OOPSLA '99: Proceedings of the 14th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
	Opteditor = {A. Michael Berman},
	Key = {OOPSLA'99},
	Publisher = {ACM},
	Title = {OOPSLA '99: Proceedings of the 14th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
	Year = {1999}}

@proceedings{OOPSLA:01,
	Optaddress = {Tampa, Florida, USA},
	Booktitle = {OOPSLA'01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Opteditor = {John Vlissides},
	Key = {OOPSLA'01},
	Title = {OOPSLA'01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Year = {2001}}

@proceedings{OOPSLA:02,
	Optaddress = {Seattle, Washington, USA},
	Booktitle = {OOPSLA'02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Opteditor = {Satoshi Matsuoka},
	Key = {OOPSLA'02},
	Title = {OOPSLA'02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Year = {2002}}

@proceedings{OOPSLA:03,
	Optaddress = {Anaheim, California, USA},
	Booktitle = {OOPSLA'03: Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Opteditor = {Guy L. {Steele~Jr.}},
	Key = {OOPSLA'03},
	Title = {OOPSLA'03: Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Year = {2003}}

@proceedings{OOPSLA:06,
	Optaddress = {Portland, Oregon, USA},
	Booktitle = {OOPSLA'06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Opteditor = {William R. Cook},
	Key = {OOPSLA'06},
	Title = {OOPSLA'06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Year = {2006}}

@proceedings{OOPSLA:07,
	Optaddress = {Montreal, Quebec, Canada},
	Booktitle = {OOPSLA'07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
	Opteditor = {David F. Bacon and Lopes, Cristina Videira and {Steele, Jr.}, Guy L.},
	Key = {OOPSLA'07},
	Title = {OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
	Year = {2007}}

@proceedings{OOPSLA:10,
	Optaddress = {Reno/Tahoe Nevada, USA},
	Booktitle = {OOPSLA'10: Proceedings of the 25th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
	Key = {OOPSLA'10},
        publisher = {ACM},
	Title = {OOPSLA '10: Proceedings of the 25th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
	Year = {2010}}

@proceedings{OOPSLA:11,
	Optaddress = {Portland, Oregon, USA},
	optBooktitle = {Proceedings of the 26th annual ACM SIGPLAN
                  conference on Object-oriented programming systems,
                  languages and applications (OOPSLA'11)},
	optKey = {OOPSLA'11},
        booktitle = {OOPSLA},
	optTitle = {OOPSLA '11: Proceedings of the 26th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications},
        publisher = {ACM},
	Year = {2011}}

@proceedings{PLDI:03,
	Optaddress = {San Diego, CA, USA},
	Booktitle = {PLDI~2003: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation},
	Opteditor = {Rajiv Gupta},
	Optmonth = Jun,
	publisher = {ACM},
	Year = 2003}

@proceedings{PLDI:05,
	Optaddress = {Chicago, IL, USA},
	Booktitle = {PLDI~2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation},
	Opteditor = {Mary Hall},
	Key = {PLDI~2005},
	Year = {2005}}

@proceedings{PLDI:08,
	Optaddress = {Tucson, AZ, USA},
	optBooktitle = {Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (PLDI~2008)},
	Opteditor = {Saman Amarasinghe},
	optKey = {PLDI~2008},
	booktitle = {PLDI},
	publisher = {ACM},
	Year = {2008}}

@proceedings{SCHEME:06,
	Optaddress = {Portland, Oregon, USA},
	Booktitle = {Scheme and Functional Programming Workshop},
	Key = {Scheme'06},
	Title = {Scheme and Functional Programming Workshop},
	Year = {2006}}

@proceedings{TOOLS:10,
	Optaddress = {Berlin, Heidelberg},
	Booktitle = {Proceedings of the 48th international conference on Objects, models, components, patterns (TOOLS~2010)},
	Opteditor = {Vitek, Jan},
        series = LNCS,
        volume = {6141},
	Publisher = {Springer},
	Location = {Malaga, Spain},
	Year = {2010}}

@proceedings{TOOLS:11,
	Optaddress = {Zurich, Switzerland},
	Booktitle = {Proceedings of the 49th international conference on Objects, models, components, patterns (TOOLS~2011)},
	Opteditor = {Judith Bishop and Antonio Vallecillo},
        series = LNCS,
        volume = {6705},
	Publisher = {Springer},
	Year = {2011}}

@proceedings{Abramsky-Hankin:87,
	Booktitle = {Abstract Interpretation of Declarative Languages},
	Opteditor = {Samson Abramsky and Chris Hankin},
	Key = {Abramsky and Hankin},
	Publisher = {Ellis Horwood},
	Title = {Abstract Interpretation of Declarative Languages},
	Year = 1987}

@proceedings{APLAS:05,
	Optaddress = {Tsukuba, Japan},
	Booktitle = {Proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005},
	Opteditor = {Kwangkeun Yi},
	Optmonth = Nov,
	Publisher = S-V,
	Series = LNCS,
	Title = {Proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005},
	Volume = 3780,
	Year = 2005}

@proceedings{APPSEM:00,
	Optaddress = {Caminha, Portugal},
	Booktitle = {Applied Semantics -- Advanced Lectures},
	Opteditor = {Gilles Barthe and Peter Dybjer and Lu{\'\i}s Pinto and Jo{\~a}o Saraiva},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = {Applied Semantics -- Advanced Lectures},
	Volume = 2395,
	Year = 2000}

@proceedings{ASE:01,
	Optaddress = {Coronado Island, San Diego, California},
	Booktitle = {16th IEEE International Conference on Automated Software Engineering (ASE 2001)},
	Opteditor = {Martin S. Feather and Michael Goedicke},
	Isbn = {0-7695-1426-X},
	Key = {Feather and Goedicke},
	Optmonth = Nov,
	Publisher = {IEEE Computer Society},
	Title = {16th IEEE International Conference on Automated Software Engineering (ASE 2001)},
	Year = 2001}

@proceedings{CAAP:94,
	Optaddress = {Edinburgh, Scotland},
	Booktitle = {19th Colloquium on Trees in Algebra and Programming (CAAP'94)},
	Opteditor = {Sophie Tison},
	Key = {Tison},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = {19th Colloquium on Trees in Algebra and Programming (CAAP'94)},
	Volume = 787,
	Year = 1994}

@proceedings{CC:96,
	Optaddress = {Link{\"o}ping, Sweden},
	Booktitle = CC96,
	Opteditor = {Tibor Gyim{\'o}thy},
	Key = {Gyim{\'o}thy},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = CC96,
	Volume = 1060,
	Year = 1996}

@proceedings{CC:98,
	Optaddress = {London, UK},
	Booktitle = CC98,
	Opteditor = {Kai Koskimies},
	Key = {Koskimies},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = CC98,
	Volume = 1383,
	Year = 1998}

@proceedings{CP:97,
	Optaddress = {Linz, Austria},
	Booktitle = {CP},
	Opteditor = {Gert Smolka},
	Optmonth = {Oct-Nov},
	Publisher = S-V,
	Series = LNCS,
	Title = {Principles and Practice of Constraint Programming - CP97, Third International Conference, Proceedings},
	Volume = 1330,
	Year = 1997}

@proceedings{CTCP:86,
	Optaddress = {Guildford, UK},
	Booktitle = {Category Theory and Computer Programming},
	Opteditor = {David H. Pitt and others},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = {Category Theory and Computer Programming},
	Volume = 240,
	Year = 1986}

@proceedings{CW:04,
	Optaddress = {Venice, Italy},
	Booktitle = PROCEEDINGS # { of the Fourth    ACM SIGPLAN Workshop on Continuations},
	Opteditor = {Hayo Thielecke},
	Key = {Thielecke},
	Optmonth = Jan,
	Series = {Technical report CSR-04-1, Department of Computer Science, Queen Mary's College},
	Title = PROCEEDINGS # { of the Fourth    ACM SIGPLAN Workshop on Continuations},
	Year = 2004}

@proceedings{ECOOP:92,
	Optaddress = {Utrecht, The Netherlands},
	Booktitle = PROCEEDINGS # { of the European Conference on Object-Oriented Programming ({ECOOP'92})},
	Opteditor = {Ole Lehrmann Madsen},
	Key = {Lehrmann},
	Optmonth = {Jun--Jul},
	Publisher = S-V,
	Series = LNCS,
	Title = PROCEEDINGS # { of the European Conference on Object-Oriented Programming ({ECOOP'92})},
	Volume = 615,
	Year = 1992}

@proceedings{ECOOP:95,
	Booktitle = PROCEEDINGS # { of the 9th European Conference on Object-Oriented Programming ({ECOOP'95})},
	Opteditor = {Walter G. Olthoff},
	Key = {Olthoff},
	Optmonth = Aug,
	Publisher = S-V,
	Series = LNCS,
	Title = PROCEEDINGS # { of the 9th European Conference on Object-Oriented Programming ({ECOOP'95})},
	Volume = 952,
	Year = 1995}

@proceedings{ESOP:90,
	Optaddress = {Copenhagen, Denmark},
	Booktitle = ESOP90,
	Opteditor = {Neil D. Jones},
	Key = {Jones},
	Optmonth = May,
	Optkey = {ESOP'90},
	Publisher = S-V,
	Series = LNCS,
	Title = ESOP90,
	Volume = 432,
	Year = 1990}

@proceedings{ESOP:96,
	Optaddress = {Link{\"o}ping, Sweden},
	Booktitle = ESOP96,
	Opteditor = {Hanne Riis Nielson},
	Key = {Nielson},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = ESOP96,
	Volume = 1058,
	Year = 1996}

@proceedings{ESOP:99,
	Optaddress = {Amsterdam, The Netherlands},
	Booktitle = ESOP99,
	Opteditor = {S. Doaitse Swierstra},
	Key = {Swierstra},
	Optmonth = Mar,
	Optkey = {ESOP'99},
	Publisher = S-V,
	Series = LNCS,
	Title = ESOP99,
	Volume = 1576,
	Year = 1999}

@proceedings{ESOP:00,
	Optaddress = {Berlin, Germany},
	Booktitle = ESOP00,
	Opteditor = {Gert Smolka},
	Key = {Smolka},
	Optmonth = Mar,
	Publisher = S-V,
	Series = LNCS,
	Title = ESOP00,
	Volume = 1782,
	Year = 2000}

@proceedings{ESOP:02,
	Optaddress = {Grenoble, France},
	Booktitle = ESOP02,
	Opteditor = {Daniel {Le M\'etayer}},
	Key = {Le M\'etayer},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = ESOP02,
	Volume = 2305,
	Year = 2002}

@proceedings{ESOP:03,
	Optaddress = {Warsaw, Poland},
	Booktitle = ESOP03,
	Opteditor = {Pierpaolo Degano},
	Key = {Degano},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = ESOP03,
	Volume = 2618,
	Year = 2003}

@proceedings{ESOP:05,
	Optaddress = {Edinburgh, Scotland},
	Booktitle = ESOP05,
	Opteditor = {Mooly Sagiv},
	Key = {Sagiv},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = ESOP05,
	Volume = 2618,
	Year = 2005}

@proceedings{ESOP:10,
  opteditor    = {Andrew D. Gordon},
  booktitle = {Proceedings of the 19th European Symposium on Programming (ESOP~2010)},
  series    = {LNCS},
  year      = {2010},
  volume    = {6012},
  publisher = {Springer},
}

@proceedings{FPaiA:82,
	Booktitle = {Functional Programming and its Applications},
	Opteditor = {John Darlington and Peter Henderson and David A. Turner},
	Key = {Darlington, Henderson, and Turner},
	Publisher = {Cambridge University Press},
	Title = {Functional Programming and its Applications},
	Year = 1982}

@proceedings{FMPA:93,
	Optaddress = {Academgorodok, Novosibirsk, Russia},
	Opteditor = {Dines Bj{\o}rner and Manfred Broy and Igor V. Pottosin},
	Key = {Bj{\o}rner, Broy, and Pottosin},
	Optmonth = Jun,
	Publisher = S-V,
	Series = LNCS,
	Title = {Formal Methods in Programming and Their Applications},
	Volume = 735,
	Year = 1993}

@proceedings{FPCA:85,
	Optaddress = {Nancy, France},
	Booktitle = {Functional Programming Languages and Computer Architecture},
	Opteditor = {Jean-Pierre Jouannaud},
	Key = {Jouannaud},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = {Functional Programming Languages and Computer Architecture},
	Volume = 201,
	Year = 1985}

@proceedings{FPCA:87,
	Optaddress = {Portland, Oregon},
	Booktitle = {Functional Programming Languages and Computer Architecture},
	Opteditor = {Gilles Kahn},
	Key = {Kahn},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = {Functional Programming Languages and Computer Architecture},
	Volume = 274,
	Year = 1987}

@proceedings{FPCA:89,
	Optaddress = {London, England},
	Booktitle = FPCA89,
	Opteditor = {Joseph E. Stoy},
	Key = {Stoy},
	Optmonth = Sep,
	Optkey = {FPCA'89},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = FPCA89,
	Year = 1989}

@proceedings{FPCA:91,
	Optaddress = {Cambridge, Massachusetts},
	Booktitle = FPCA91,
	Opteditor = {John Hughes},
	Key = {Hughes},
	Optmonth = Aug,
	Optorganization = {ACM},
	Publisher = S-V,
	Series = LNCS,
	Title = FPCA91,
	Volume = 523,
	Year = 1991}

@proceedings{FPCA:93,
	Optaddress = {Copenhagen, Denmark},
	Booktitle = FPCA93,
	Opteditor = {Arvind},
	Key = {Arvind},
	Optmonth = Jun,
	Optkey = {FPCA'93},
	Optorganization = {ACM},
	Publisher = {ACM Press},
	Title = FPCA93,
	Year = 1993}

@proceedings{FPCA:95,
	Optaddress = {La Jolla, California},
	Booktitle = FPCA95,
	Opteditor = {Simon {Peyton Jones}},
	Key = {{Peyton Jones}},
	Optmonth = Jun,
	Optkey = {FPCA'95},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = FPCA95,
	Year = 1995}

@proceedings{Glasgow:94,
	Optaddress = {Ayr, Scotland},
	Booktitle = PROCEEDINGS # { of the    1994 Glasgow Workshop on Functional Programming},
	Opteditor = {Kevin Hammond and David N. Turner and Patrick M. Sansom},
	Key = {Hammond et al.},
	Publisher = S-V,
	Series = {Workshops in Computing},
	Title = {1994 Glasgow Workshop on Functional Programming},
	Year = 1994}

@proceedings{ICALP:76,
	Optaddress = {Edinburgh, Scotland},
	Booktitle = ICALP76,
	Opteditor = {S. Michaelson and Robin Milner},
	Optmonth = jul,
	Publisher = {Edinburgh University Press},
	Title = ICALP76,
	Year = 1976}

@proceedings{ICALP:81,
	Optaddress = {Israel},
	Booktitle = ICALP81,
	Opteditor = {Shimon Even and Oded Kariv},
	Optmonth = jul,
	Publisher = S-V,
	Series = LNCS,
	Title = ICALP81,
	Volume = 115,
	Year = 1981}

@proceedings{ICCL:94,
	Optaddress = {Toulouse, France},
	Booktitle = PROCEEDINGS # { of the Fifth    IEEE International Conference on Computer Languages},
	Opteditor = {Henri Bal},
	Key = {ICCL'94},
	Optmonth = May,
	Optorganization = {IEEE Computer Society},
	Publisher = {IEEE Computer Society Press},
	Title = {IEEE International Conference on Computer Languages},
	Year = 1994}

@proceedings{ICFP:96,
	Optaddress = {Philadelphia, Pennsylvania},
	Booktitle = ICFP96,
	Opteditor = {R. Kent Dybvig},
	Key = {Dybvig},
	Optmonth = May,
	Optkey = {ICFP'96},
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {LISP Pointers, Vol.~VII, No.~3},
	Title = ICFP96,
	Year = 1996}

@proceedings{ICFP:97,
	Optaddress = {Amsterdam, The Netherlands},
	Booktitle = ICFP97,
	Opteditor = {Mads Tofte},
	Key = {Tofte},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {LISP Pointers, Vol.~VII, No.~3},
	Title = ICFP97,
	Year = 1997}

@proceedings{ICFP:98,
	Optaddress = {Baltimore, Maryland},
	Booktitle = ICFP98,
	Opteditor = {Matthias Felleisen and Paul Hudak and Christian
                  Queinnec},
	Key = {Felleisen},
	Optmonth = Sep,
	Optorganization = {ACM},
	publisher = {ACM},
	Title = ICFP98,
	Year = 1998}

@proceedings{ICFP:00,
	Optaddress = {Montr\'eal, Canada},
	Booktitle = ICFP00,
	Opteditor = {Philip Wadler},
	Key = {Wadler},
	Optmonth = Sep,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~35, No.~9},
	Title = ICFP00,
	Year = 2000}

@proceedings{ICFP:01,
	Optaddress = {Firenze, Italy},
	Booktitle = ICFP01,
	Opteditor = {Xavier Leroy},
	Key = {Leroy},
	Optmonth = Sep,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~36, No.~10},
	Title = ICFP01,
	Year = 2001}

@proceedings{ICFP:02,
	Optaddress = {Pittsburgh, Pennsylvania},
	Booktitle = ICFP02,
	Opteditor = {Simon {Peyton Jones}},
	Key = {Peyton Jones},
	Optmonth = Sep,
	Title = ICFP02,
	Year = 2002}

@proceedings{ICFP:03,
	Optaddress = {Uppsala, Sweden},
	Booktitle = ICFP03,
	Opteditor = {Olin Shivers},
	Key = {Shivers},
	Optmonth = Sep,
	Title = ICFP03,
	Year = 2003}

@proceedings{ICFP:04,
	Optaddress = {Snowbird, Utah},
	Booktitle = ICFP04,
	Opteditor = {Kathleen Fisher},
	Key = {Fisher},
	Optmonth = Sep,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~39, No.~9},
	Title = ICFP04,
	Year = 2004}

@proceedings{ICFP:05,
  opteditor    = {Olivier Danvy and
               Benjamin C. Pierce},
  booktitle     = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming (ICFP~2005)},
  year      = {2005},
  publisher = {ACM}
}

@proceedings{ICFP:06,
	Optaddress = {Portland, Oregon},
        Booktitle = {ICFP},
	Opteditor = {Julia Lawall},
	Optmonth = Sep,
	publisher = {ACM},
	optTitle = ICFP06,
	Year = 2006}

@proceedings{ICFP:07,
	Optaddress = {Freiburg, Germany},
	Booktitle = ICFP07,
	Opteditor = {Norman Ramsey},
	Key = {Ramsey},
	Optmonth = Oct,
	publisher = {ACM},
	Title = ICFP07,
	Year = 2007}

@proceedings{ICFP:08,
	Optaddress = {Victoria, British Columbia, Canada},
        Booktitle = {ICFP},
	Opteditor = {Peter Thiemann},
	Key = {Thiemann},
	Optmonth = Sep,
	Optorganization = {ACM},
	publisher = {ACM Press},
	Optseries = {SIGPLAN Notices, Vol.~43, No.~9},
	Year = 2008}

@proceedings{ICFP:09,
	Optaddress = {Edinburgh, Scotland},
	Booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming (ICFP~2009)},
	Opteditor = {Graham Hutton and Andrew P. Tolmach},
	optKey = {Hutton and Tolmach},
	Optmonth = {Aug--Sep},
	publisher = {ACM},
	Year = {2009}}

@proceedings{ICFP:10,
	title = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP~2010)},
	Booktitle = {Proceedings of the 15th ACM SIGPLAN International
                  Conference on Functional Programming (ICFP~2010)},
        Year = 2010,
	Optmonth = {September},
	publisher = {ACM},
	Publisher = {ACM},
        Optaddress = {Baltimore, Maryland, USA},
        Opteditor = {Weirich, Stephanie}}

@proceedings{ICFP:11,
	opttitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP~2011)},
	Booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP~2011)},
        optBooktitle = {ICFP},
        Year = 2011,
	Optmonth = {September},
	Publisher = {ACM},
        Optaddress = {Tokyo, Japan},
        Opteditor = {Olivier Danvy}}

@proceedings{ICFP:12,
	opttitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP~2012)},
	optBooktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP~2012)},
        Year = 2012,
	Optmonth = {September},
	publisher = {ACM},
        booktitle = {ICFP},
        Optaddress = {Copenhagen, Denmark},
        Opteditor = {Findler, Robby}}


@proceedings{ICFP:13,
	opttitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP~2013)},
	optBooktitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP~2013)},
        Booktitle = {ICFP},
        Year = 2013,
	Optmonth = {September},
	publisher = {ACM},
        Optaddress = {Boston, MA, USA},
        Opteditor = {Findler, Robby}}


@proceedings{ICLP:02,
	Optaddress = {Copenhagen, Denmark},
	Booktitle = {ICLP},
	Opteditor = {Peter J. Stuckey},
	Optmonth = {Jul--Aug},
	Publisher = S-V,
	Series = LNCS,
	Title = {Logic Programming, 18th International Conference, ICLP 2002},
	Volume = 2401,
	Year = 2002}

@proceedings{IFL:04,
	Optaddress = {L{\"u}beck, Germany},
	Booktitle = {Implementation and Application of Functional Languages, 16th International Workshop, IFL'04},
	Opteditor = {Clemens Grelck and Frank Huch and Greg J. Michaelson and Phil Trinder},
	Key = {Grelck et al.},
	Optmonth = Sep,
	Optnote = {Revised Selected Papers},
	Publisher = S-V,
	Series = LNCS,
	Title = {Implementation and Application of Functional Languages, 16th International Workshop, IFL'04},
	Volume = 3474,
	Year = 2004}

@proceedings{ISOP:84,
	Optaddress = {Toulouse, France},
	Booktitle = ISOP84,
	Opteditor = {Manfred Paul and Bernard Robinet},
	Key = {Paul and Bernard Robinet},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = ISOP84,
	Volume = 167,
	Year = 1984}

@article{JFP:93,
	Booktitle = {Special issue on Partial Evaluation},
	Opteditor = {Neil D. Jones},
	Journal = JFP,
	Key = {Jones},
	Optmonth = Jul,
	Number = 3,
	Optkey = {JFP'93},
	Publisher = {Cambridge University Press},
	Title = {Special issue on Partial Evaluation},
	Volume = 3,
	Year = 1993}

@proceedings{Jones:02,
	Booktitle = {The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones},
	Opteditor = {Torben {\AE}. Mogensen and David A. Schmidt and I. Hal Sudborough},
	Key = {Mogensen, Schmidt, and Sudburough},
	Publisher = S-V,
	Series = LNCS,
	Title = {The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones},
	Volume = 2566,
	Year = 2002}

@proceedings{LaSC:SIoC1,
	Booktitle = {Special issue on continuations (Part I)},
	Opteditor = {Carolyn L. Talcott},
	Key = {Talcott},
	Optkey = {LaSC'93},
	OptOptmonth = Dec,
	Publisher = {Kluwer Academic Publishers},
	Series = {Lisp and Symbolic Computation, Vol.~6, Nos.~3/4},
	Title = {Special issue on continuations (Part I)},
	Year = 1993}

@proceedings{LFP:84,
	Optaddress = {Austin, Texas},
	Booktitle = LFP84,
	Opteditor = {Guy L. {Steele Jr.}},
	Key = {Steele},
	Optmonth = Aug,
	Note = {\typeout{Change 'Steele Jr.' to 'Steele' in LFP:84!}},
	Optkey = {LFP'84},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = LFP84,
	Year = 1984}

@proceedings{LFP:86,
	Optaddress = {Cambridge, Massachusetts},
	Booktitle = LFP86,
	Optmonth = Jul,
	Optkey = {LFP'86},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = LFP86,
	Year = 1986}


@proceedings{LFP:88,
	Optaddress = {Snowbird, Utah},
	Booktitle = LFP88,
	Opteditor = {Robert (Corky) Cartwright},
	Key = {Cartwright},
	Optmonth = Jul,
	Optkey = {LFP'88},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = LFP88,
	Year = 1988}

@proceedings{LFP:90,
	Optaddress = {Nice, France},
	Booktitle = LFP90,
	Opteditor = {Mitchell Wand},
	Key = {Wand},
	Optmonth = Jun,
	Optkey = {LFP'90},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = LFP90,
	Year = 1990}

@proceedings{LFP:92,
	Optaddress = {San Francisco, California},
	Booktitle = LFP92,
	Opteditor = {William Clinger},
	Key = {Clinger},
	Optmonth = Jun,
	Optkey = {LFP'92},
	Optorganization = {ACM},
	publisher = {ACM},
	Series = {LISP Pointers, Vol.~V, No.~1},
	Title = LFP92,
	Year = 1992}

@proceedings{LFP:94,
	Optaddress = {Orlando, Florida},
	Booktitle = LFP94,
	Opteditor = {Carolyn L. Talcott},
	Key = {Talcott},
	Optmonth = Jun,
	Optkey = {LFP'94},
	Optorganization = {ACM},
	publisher = {ACM},
	Series = {LISP Pointers, Vol.~VII, No.~3},
	Title = LFP94,
	Year = 1994}

@proceedings{LICS:90,
	Optaddress = {Philadelphia, Pennsylvania},
	Booktitle = LICS90,
	Opteditor = {John Mitchell},
	Key = {Mitchell},
	Optmonth = Jun,
	Optkey = {LICS'90},
	Optorganization = {IEEE},
	Publisher = {IEEE Computer Society Press},
	Title = LICS90,
	Year = 1990}

@proceedings{LICS:92,
	Optaddress = {Santa Cruz, California},
	Booktitle = LICS92,
	Opteditor = {Andre Scedrov},
	Key = {Scedrov},
	Optmonth = Jun,
	Publisher = {IEEE Computer Society Press},
	Title = LICS92,
	Year = 1992}

@proceedings{LICS:97,
	Optaddress = {Warsaw, Poland},
	Booktitle = LICS97,
	Opteditor = {Glynn Winskel},
	Key = {Winskel},
	Optmonth = Jun,
	Publisher = {IEEE Computer Society},
	Title = LICS97,
	Year = 1997}

@proceedings{LICS:02,
  booktitle     = {LICS},
  publisher = {IEEE Computer Society},
  year      = {2002},
}

@proceedings{LOMAPS:97,
	Booktitle = {Selected papers from the 5th {LOMAPS} Workshop on Analysis and Verification of Multiple-Agent Languages},
	Opteditor = {Mads Dam},
	Key = {Dam},
	Publisher = S-V,
	Series = LNCS,
	Title = {Selected papers from the 5th {LOMAPS} Workshop on Analysis and Verification of Multiple-Agent Languages},
	Volume = 1192,
	Year = 1997}

@proceedings{LOPSTR:03,
	Optaddress = {Uppsala, Sweden},
	Booktitle = {Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003},
	Opteditor = {Maurice Bruynooghe},
	Key = {Bruynooghe},
	Optmonth = Aug,
	Publisher = S-V,
	Series = LNCS,
	Title = {Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003},
	Volume = 3018,
	Year = 2003}

@proceedings{MFPS:91,
	Optaddress = {Pittsburgh, Pennsylvania},
	Booktitle = MFPS91,
	Opteditor = {Stephen Brookes and Michael Main and Austin Melton and Michael Mislove and David Schmidt},
	Key = {Brookes {\it et al.}},
	Optmonth = Mar,
	Optkey = {MFPS'91},
	Publisher = S-V,
	Series = LNCS,
	Title = MFPS91,
	Volume = 598,
	Year = 1991}

@proceedings{MFPS:93,
	Optaddress = {New Orleans, Louisiana},
	Booktitle = MFPS93,
	Opteditor = {Stephen Brookes and Michael Main and Austin Melton and Michael Mislove and David Schmidt},
	Key = {Brookes {\it et al.}},
	Optmonth = Apr,
	Optkey = {MFPS'93},
	Publisher = S-V,
	Series = LNCS,
	Title = MFPS93,
	Volume = 802,
	Year = 1993}

@proceedings{MFPS:01,
	Optaddress = {Aarhus, Denmark},
	Booktitle = MFPS01,
	Opteditor = {Stephen Brookes and Michael Mislove},
	Key = {Brookes and Mislove},
	Optmonth = May,
	Publisher = {Elsevier Science Publishers},
	Series = {Electronic Notes in Theoretical Computer Science},
	Title = MFPS01,
	Volume = 45,
	Year = 2001}

@proceedings{ML:06,
	Booktitle = {{ML}'06:} # PROCEEDINGS # { of the ACM SIGPLAN 2006 workshop on {ML}},
	Opteditor = {Andrew Kennedy and Fran\c{c}ois Pottier},
	Key = {Kennedy and Pottier},
	Location = {Portland, Oregon},
	Optmonth = Sep,
	Optnote = {Program Chair-Andrew Kennedy and Program Chair-Fran\c{c}ois Pottier},
	Title = {{ML}'06:} # PROCEEDINGS # { of the ACM SIGPLAN 2006 workshop on {ML}},
	Year = 2006}

@proceedings{MSCS:92,
	Booktitle = {Special issue on the 1990 {ACM} Conference on {L}isp and Functional Programming},
	Opteditor = {Mitchell Wand},
	Key = {Wand},
	Optmonth = Dec,
	Optkey = {MSCS'92},
	Publisher = {Cambridge University Press},
	Series = {Mathematical Structures in Computer Science, Vol.~2, No.~4},
	Title = {Special issue on the 1990 {ACM} Conference on {L}isp and Functional Programming},
	Year = 1992}

@proceedings{Muchnick-Jones:81,
	Booktitle = {Program Flow Analysis: Theory and Applications},
	Opteditor = {Steven S. Muchnick and Neil D. Jones},
	Key = {Muchnick and Jones},
	Publisher = P-H,
	Title = {Program Flow Analysis: Theory and Applications},
	Year = 1981}

@proceedings{PADL:02,
	Optaddress = {Portland, Oregon},
	Booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002},
	Opteditor = {Shriram Krishnamurthi and C. R. Ramakrishnan},
	Key = {Krishnamurthi and Ramakrishnan},
	Optmonth = Jan,
	Publisher = {Springer},
	Series = LNCS,
	Title = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002},
	Volume = 2257,
	Year = 2002}

@proceedings{PADO:01,
	Optaddress = {Aarhus, Denmark},
	Booktitle = {Programs as Data Objects, Second Symposium (PADO 2001)},
	Opteditor = {Olivier Danvy and Andrzej Filinski},
	Key = {Danvy and Filinski},
	Optmonth = May,
	Number = 2053,
	Publisher = {Springer},
	Series = LNCS,
	Title = {Programs as Data Objects, Second Symposium (PADO 2001)},
	Year = 2001}

@proceedings{PASTE:01,
	Booktitle = {PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
	Opteditor = {John Field and Gregor Snelting},
	Key = {Field and Snelting},
	Location = {Snowbird, Utah, United States},
	Optaddress = {New York, NY, USA},
	publisher = {ACM},
	Title = {PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
	Year = 2001}

@book{PEMC:NH88,
	Booktitle = {Partial Evaluation and Mixed Computation},
	Opteditor = {Dines Bj{\o}rner and Andrei P. Ershov and Neil D. Jones},
	Key = {Bj{\o}rner, Ershov, and Jones},
	Optauthor = {Dines Bj{\o}rner and Andrei P. Ershov and Neil D. Jones},
	Optkey = {PEMC'NH88},
	Publisher = N-H,
	Title = {Partial Evaluation and Mixed Computation},
	Year = 1988}

@proceedings{PEPM:91,
	Optaddress = {New Haven, Connecticut},
	Booktitle = PROCEEDINGS # { of the ACM SIGPLAN Symposium on   Partial Evaluation and Semantics-Based Program Manipulation},
	Opteditor = {Paul Hudak and Neil D. Jones},
	Key = {Hudak and Jones},
	Optmonth = Jun,
	Optkey = {PEPM'91},
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~26, No~9},
	Title = {ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
	Year = 1991}

@proceedings{PEPM:93,
	Optaddress = {Copenhagen, Denmark},
	Booktitle = {Proceedings of the Second ACM SIGPLAN Symposium
                  on Partial Evaluation and Semantics-Based Program
                  Manipulation},
	Opteditor = {David A. Schmidt},
	Key = {Schmidt},
	Optmonth = Jun,
	Optkey = {PEPM'93},
	Optorganization = {ACM SIGPLAN},
	publisher = {ACM},
	Title = {Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
	Year = 1993}

@proceedings{PEPM:10,
 booktitle = {PEPM'10: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation},
 year = {2010},
 address = {Madrid, Spain},
 publisher = {ACM},
 Opteditor = {John Gallagher and Janis Voigtl\"{a}nder},
} 


@proceedings{PLDI:86,
	Optaddress = {Palo Alto, California},
	Booktitle = PLDI86,
	Opteditor = {Stuart I. Feldman},
	Key = {Feldman},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~21, No~7},
	Title = PLDI86,
	Year = 1986}

@proceedings{PLDI:88,
	Optaddress = {Atlanta, Georgia},
	Booktitle = PLDI88,
	Opteditor = {Mayer D. Schwartz},
	Key = {Schwartz},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~23, No~7},
	Title = PLDI88,
	Year = 1988}

@proceedings{PLDI:91,
	Optaddress = {Toronto, Canada},
	Booktitle = PLDI91,
	Opteditor = {Barbara Ryder},
	Key = {Ryder},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~?, No~?},
	Title = PLDI91,
	Year = 1991}

@proceedings{PLDI:92,
	Optaddress = {San Francisco, California},
	Booktitle = PLDI92,
	Opteditor = {Christopher W. Fraser},
	Key = {Fraser},
	Optmonth = Jul,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~27, No~7},
	Title = PLDI92,
	Year = 1992}

@proceedings{PLDI:93,
	Optaddress = {Albuquerque, New Mexico},
	Booktitle = PLDI93,
	Opteditor = {David W. Wall},
	Key = {Wall},
	Optmonth = Jun,
	Optkey = {PLDI'93},
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~28, No~6},
	Title = PLDI93,
	Year = 1993}

@proceedings{PLDI:94,
	Optaddress = {Orlando, Florida},
	Booktitle = PLDI94,
	Opteditor = {Vivek Sarkar},
	Key = {Sarkar},
	Optmonth = Jun,
	Optkey = {PLDI'94},
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~29, No~6},
	Title = PLDI94,
	Year = 1994}

@proceedings{PLDI:97,
	Optaddress = {Las Vegas, Nevada},
	Booktitle = PLDI97,
	Opteditor = {Ron K. Cytron},
	Key = {Cytron},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~32, No~5},
	Title = PLDI97,
	Year = 1997}

@proceedings{PLDI:98,
	Optaddress = {Montr\'eal, Canada},
	Booktitle = PLDI98,
	Opteditor = {Keith D. Cooper},
	Key = {Cooper},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~32, No~5},
	Title = PLDI98,
	Year = 1998}

@proceedings{PLDI:00,
	Optaddress = {Vancouver, British Columbia, Canada},
	Booktitle = PLDI00,
	Opteditor = {Monica Lam},
	Key = {Lam},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~35, No~5},
	Title = PLDI00,
	Year = 2000}

@proceedings{PLDI:01,
        booktitle = {PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation},
        Opteditor = {Mary Lou Soffa},
        year = 2001,
        publisher = {ACM},
        address = {Snowbird, Utah, United States},
        Optmonth = Jun} 

@proceedings{PLDI:04,
	Optaddress = {Washington DC},
	Booktitle = PLDI04,
	Opteditor = {Craig Chambers},
	Key = {Chambers},
	Optmonth = Jun,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~39, No~6},
	Title = PLDI04,
	Year = 2004}

@proceedings{PLDI:20-years,
	Booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation 1979--1999, A Selection},
	Opteditor = {Kathryn S. McKinley},
	Optisbn = {1-58113-623-4},
	publisher = {ACM},
	Title = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation 1979--1999, A Selection},
	Year = 2004}

@proceedings{PLDI:10,
	Optaddress = {Toronto, Canada},
	oprBooktitle = {Proceedings of the 2010 {ACM} {SIGPLAN}
                  Conference on Programming Language Design and
                  Implementation (PLDI~2010)},
	Opteditor = {Alex Aiken},
	Optmonth = Jun,
	Optkey = {Aiken},
	booktitle = {PLDI},
	optTitle = PLDI10,
	Year = 2010,
        publisher = {ACM}}

@proceedings{PLDI:13,
	Optaddress = {Seattle, WA, USA},
        optBooktitle = {Proceedings of the 34th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation (PLDI~2013)},
	Optmonth = Jun,
	Optkey = {Flanagan},
	booktitle = {PLDI},
	optTitle = PLDI13,
        publisher = {ACM},
	Year = 2013}

@proceedings{PLDI:15,
	Optaddress = {Portland, OR, USA},
        Booktitle = {PLDI},  
        optBooktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation (PLDI~2015)},
	Optmonth = Jun,
	optTitle = PLDI15,
        publisher = {ACM},
	Year = 2015}


@proceedings{PLILP:92,
	Optaddress = {Leuven, Belgium},
	Booktitle = PROCEEDINGS # { of the 4th International Symposium on                 Programming Language Implementation and Logic Programming (PLILP '92)},
	Opteditor = {Maurice Bruynooghe and Martin Wirsing},
	Key = {Bruynooghe and Wirsing},
	Optmonth = Aug,
	Publisher = S-V,
	Series = LNCS,
	Title = PROCEEDINGS # { of the 4th International Symposium on                 Programming Language Implementation and Logic Programming (PLILP '92)},
	Volume = 631,
	Year = 1992}

@proceedings{POPL:73,
	Optaddress = {Boston, Massachusetts},
	Booktitle = POPL73,
	Opteditor = {Jeffrey D. Ullman},
	Key = {Ullman},
	Optmonth = Jan,
	publisher = {ACM},
	Title = POPL73,
	Year = 1973}

@proceedings{POPL:76,
	Optaddress = {Atlanta, Georgia},
	Booktitle = POPL76,
	Opteditor = {Susan L. Graham},
	Key = {Graham},
	Optmonth = Jan,
	publisher = {ACM},
	Title = POPL76,
	Year = 1976}

@proceedings{POPL:77,
	Optaddress = {Los Angeles, California},
	Booktitle = POPL77,
	Opteditor = {Ravi Sethi},
	Key = {Sethi},
	publisher = {ACM},
	Title = POPL77,
	Year = 1977}

@proceedings{POPL:79,
	Optaddress = {San Antonio, Texas},
	Booktitle = POPL79,
	Opteditor = {Barry K. Rosen},
	Key = {Rosen},
	Optmonth = Jan,
	publisher = {ACM},
	Title = POPL79,
	Year = 1979}

@proceedings{POPL:82,
	Optaddress = {Albuquerque, New Mexico},
	Booktitle = POPL82,
	Opteditor = {Richard DeMillo},
	Key = {DeMillo},
	Optmonth = Jan,
	publisher = {ACM},
	Title = POPL82,
	Year = 1982}

@proceedings{POPL:86,
	Optaddress = {St. Petersburg, Florida},
	Booktitle = POPL86,
	Opteditor = {Mark Scott Johnson and Ravi Sethi},
	Key = {Johnson and Sethi},
	Optmonth = Jan,
	publisher = {ACM},
	Title = POPL86,
	Year = 1986}

@proceedings{POPL:89,
	Optaddress = {Austin, Texas},
	Booktitle = POPL89,
	Opteditor = {Michael J. O'Donnell and Stuart Feldman},
	Key = {O'Donnell and Feldman},
	Optmonth = Jan,
	publisher = {ACM},
	Title = POPL89,
	Year = 1989}

@proceedings{POPL:90,
	Optaddress = {San Francisco, California},
	Booktitle = POPL90,
	Opteditor = {Paul Hudak},
	Key = {Hudak},
	Optmonth = Jan,
	Optorganization = {ACM},
	publisher = {ACM},
	Title = POPL90,
	Year = 1990}

@proceedings{POPL:91,
	Optaddress = {Orlando, Florida},
	Booktitle = POPL91,
	Opteditor = {Robert (Corky) Cartwright},
	Key = {Cartwright},
	Optmonth = Jan,
	Optorganization = {ACM},
	publisher = {ACM},
	Title = POPL91,
	Year = 1991}

@proceedings{POPL:92,
	Optaddress = {Albuquerque, New Mexico},
	Booktitle = POPL92,
	Opteditor = {Andrew W. Appel},
	Key = {Appel},
	Optmonth = Jan,
	Optkey = {POPL'92},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = POPL92,
	Year = 1992}

@proceedings{POPL:93,
	Optaddress = {Charleston, South Carolina},
	Booktitle = POPL93,
	Opteditor = {Susan L. Graham},
	Key = {Graham},
	Optmonth = Jan,
	Optkey = {POPL'93},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = POPL93,
	Year = 1993}

@proceedings{POPL:94,
	Optaddress = {Portland, Oregon},
	optBooktitle = POPL94,
        Booktitle = {POPL},
	Opteditor = {Hans-J. Boehm},
	optKey = {Boehm},
	Optmonth = Jan,
	Optkey = {POPL'94},
	Optorganization = {ACM},
	publisher = {ACM},
	optTitle = POPL94,
	Year = 1994}

@proceedings{POPL:95,
	Optaddress = {San Francisco, California},
	Booktitle = POPL95,
	Opteditor = {Peter Lee},
	Key = {Lee},
	Optmonth = Jan,
	Optkey = {POPL'95},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = POPL95,
	Year = 1995}

@proceedings{POPL:96,
	Optaddress = {St.~Petersburg Beach, Florida},
	Booktitle = POPL96,
	Opteditor = {Guy L. {Steele Jr.}},
	Key = {Steele},
	Optmonth = Jan,
	Optkey = {POPL'96},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = POPL96,
	Year = 1996}

@proceedings{POPL:97,
	Optaddress = {Paris, France},
	Booktitle = POPL97,
	Opteditor = {Neil D. Jones},
	Key = {Jones},
	Optmonth = Jan,
	Optkey = {POPL'97},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = POPL97,
	Year = 1997}

@proceedings{POPL:98,
	Optaddress = {San Diego, California},
        Booktitle = {POPL'98: Proceedings of the 25th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {Luca Cardelli},
	Key = {Cardelli},
	Optmonth = Jan,
	Optkey = {POPL'98},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = {POPL'98: Proceedings of the 25th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 1998}

@proceedings{POPL:99,
	Optaddress = {San Antonio, Texas},
        Booktitle = {POPL'99: Proceedings of the 26th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {Alex Aiken},
	Key = {Aiken},
	Optmonth = Jan,
	Optkey = {POPL'99},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = {POPL'99: Proceedings of the 26th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 1999}

@proceedings{POPL:00,
	Optaddress = {Boston, Massachusetts},
	Booktitle = {POPL~2000: Proceedings of the 27th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {Mark Wegman},
	Optmonth = Jan,
	Optkey = {POPL~2000},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = {POPL~2000: Proceedings of the 27th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2000}


@proceedings{POPL:01,
	Optaddress = {London, United Kingdom},
        Booktitle = {POPL~2001: Proceedings of the 28th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {Hanne Riis Nielson},
	Key = {Nielson},
	Optmonth = Jan,
	Optkey = {POPL~2001},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = {POPL~2001: Proceedings of the 28th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2001}

@proceedings{POPL:02,
	Optaddress = {Portland, Oregon},
        Booktitle = {POPL~2002: Proceedings of the 29th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {John C. Mitchell},
	Key = {Mitchell},
	Optmonth = Jan,
	Optorganization = {ACM},
	publisher = {ACM},
	Title = {POPL~2002: Proceedings of the 29th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2002}

@proceedings{POPL:03,
	Optaddress = {New Orleans, Louisiana},
        Booktitle = {POPL~2003: Proceedings of the 30th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {Greg Morrisett},
	Optorganization = {ACM},
	publisher = {ACM},
	Title = {POPL~2003: Proceedings of the 30th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2003}

@proceedings{POPL:04,
	Optaddress = {Venice, Italy},
        Booktitle = {POPL~2004: Proceedings of the 31st annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {Xavier Leroy},
	Key = {Leroy},
	Optmonth = Jan,
	Optorganization = {ACM},
	publisher = {ACM},
	Optseries = {SIGPLAN Notices, Vol.~38, No.~1},
	Title = {POPL~2004: Proceedings of the 31st annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2004}

@proceedings{POPL:05,
	Optaddress = {Long Beach, California, USA},
        Booktitle = {Proceedings of the 32nd annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL~2005)},
	Opteditor = {Jens Palsberg and Mart\'{\i}n Abadi},
	Optmonth = Jan,
	Optorganization = {ACM},
	publisher = {ACM},
	Title = {POPL~2005: Proceedings of the 32nd annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2005}


@proceedings{POPL:06,
	Optaddress = {Charleston, South Carolina},
        Booktitle = {POPL},
	Opteditor = {Simon {Peyton Jones}},
	optKey = {Peyton Jones},
	Optmonth = Jan,
	Optkey = {POPL~2006},
	Optorganization = {ACM},
	publisher = {ACM},
	optTitle = {POPL~2006: Proceedings of the 33rd annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2006}

@proceedings{POPL:08,
	Optaddress = {San Francisco, California},
        Booktitle = {POPL~2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
        Title = {POPL~2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Opteditor = {George C. Necula and Philip Wadler},
	Optmonth = Jan,
	publisher = {ACM},
	Title = {POPL~2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Year = 2008}

@proceedings{POPL:09,
        Booktitle = {POPL},
        optTitle = {POPL~2009: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
        year = {2009},
        Optaddress = {Savannah, GA, USA},
        publisher = {ACM},
        Opteditor = {Benjamin C. Pierce}} 

@proceedings{POPL:10,
        Booktitle = {POPL},
        optTitle = {POPL~2010: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
        Year = {2010},
        Optaddress = {Madrid, Spain},
        publisher = {ACM},
        Opteditor = {Jens Palsberg}} 

@proceedings{POPL:11,
        optBooktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL~2011)},
        optTitle = {POPL~2011: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
        Year = {2011},
        Booktitle = {POPL},
        Optaddress = {Austin, Texas, USA},
        publisher = {ACM},
        Opteditor = {Mooly Sagiv}} 

@proceedings{POPL:12,
        booktitle = {POPL},
        opttitle = {POPL~2012: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
        Year = {2012},
        Optaddress = {Philadelphia, Pennsylvania, USA},
        publisher = {ACM},
        Opteditor = {John Field and Michael Hicks}} 

@proceedings{POPL:13,
        booktitle = {POPL},
        optBooktitle = {Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL~2013)},
        optTitle = {POPL~2013: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
        Year = {2013},
        Optaddress = {Rome, Italy},
        publisher = {ACM},
        Opteditor = {Radia Cousot}} 

@proceedings{PPDP:99,
	Optaddress = {Paris, France},
	Booktitle = PPDP99,
	Opteditor = {Gopalan Nadathur},
	Key = {Nadathur},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = PPDP99,
	Volume = 1702,
	Year = 1999}

@proceedings{PPDP:01,
	Optaddress = {Firenze, Italy},
	Booktitle = PPDP01,
	Opteditor = {Harald S{\o}ndergaard},
	Key = {S{\o}ndergaard},
	Optmonth = Sep,
	publisher = {ACM},
	Title = PPDP01,
	Year = 2001}

@proceedings{PPDP:03,
	Booktitle = PPDP03,
	Opteditor = {Dale Miller},
	Key = {Miller},
	Location = {Uppsala, Sweden},
	Optmonth = Aug,
	publisher = {ACM},
	Title = PPDP03,
	Year = 2003}

@proceedings{SAC:95,
	Optaddress = {Nashville, Tennessee},
	Booktitle = PROCEEDINGS # { of the 1995 ACM Symposium on Applied Computing},
	Optmonth = Feb,
	publisher = {ACM},
	Title = PROCEEDINGS # { of the 1995 ACM Symposium on Applied Computing},
	Year = {1995}}

@proceedings{SAIG:01,
	Optaddress = {Firenze, Italy},
	Booktitle = PROCEEDINGS # { of the Second Workshop on Semantics,    Applications, and Implementation of Program Generation    (SAIG 2001)},
	Opteditor = {Walid Taha},
	Key = {Taha},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = PROCEEDINGS # { of the Second Workshop on Semantics,    Applications, and Implementation of Program Generation    (SAIG 2001)},
	Volume = 2196,
	Year = 2001}

@proceedings{VMCAI:10,
	Optaddress = {Madrid, Spain},
	Booktitle = {Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI~2010)},
	Opteditor = {Gilles Barthe and Manuel V. Hermenegildo},
	Optmonth = Jan,
	Publisher = S-V,
	Series = {LNCS},
	optTitle = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Proceedings},
	Volume = 5944,
	Year = 2010}

@proceedings{WSA:91,
	Optaddress = {Bordeaux, France},
	Booktitle = WSA91,
	Opteditor = {Michel Billaud and Pierre Cast\'eran and Marc-Michel Corsini and Kandina Musumbu and Antoine Rauzy},
	Optmonth = Oct,
	Optaddress = {Laboratoire Bordelais de Recherche en Informatique (LaBRI)},
	Optbooktitle-Real = {Actes {JTASPEFL'91}},
	Publisher = {IRISA},
	Publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
	Series = {Bigre},
	Title = WSA91,
	Volume = 74,
	Year = 1991}

@proceedings{WSA:92,
	Optaddress = {Bordeaux, France},
	Booktitle = WSA92,
	Opteditor = {Michel Billaud and Pierre Cast\'eran and Marc-Michel Corsini and Kaninda Musumbu and Antoine Rauzy},
	Optmonth = Sep,
	Optaddress = {Laboratoire Bordelais de Recherche en Informatique (LaBRI)},
	Publisher = {IRISA},
	Publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
	Series = {Bigre},
	Title = WSA92,
	Vol = {81-82},
	Year = 1992}

@proceedings{SAS:94,
	Optaddress = {Glasgow, Scotland},
	Booktitle = SAS94,
	Opteditor = {Baudouin {Le Charlier}} ,
	Key = {{Le Charlier}},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = SAS94,
	Volume = 864,
	Year = 1994}


@proceedings{SAS:95,
	Optaddress = {Glasgow, Scotland},
	Booktitle = SAS95,
	Opteditor = {Alan Mycroft},
	Key = {Mycroft},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = SAS95,
	Volume = 983,
	Year = 1995}

@proceedings{SAS:97,
	Optaddress = {Paris, France},
	Booktitle = SAS97,
	Opteditor = {Pascal Van Hentenryck},
	Key = {Van Hentenryck},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = SAS97,
	Volume = 1302,
	Year = 1997}

@proceedings{SAS:99,
	Optaddress = {Venice, Italy},
	Booktitle = SAS99,
	Opteditor = {Agostino Cortesi and Gilberto Fil{\'e}},
	Key = {Cortesi and Fil{\'e}},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = SAS99,
	Volume = 1694,
	Year = 1999}

@proceedings{SAS:02,
	Optaddress = {Madrid, Spain},
	Booktitle = SAS02,
	Opteditor = {Manuel V. Hermenegildo and Germ{\'a}n Puebla},
	Key = {Hermenegildo and Puebla},
	Optmonth = Sep,
	Publisher = S-V,
	Series = LNCS,
	Title = SAS02,
	Volume = 2477,
	Year = 2002}

@proceedings{SAS:07,
  opteditor    = {Hanne Riis Nielson and
               Gilberto Fil{\'{e}}},
  booktitle = {Proceedings of the 14th International Symposium on Static Analysis (SAS~2007)},
  series    = {LNCS},
  year      = {2007},
  volume    = {4634},
  publisher = {Springer},
}

@proceedings{SAS:08,
	Optaddress = {Valencia, Spain},
	Booktitle = SAS08,
	Opteditor = {Mar\'{\i}a Alpuente and Germ{\'a}n Vidal},
	Key = {Alpuente and Vidal},
	Optmonth = Jul,
	Publisher = S-V,
	Series = LNCS,
	Title = SAS08,
	Volume = 5079,
	Year = 2008}

@proceedings{SAS:10,
        opteditor = {Cousot, Radhia and Martel, Matthieu},
        optbooktitle = {Proceedings of the 17th International Symposium on Static Analysis (SAS'10)},
        opttitle = {SAS'10: Proceedings of the 17th international conference on Static analysis},
        year = {2010},
        optaddress = {Perpignan, France},
	series = {LNCS},
        volume = 6337,
	booktitle = {SAS},
        publisher = {Springer}} 

@proceedings{Scheme:00,
	Optaddress = {Montr\'eal, Canada},
	Booktitle = PROCEEDINGS # { of the Workshop on    Scheme and Functional Programming},
	Opteditor = {Matthias Felleisen},
	Key = {Felleisen},
	Optmonth = Sep,
	Note = {Rice Technical Report 00-368},
	Title = {ACM SIGPLAN Workshop on Scheme and Functional Programming},
	Year = 2000}

@proceedings{SDCG:80,
	Optaddress = {Aarhus, Denmark},
	Booktitle = {Semantics-Directed Compiler Generation},
	Opteditor = {Neil D. Jones},
	Key = {Jones},
	OptOptmonth = Oct,
	Publisher = S-V,
	Series = LNCS,
	Title = {Semantics-Directed Compiler Generation},
	Volume = 94,
	Year = 1980}

@proceedings{TACS:94,
	Optaddress = {Sendai, Japan},
	Booktitle = TACS94,
	Opteditor = {Masami Hagiya and John C. Mitchell},
	Key = {Hagiya and Mitchell},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = TACS94,
	Volume = 789,
	Year = 1994}

@proceedings{TACS:01,
	Optaddress = {Sendai, Japan},
	Booktitle = TACS01,
	Opteditor = {Naoki Kobayashi and Benjamin C. Pierce},
	Key = {Kobayashi-Pierce},
	Optmonth = Oct,
	Publisher = S-V,
	Series = LNCS,
	Title = TACS01,
	Volume = 2215,
	Year = 2001}

@proceedings{TAPSOFT:91,
	Optaddress = {Brighton, UK},
	Booktitle = {TAPSOFT, Vol.1},
	Opteditor = {Samson Abramsky and T. S. E. Maibaum},
	Key = {TAPSOFT'91},
	Optmonth = Apr,
	Publisher = S-V,
	Series = LNCS,
	Title = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
	Volume = 493,
	Year = 1991}

@proceedings{TIC:97,
	Optaddress = {Amsterdam, The Netherlands},
	Booktitle = PROCEEDINGS # { of the 1997 ACM SIGPLAN Workshop on                   Types in Compilation (TIC'97)},
	Key = {TIC:97},
	Optmonth = Jun,
	Note = {Available as technical report BCCS-97-03, Computer Science Department, Boston College},
	Title = {Types in Compilation},
	Year = 1997}

@proceedings{SP:80,
  Opteditor = {Bernard Robinet},
  title     = {International Symposium on Programming, Proceedings of the
               Fourth 'Colloque International sur la Programmation', Paris,
               France, 22-24 April 1980},
  booktitle = {{Symposium on Programming}},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {83},
  year      = {1980},
}

@proceedings{TPHOL:09,
  Opteditor = {Stefan Berghofer and
               Tobias Nipkow and
               Christian Urban and
               Makarius Wenzel},
  optbooktitle  = {{Proceedings of the 22nd International Conference
                  Theorem Proving in Higher Order Logics
                  (TPHOLs~2009)}},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5674},
  booktitle = {TPHOLs},
  year      = {2009},
  optaddress   = {Munich, Germany}
}

@proceedings{FP:92,
  Opteditor = {John Launchbury and
               Patrick M. Sansom},
  booktitle  = {Proceedings of the 1992 Glasgow Workshop on Functional
                  Programming},
series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1993},
}

@proceedings{FP:93,
  booktitle  = {Proceedings of the 1993 Glasgow Workshop on Functional
                  Programming},
  publisher = {Springer},
  year      = {1994},
}

@proceedings{SPAA:95,
  opteditor    = {Friedhelm {Meyer auf der Heide} and
               Cynthia A. Phillips},
  optbooktitle     = {Proceedings of the 7th Annual ACM Symposium on
                  Parallelism in Algorithms and Architectures
                  (SPAA~1995)},
  booktitle = {SPAA},
  publisher = {ACM},
  year      = {1995},
}


@proceedings{SPAA:10,
  opteditor    = {Friedhelm {Meyer auf der Heide} and
               Cynthia A. Phillips},
  booktitle     = {Proceedings of the 22nd Annual ACM Symposium on
                  Parallelism in Algorithms and Architectures
                  (SPAA~2010)},
  publisher = {ACM},
  year      = {2010},
}


@proceedings{Haskell:05,
  Opteditor    = {Daan Leijen},
  booktitle     = {Proceedings of the ACM SIGPLAN Workshop on Haskell},
  publisher = {ACM},
  year      = {2005},
}

@proceedings{CONCUR:07,
  Opteditor    = {Lu\'{\i}s Caires and
               Vasco Thudichum Vasconcelos},
  booktitle = {CONCUR},
  series    = {LNCS},
  volume    = {4703},
  publisher = {Springer},
  year      = {2007},
}

@proceedings{CONCUR:10,
  opteditor    = {Paul Gastin and
               Fran\c{c}ois Laroussinie},
  optbooktitle     = {Proceedings of the 21th International Conference on Concurrency Theory (CONCUR 2010)},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6269},
  year      = {2010},
}

@proceedings{TACAS:10,
  opteditor    = {Javier Esparza and
               Rupak Majumdar},
  opttitle     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 16th International Conference, TACAS 2010, Held
               as Part of the Joint European Conferences on Theory and
               Practice of Software, ETAPS 2010, Paphos, Cyprus, March
               20-28, 2010. Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  optseries    = {Lecture Notes in Computer Science},
  optvolume    = {6015},
  year      = {2010},
}

@proceedings{PPOPP:06,
  opteditor    = {Josep Torrellas and
               Siddhartha Chatterjee},
  opttitle     = {Proceedings of the ACM SIGPLAN Symposium on Principles and
               Practice of Parallel Programming, PPOPP 2006, New York,
               New York, USA, March 29-31, 2006},
  booktitle = {PPOPP},
  publisher = {ACM},
  year      = {2006},
}

@proceedings{DISC:02,
  opteditor    = {Dahlia Malkhi},
  opttitle     = {Distributed Computing, 16th International Conference, DISC
               2002, Toulouse, France, October 28-30, 2002 Proceedings},
  booktitle = {DISC},
  publisher = {Springer},
  optseries    = {Lecture Notes in Computer Science},
  optvolume    = {2508},
  year      = {2002},
}


@proceedings{CONCUR:12,
  opteditor    = {Maciej Koutny and
               Irek Ulidowski},
  booktitle  = {CONCUR},
  optbooktitle     = {Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR 2012)},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {7454},
  year      = {2012},
}


@proceedings{PODC:10,
  opteditor    = {Andr{\'e}a W. Richa and
               Rachid Guerraoui},       
  optbooktitle     = {Proceedings of the 29th Annual ACM Symposium on Principles
               of Distributed Computing (PODC 2010)},
  booktitle = {PODC},
  publisher = {ACM},
  year      = {2010}
}


@proceedings{FSTTCS:04,
  opteditor    = {Kamal Lodaya and
               Meena Mahajan},
  opttitle     = {FSTTCS 2004: Foundations of Software Technology and Theoretical
               Computer Science, 24th International Conference, Chennai,
               India, December 16-18, 2004, Proceedings},
  booktitle = {FSTTCS},
  publisher = {Springer},
  optseries    = {Lecture Notes in Computer Science},
  optvolume    = {3328},
  year      = {2004},
}

@proceedings{CAV:06,
  opteditor    = {Thomas Ball and
               Robert B. Jones},
  opttitle     = {Computer Aided Verification, 18th International Conference,
               CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  booktitle = {CAV},
  publisher = {Springer},
  optseries    = {Lecture Notes in Computer Science},
  optvolume    = {4144},
  year      = {2006},
}


@proceedings{TAMC:12,
  opteditor    = {Manindra Agrawal and
               S. Barry Cooper and
               Angsheng Li},
  opttitle     = {Theory and Applications of Models of Computation - 9th Annual
               Conference, TAMC 2012, Beijing, China, May 16-21, 2012.
               Proceedings},
  booktitle = {TAMC},
  publisher = {Springer},
  optseries    = {Lecture Notes in Computer Science},
  optvolume    = {7287},
  year      = {2012},
}

@proceedings{PLDI:11,
  opteditor    = {Mary W. Hall and
               David A. Padua},
  opttitle     = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming
               Language Design and Implementation (PLDI~2011)},
  booktitle    = {PLDI},
  optbooktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming
               Language Design and Implementation (PLDI~2011)},
  publisher = {ACM},
  year      = {2011},
  optlocation  = {San Jose, California, USA}
}


@proceedings{NFM:11,
  opteditor    = {Mihaela Gheorghiu Bobaru and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  booktitle     = {Proceedings of the Third International Symposium on {NASA} Formal Methods ({NFM}~2011)},
  series    = {LNCS},
  year      = {2011},
  volume    = {6617},
  publisher = {Springer},
}


@proceedings{MFPS:89,
  opteditor    = {Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
  booktitle     = {Proceedings on the 5th International Conference on
                  Mathematical Foundations of Programming Semantics
                  (MFPS'89)},
  series    = {LNCS},
  year      = {1990},
  volume    = {442},
  publisher = {Springer},
}

@proceedings{ITP:13,
  Opteditor    = {Sandrine Blazy and
               Christine Paulin-Mohring and
               David Pichardie},
  opttitle     = {Proceedings of the 4th International Conference on
                  Interactive Theorem Proving (ITP 2013)},
  booktitle = {Proceedings of the 4th International Conference on
                  Interactive Theorem Proving (ITP~2013)},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {7998},
  year      = {2013},
  location   = {Rennes, France},
}

@proceedings{ITP:14,
  opteditor    = {Gerwin Klein and
               Ruben Gamboa},
  booktitle     = {Proceedings of the 5th International Conference on Interactive Theorem Proving (ITP~2014)},
  series    = {LNCS},
  year      = {2014},
  volume    = {8558},
  publisher = {Springer},
}

@proceedings{TYPES:06,
  opteditor    = {Thorsten Altenkirch and
               Conor McBride},
  opttitle     = {Proceedings of the International Workshop on Types for
                  Proofs and Programs},
  booktitle = {Proceedings of the International Workshop on Types for
                  Proofs and Programs (TYPES~2006)},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4502},
  year      = {2007},
  optlocation  = {Nottingham, United Kingdom}
}

@proceedings{FOSAD:09,
  opteditor    = {Alessandro Aldini and
               Gilles Barthe and
               Roberto Gorrieri},
  booktitle     = {Tutorial Lectures on Foundations of Security
                  Analysis and Design V (FOSAD~2007/2008/2009 Tutorial
                  Lectures)},
  series    = {LNCS},
  year      = {2009},
  volume    = {5705},
  publisher = {Springer},
}

@proceedings{FM:14,
  opteditor    = {Cliff B. Jones and
               Pekka Pihlajasaari and
               Jun Sun},
  booktitle = {FM},
  optbooktitle = {Proceedings of the 19th International Symposium on
                  Formal Methods ({FM}~2014)},  
  series    = {LNCS},
  year      = {2014},
  volume    = {8442},
  publisher = {Springer},
}


@proceedings{CIE:08,
  opteditor    = {Arnold Beckmann and
               Costas Dimitracopoulos and
               Benedikt L{\"{o}}we},
  booktitle     = {Proceedings of 4th Conference on Computability in Europe -- Logic and Theory of Algorithms (CiE~2008)},
  series    = {LNCS},
  year      = {2008},
  volume    = {5028},
  publisher = {Springer},
}

@proceedings{ESOP:15,
  Opteditor    = {Jan Vitek},
  booktitle = {ESOP},
  optbooktitle = {Proceedings of the 24th European Symposium on Programming Languages and Systems (ESOP~2015)},  
  publisher = {Springer},
  series = {LNCS},
  volume    = {9032},
  year      = {2015}
}

@proceedings{STOC:05,
  opteditor    = {Harold N. Gabow and
               Ronald Fagin},
  booktitle     = {STOC},
  optbooktitle     = {Proceedings of the 37th Annual {ACM} Symposium on Theory of Computing,
               Baltimore, MD, USA, May 22-24, 2005},
  publisher = {{ACM}},
  year      = {2005},
}

@proceedings{DISC:13,
  opteditor    = {Yehuda Afek},
  booktitle  = {DISC},
  optbooktitle     = {Distributed Computing - 27th International Symposium, {DISC} 2013,
               Jerusalem, Israel, October 14-18, 2013. Proceedings},
  series    = {LNCS},
  volume    = {8205},
  publisher = {Springer},
  year      = {2013},
}

@proceedings{EuroPar:10,
  opteditor    = {Pasqua D'Ambra and
               Mario Rosario Guarracino and
               Domenico Talia},
  optbooktitle     = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference,
               Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part {II}},
  series    = {LNCS},
  volume    = {6272},
  publisher = {Springer},
  year      = {2010},
  booktitle  = {Euro-Par~(2)}
}

@proceedings{PODC:14,
  opteditor    = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
               Shlomi Dolev},
  optbooktitle     = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing, ({PODC}'14)},
  booktitle   = {PODC},
  publisher = {{ACM}},
  year      = {2014},
}

@proceedings{OPODIS:10,
  opteditor    = {Chenyang Lu and
               Toshimitsu Masuzawa and
               Mohamed Mosbah},
  series    = {LNCS},
  volume    = {6490},
  publisher = {Springer},
  year      = {2010},
  booktitle = {OPODIS},
  optbooktitle = {Proceedings of 14th International Conference on
                  Principles of Distributed Systems ({OPODIS}~2010)}
}
 
@proceedings{CAV:10,
  opteditor    = {Tayssir Touili and
               Byron Cook and
               Paul Jackson},
  booktitle = {CAV},
  optbooktitle     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {LNCS},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
}

@proceedings{CAV:07,
  opteditor    = {Werner Damm and
               Holger Hermanns},
  series    = {LNCS},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  booktitle = {CAV},
  optbooktitle = {19th International Conference on Computer Aided Verification ({CAV'07})}  
}

@proceedings{CAV:13,
  opteditor    = {Natasha Sharygina and
               Helmut Veith},
  opttitle     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {LNCS},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  booktitle = {CAV}
}

@proceedings{ASE:13,
  opteditor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  opttitle     = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  publisher = {{IEEE}},
  year      = {2013},
  booktitle = {ASE}  
}

@proceedings{POPL:15,
  opteditor    = {Sriram K. Rajamani and
               David Walker},
  booktitle = {POPL},
  optbooktitle     = {Proceedings of the 42nd annual {ACM} {SIGPLAN-SIGACT} symposium on
               Principles of programming languages ({POPL}~2015)},
  publisher = {{ACM}},
  year      = {2015},
}

@proceedings{STOC:83,
  opteditor    = {David S. Johnson and
               Ronald Fagin and
               Michael L. Fredman and
               David Harel and
               Richard M. Karp and
               Nancy A. Lynch and
               Christos H. Papadimitriou and
               Ronald L. Rivest and
               Walter L. Ruzzo and
               Joel I. Seiferas},
  publisher = {{ACM}},
  year      = {1983},
  booktitle = {STOC},
  optbooktitle = {Proceedings of the 15th Annual {ACM} Symposium on
                  Theory of Computing (STOC'83)} 
}

@proceedings{SPAA:04,
  opteditor    = {Phillip B. Gibbons and
               Micah Adler},
  opttitle     = {{SPAA} 2004: Proceedings of the Sixteenth Annual {ACM} Symposium on
               Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona,
               Spain},
  publisher = {{ACM}},
  year      = {2004},
  booktitle = {SPAA}
}

@proceedings{DISC:15,
  opteditor    = {Yoram Moses},
  opttitle     = {Distributed Computing - 29th International Symposium, {DISC} 2015,
               Tokyo, Japan, October 7-9, 2015, Proceedings},
  series    = {LNCS},
  volume    = {9363},
  publisher = {Springer},
  year      = {2015},
  booktitle = {DISC}
}

@proceedings{COMPOS:97,
  opteditor    = {Willem P. de Roever and
               Hans Langmaack and
               Amir Pnueli},
  opttitle     = {Compositionality: The Significant Difference, International Symposium,
               COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
  series    = {LNCS},
  volume    = {1536},
  publisher = {Springer},
  year      = {1998},
  optbooktitle = {Compositionality: The Significant Difference,
                  International Symposium, (COMPOS'97)},
  booktitle = {Compositionality: The Significant Difference,
                  International Symposium}

		  
}

@proceedings{SNAPL:15,
  opteditor    = {Thomas Ball and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi and
               Benjamin S. Lerner and
               Greg Morrisett},
  opttitle     = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
               3-6, 2015, Asilomar, California, {USA}},
  series    = {LIPIcs},
  volume    = {32},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  booktitle = {SNAPL}
}

@proceedings{SNAPL:17,
  opteditor    = {Benjamin S. Lerner and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi},
  series    = {LIPIcs},
  volume    = {71},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  booktitle = {SNAPL}
}


@proceedings{POPL:16,
  opteditor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  opttitle     = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  booktitle = {POPL}
}

@proceedings{OOPSLA:14,
  opteditor    = {Andrew P. Black and
               Todd D. Millstein},
  booktitle    = {OOPSLA},
  opttitle     = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  publisher = {{ACM}},
  year      = {2014},
}

@proceedings{PLDI:16,
  opteditor    = {Chandra Krintz and
               Emery Berger},
  opttitle     = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  publisher = {{ACM}},
  year      = {2016},
  booktitle = {PLDI}
}

@article{Newcombe-al:CACM14,
  author    = {Chris Newcombe and
               Tim Rath and
               Fan Zhang and
               Bogdan Munteanu and
               Marc Brooker and
               Michael Deardeuff},
  title     = {{How Amazon web services uses formal methods}},
  journal   = {Commun. {ACM}},
  volume    = {58},
  number    = {4},
  pages     = {66--73},
  year      = {2015},
}

@proceedings{SOSP:15,
  opteditor    = {Ethan L. Miller and
               Steven Hand},
  opttitle     = {Proceedings of the 25th Symposium on Operating Systems Principles,
               {SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
  publisher = {{ACM}},
  year      = {2015},
  booktitle = {SOSP}
}

@proceedings{CPP:16,
  opteditor    = {Jeremy Avigad and
               Adam Chlipala},
  opttitle     = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  booktitle = {CPP}
}

@proceedings{AVOCS:15,
  opttitle    = {Proceedings of the 15th International Workshop on Automated Verification of Critical Systems},
  publisher   = {{EASST}},
  year        = 2015,
  booktitle   = {AVOCS},

}

@proceedings{OSDI:16,
  opteditor    = {Kimberly Keeton and
               Timothy Roscoe},
  opttitle     = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  publisher = {{USENIX} Association},
  year      = {2016},
  booktitle = {OSDI}
}