Essential-of-Compilation/book.bib

@book{Pierce:2004fk,
	editor = {Benjamin C. Pierce},
	publisher = {The MIT press},
	title = {Advanced Topics in Types and Programming Languages},
	year = {2004}}

@book{Pierce:SF2,
  author = {Benjamin C. Pierce and Arthur Azevedo de Amorim
                  and Chris Casinghino and Marco Gaboardi and
                  Michael Greenberg and C\v{a}t\v{a}lin Hri\c{t}cu
                  and Vilhelm Sj\"{o}berg and Andrew Tolmach
                  and Brent Yorgey},
  title = {Programming Language Foundations},
  series = {Software Foundations series, volume 2},
  month = may,
  year = {2018},
  publisher = {Electronic textbook},
  plclub = {Yes},
  bcp = {Yes},
  keys = {verification,books}
}

@Book{Harper2016,
  author = 	 {Robert Harper},
  title = 	 {Practical Foundations for Programming Languages},
  publisher = 	 {Cambridge University Press},
  year = 	 2016,
  edition = 	 {2nd}}

@Article{Appel90,
  author = 	 {Appel, Andrew W.},
  title = 	 {A runtime system},
  journal = 	 {{LISP} and Symbolic Computation},
  year = 	 1990,
  volume = 	 3,
  number = 	 4,
  pages = 	 {343--380},
  month = 	 {November}}

@book{Appel91,
  place={Cambridge},
  title={Compiling with Continuations},
  DOI={10.1017/CBO9780511609619},
  publisher={Cambridge University Press},
  author={Appel, Andrew W.},
  year={1991}
}

@inproceedings{Dieckmann99,
  author    = {Sylvia Dieckmann and Urs H{\"{o}}lzle},
  editor    = {Rachid Guerraoui},
  title     = {A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark},
  booktitle = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
               Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = 1628,
  pages     = {92--115},
  publisher = {Springer},
  year      = 1999,
  url       = {https://doi.org/10.1007/3-540-48743-3\_5},
  doi       = {10.1007/3-540-48743-3\_5},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoop/DieckmannH99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{Pierce:2000,
author = {Pierce, Benjamin C. and Turner, David N.},
title = {Local Type Inference},
year = 2000,
issue_date = {Jan. 2000},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 22,
number = 1,
issn = {0164-0925},
url = {https://doi.org/10.1145/345099.345100},
doi = {10.1145/345099.345100},
abstract = {We study two partial type inference methods for a language combining subtyping and impredicative polymorphism. Both methods are local in the sense that missing annotations are recovered using only information from adjacent nodes in the syntax tree, without long-distance constraints such as unification variables. One method infers type arguments in polymorphic applications using a local constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate our design choices by a statistical analysis of the uses of type inference in a sizable body of existing ML code.},
journal = {ACM Trans. Program. Lang. Syst.},
month = jan,
pages = {1–44},
numpages = 44,
keywords = {subtyping, polymorphism, type inference}
}

@article{Dunfield:2021,
author = {Dunfield, Jana and Krishnaswami, Neel},
title = {Bidirectional Typing},
year = 2021,
issue_date = {June 2022},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 54,
number = 5,
issn = {0360-0300},
url = {https://doi.org/10.1145/3450952},
doi = {10.1145/3450952},
abstract = {Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies a known type, and type synthesis, which determines a type from the program. Using checking enables bidirectional typing to support features for which inference is undecidable; using synthesis enables bidirectional typing to avoid the large annotation burden of explicitly typed languages. In addition, bidirectional typing improves error locality. We highlight the design principles that underlie bidirectional type systems, survey the development of bidirectional typing from the prehistoric period before Pierce and Turner’s local type inference to the present day, and provide guidance for future investigations.},
journal = {ACM Comput. Surv.},
month = may,
articleno = 98,
numpages = 38,
keywords = {type inference, Type checking}
}

@inproceedings{Hatcliff:1994ea,
	address = {New York, NY, USA},
	author = {John Hatcliff and Olivier Danvy},
	booktitle = {POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	date-added = {2005-11-25 10:47:59 -0600},
	date-modified = {2010-12-17 10:23:11 -0700},
	isbn = {0-89791-636-0},
	location = {Portland, Oregon, United States},
	pages = {458--471},
	publisher = {ACM Press},
	title = {A generic account of continuation-passing styles},
	year = {1994}}

@article{Plotkin:1975,
	author = {G. D. Plotkin},
	date-added = {2005-11-25 10:55:03 -0600},
	date-modified = {2009-08-25 22:28:20 -0600},
	journal = {Theoretical Computer Science},
	month = dec,
	number = {2},
	pages = {125-159},
	rating = {5},
	read = {Yes},
	title = {Call-by-name, call-by-value and the lambda-calculus},
	volume = {1},
	year = {1975}}

@inproceedings{Lawall:1993,
author = {Lawall, Julia L. and Danvy, Olivier},
title = {Separating Stages in the Continuation-Passing Style Transformation},
year = 1993,
isbn = 0897915607,
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/158511.158613},
doi = {10.1145/158511.158613},
booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
pages = {124–136},
numpages = 13,
location = {Charleston, South Carolina, USA},
series = {POPL '93}
}

@book{Friedman:2001,
  author    = {Daniel P. Friedman and
               Mitchell Wand and
               Christopher T. Haynes},
  title     = {Essentials of programming languages {(2.} ed.)},
  publisher = {{MIT} Press},
  year      = 2001,
  isbn      = {978-0-262-06217-6},
  timestamp = {Fri, 15 Apr 2011 13:37:34 +0200},
  biburl    = {https://dblp.org/rec/books/daglib/0017436.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Fischer:1972,
author = {Fischer, Michael J.},
title = {Lambda Calculus Schemata},
year = 1972,
isbn = 9781450378918,
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/800235.807077},
doi = {10.1145/800235.807077},
booktitle = {Proceedings of ACM Conference on Proving Assertions about
                  Programs},
pages = {104–109},
numpages = 6,
location = {Las Cruces, New Mexico, USA}
}
  
@InProceedings{Wijngaarden:1966,
  author = 	 {Adriaan {van Wijngaarden}},
  title = 	 {Recursive definition of syntax and semantics},
  booktitle = {Formal Language Description Languages for Computer Programming},
  year = 	 1966,
  editor = 	 {T. B. Steel, Jr.},
  pages = 	 {13-24},
  publisher = {North-Holland}}

@book{Aho:2006wb,
	address = {USA},
	author = {Aho, Alfred V. and Lam, Monica S. and Sethi, Ravi and Ullman, Jeffrey D.},
	date-added = {2021-10-22 09:38:52 -0400},
	date-modified = {2021-10-22 09:38:59 -0400},
	isbn = {0321486811},
	publisher = {Addison-Wesley Longman Publishing Co., Inc.},
	title = {Compilers: Principles, Techniques, and Tools (2nd Edition)},
	year = {2006}}

@article{Logothetis:1981,
author = {Logothetis, George and Mishra, Prateek},
title = {Compiling short-circuit boolean expressions in one pass},
journal = {Software: Practice and Experience},
volume = {11},
number = {11},
pages = {1197-1214},
keywords = {Short-circuit evaluation, One-pass compilation, Boolean expressions, Code generation},
doi = {https://doi.org/10.1002/spe.4380111104},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.4380111104},
eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.4380111104},
abstract = {Abstract We present a very simple scheme for compiling boolean expressions in the short-circuit manner in one pass. The generated code is of very high quality and avoids most inefficiencies commonly associated with one-pass code generation. In particular, redundant conditional and unconditional branches are kept to a minimum. The scheme is general enough to compile the boolean expressions of a typical high-level language such as Pascal. It is presented in a format suited for syntax-directed translation and can be used with both top-down and bottom-up parsing.},
year = {1981}
}

@article{Clarke:1989,
author = {Clarke, Keith},
title = {One-Pass Code Generation Using Continuations},
year = {1989},
issue_date = {Dec. 1989},
publisher = {John Wiley & Sons, Inc.},
address = {USA},
volume = {19},
number = {12},
issn = {0038-0644},
journal = {Softw. Pract. Exper.},
month = nov,
pages = {1175–1192},
numpages = {18}
}

@article{Moggi:1991in,
	address = {Duluth, MN, USA},
	annote = {Journal version of the 1989 Computational Lambda-Calculus and Monads},
	author = {Eugenio Moggi},
	date-added = {2005-11-25 10:58:45 -0600},
	date-modified = {2010-12-17 10:23:11 -0700},
	issn = {0890-5401},
	journal = {Inf. Comput.},
	number = {1},
	pages = {55--92},
	publisher = {Academic Press, Inc.},
	title = {Notions of computation and monads},
	volume = {93},
	year = {1991},
	Bdsk-File-1 = {YnBsaXN0MDDRAQJccmVsYXRpdmVQYXRoWGljOTEucGRmCAsYAAAAAAAAAQEAAAAAAAAAAwAAAAAAAAAAAAAAAAAAACE=},
	Bdsk-Url-1 = {http://dx.doi.org/10.1016/0890-5401(91)90052-4}}

@article{Flatt:2019tb,
	abstract = {We rebuilt Racket on Chez Scheme, and it works well---as long as we're allowed
a few patches to Chez Scheme. DrRacket runs, the Racket distribution can build itself,
and nearly all of the core Racket test suite passes. Maintainability and performance
of the resulting implementation are good, although some work remains to improve end-to-end
performance. The least predictable part of our effort was how big the differences
between Racket and Chez Scheme would turn out to be and how we would manage those
differences. We expect Racket on Chez Scheme to become the main Racket implementation,
and we encourage other language implementers to consider Chez Scheme as a target virtual
machine.},
	address = {New York, NY, USA},
	articleno = {78},
	author = {Flatt, Matthew and Derici, Caner and Dybvig, R. Kent and Keep, Andrew W. and Massaccesi, Gustavo E. and Spall, Sarah and Tobin-Hochstadt, Sam and Zeppieri, Jon},
	date-added = {2021-10-21 14:03:11 -0400},
	date-modified = {2021-10-21 14:03:16 -0400},
	doi = {10.1145/3341642},
	issue_date = {August 2019},
	journal = {Proc. ACM Program. Lang.},
	keywords = {Racket, Scheme},
	month = jul,
	number = {ICFP},
	numpages = {15},
	publisher = {Association for Computing Machinery},
	title = {Rebuilding Racket on Chez Scheme (Experience Report)},
	url = {https://doi.org/10.1145/3341642},
	volume = {3},
	year = {2019},
	Bdsk-File-1 = {YnBsaXN0MDDRAQJccmVsYXRpdmVQYXRoWzMzNDE2NDIucGRmCAsYAAAAAAAAAQEAAAAAAAAAAwAAAAAAAAAAAAAAAAAAACQ=},
	Bdsk-Url-1 = {https://doi.org/10.1145/3341642}}

@incollection{Danvy:2003fk,
	author = {Danvy, Olivier},
	booktitle = {Compiler Construction},
	date-added = {2013-01-02 15:56:48 -0700},
	date-modified = {2013-01-02 15:58:19 -0700},
	pages = {77-89},
	series = {LNCS},
	title = {A New One-Pass Transformation into Monadic Normal Form},
	volume = {2622},
	year = {2003},
	Bdsk-File-1 = {YnBsaXN0MDDRAQJccmVsYXRpdmVQYXRoXxA0RGFudnkyMDAzX0NoYXB0ZXJfQU5ld09uZS1QYXNzVHJhbnNmb3JtYXRpb25JbnRvLnBkZggLGAAAAAAAAAEBAAAAAAAAAAMAAAAAAAAAAAAAAAAAAABP},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/3-540-36579-6_6}}

@article{PeytonJones:1998,
	author = {Simon L. {Peyton Jones} and Andr{\'e}L.M. Santos},
	journal = {Science of Computer Programming},
	number = {1},
	pages = {3-47},
	title = {A transformation-based optimiser for Haskell},
	volume = {32},
	year = {1998}}

@Misc{Lehtosalo2021:MyPy,
  author = 	 {Jukka Lehtosalo},
  title = 	 {MyPy Optional Type Checker for Python},
  howpublished = {\url{http://mypy-lang.org/}},
  month = 	 jun,
  year = 	 2021}

@book{Russell2003,
author = {Russell, Stuart J. and Norvig, Peter},
title = {Artificial Intelligence: A Modern Approach},
year = {2003},
isbn = {0137903952},
publisher = {Pearson Education},
edition = {2},
}

@Misc{PSF21:cpython,
  title = 	 {CPython github repository},
  organization = {Python Software Foundation},
  howpublished = {\url{https://github.com/python/cpython}},
  year = 	 2021}

@Manual{PSF21:python_ref,
  title = 	 {The Python Language Reference},
  organization = {Python Software Foundation},
  month = 	 jun,
  year = 	 2021,
  howpublished = {\url{https://docs.python.org/3/reference/}},
}

@book{Lutz:2013vp,
	author = {Mark Lutz},
	date-added = {2021-06-10 10:29:47 -0400},
	date-modified = {2021-06-10 10:30:37 -0400},
	edition = {5th},
	publisher = {O'Reilly},
	title = {Learning Python},
	year = {2013}}

@book{Sweigart:2019vn,
	author = {Al Sweigart},
	date-added = {2021-06-10 10:28:09 -0400},
	date-modified = {2021-06-10 10:29:04 -0400},
	publisher = {No Starch Press},
	title = {Automate the Boring Stuff with Python},
	year = {2019}}

@book{Barry:2016vj,
	author = {Paul Barry},
	date-added = {2021-06-10 10:24:32 -0400},
	date-modified = {2021-06-10 10:25:03 -0400},
	publisher = {O'Reilly},
	title = {Head First Python},
	year = {2016}}

@book{Matthes:2019vs,
	author = {Eric Matthes},
	date-added = {2021-06-10 10:22:38 -0400},
	date-modified = {2021-06-10 10:23:25 -0400},
	edition = {2nd},
	publisher = {No Starch Press},
	title = {Python Crash Course},
	year = {2019}}

@book{Kernighan:1988nx,
  address =       {Upper Saddle River, NJ, USA},
  author =        {Brian W. Kernighan and Dennis M. Ritchie},
  publisher =     {Prentice Hall Press},
  title =         {The C programming language},
  year =          {1988},
  isbn =          {0-13-110362-8},
}

@book{Dybvig:1987aa,
  address =       {Upper Saddle River, NJ, USA},
  author =        {Dybvig, R. Kent},
  publisher =     {Prentice-Hall, Inc.},
  title =         {The SCHEME Programming Language},
  year =          {1987},
  isbn =          {0-13-791864-X},
}

@book{Abelson:1996uq,
  address =       {Cambridge, MA, USA},
  author =        {Abelson, Harold and Sussman, Gerald J.},
  edition =       {2nd},
  publisher =     {MIT Press},
  title =         {Structure and Interpretation of Computer Programs},
  year =          {1996},
  isbn =          {0262011530},
}

@book{Friedman:1996aa,
  address =       {Cambridge, MA, USA},
  author =        {Friedman, Daniel P. and Felleisen, Matthias},
  publisher =     {MIT Press},
  title =         {The Little Schemer (4th Ed.)},
  year =          {1996},
  isbn =          {0-262-56099-2},
}

@book{Felleisen:2001aa,
  address =       {Cambridge, MA, USA},
  author =        {Felleisen, Matthias and Findler, Robert Bruce and
                   Flatt, Matthew and Krishnamurthi, Shriram},
  publisher =     {MIT Press},
  title =         {How to Design Programs: An Introduction to
                   Programming and Computing},
  year =          {2001},
  isbn =          {0-262-06218-6},
}

@book{Felleisen:2013aa,
  address =       {San Francisco, CA, USA},
  author =        {Felleisen, Matthias and Conrad, M.D. Barski and
                   Horn, David Van and
                   Eight Students of Northeastern University},
  publisher =     {No Starch Press},
  title =         {Realm of Racket: Learn to Program, One Game at a
                   Time!},
  year =          {2013},
  isbn =          {1593274912},
}

@techreport{Flatt:2014aa,
  author =        {Matthew Flatt and Robert Bruce Findler and PLT},
  institution =   {PLT Inc.},
  number =        {6.0},
  title =         {The Racket Guide},
  year =          {2014},
}

@manual{Intel:2015aa,
  author =        {Intel},
  institution =   {Intel},
  month =         dec,
  title =         {Intel 64 and IA-32 Architectures Software Developer's
                   Manual Combined Volumes: 1, 2A, 2B, 2C, 3A, 3B, 3C
                   and 3D},
  year =          {2015},
}

@book{Bryant:2010aa,
  address =       {USA},
  author =        {Bryant, Randal E. and O'Hallaron, David R.},
  edition =       {2nd},
  publisher =     {Addison-Wesley Publishing Company},
  title =         {Computer Systems: A Programmer's Perspective},
  year =          {2010},
  isbn =          {0136108040},
}

@manual{Bryant:2005aa,
  author =        {Randal E. Bryant and David R. O'Hallaron},
  month =         sep,
  organization =  {Carnegie Mellon University},
  title =         {x86-64 Machine-Level Programming},
  year =          {2005},
}

@manual{Matz:2013aa,
  author =        {Michael Matz and Jan Hubicka and Andreas Jaeger and
                   Mark Mitchell},
  month =         oct,
  title =         {System V Application Binary Interface, AMD64
                   Architecture Processor Supplement},
  year =          {2013},
}

@misc{Microsoft:2018aa,
  author =        {Microsoft},
  howpublished =
  {\url{https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/x64-architecture}},
  month =         mar,
  title =         {x64 Architecture},
  year =          {2018},
}

@misc{Microsoft:2020aa,
  author =        {Microsoft},
  howpublished =
  {\url{https://docs.microsoft.com/en-us/cpp/build/x64-calling-convention}},
  month =         jul,
  title =         {x64 calling convention},
  year =          {2020},
}

@inproceedings{Dybvig:2006aa,
  address =       {New York, NY, USA},
  author =        {Dybvig, R. Kent},
  booktitle =     {Proceedings of the Eleventh ACM SIGPLAN International
                   Conference on Functional Programming},
  pages =         {1--12},
  publisher =     {ACM},
  series =        {ICFP '06},
  title =         {The Development of {Chez} {Scheme}},
  year =          {2006},
  doi =           {10.1145/1159803.1159805},
  isbn =          {1-59593-309-3},
  url =           {http://doi.acm.org/10.1145/1159803.1159805},
}

@inproceedings{Sarkar:2004fk,
  author =        {Dipanwita Sarkar and Oscar Waddell and
                   R. Kent Dybvig},
  booktitle =     {ICFP '04: Proceedings of the ninth ACM SIGPLAN
                   international conference on Functional programming},
  pages =         {201--212},
  publisher =     {ACM Press},
  title =         {A nanopass infrastructure for compiler education},
  year =          {2004},
  isbn =          {1-58113-905-5},
}

@phdthesis{Keep:2012aa,
  author =        {Andrew W. Keep},
  month =         dec,
  school =        {Indiana University},
  title =         {A Nanopass Framework for Commercial Compiler
                   Development},
  year =          {2012},
}

@techreport{Dybvig:2010aa,
  author =        {R. Kent Dybvig and Andrew Keep},
  institution =   {Indiana University},
  title =         {P523 Compiler Assignments},
  year =          {2010},
}

@inproceedings{Ghuloum:2006bh,
  author =        {Abdulaziz Ghuloum},
  booktitle =     {Scheme and Functional Programming Workshop},
  title =         {An Incremental Approach to Compiler Construction},
  year =          {2006},
}

@book{Aho:1986qf,
  address =       {Boston, MA, USA},
  author =        {Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman},
  publisher =     {Addison-Wesley Longman Publishing Co., Inc.},
  title =         {Compilers: principles, techniques, and tools},
  year =          {1986},
  isbn =          {0-201-10088-6},
}

@article{Backus:1960aa,
  address =       {New York, NY, USA},
  author =        {Backus, J. W. and Bauer, F. L. and Green, J. and
                   Katz, C. and McCarthy, J. and Perlis, A. J. and
                   Rutishauser, H. and Samelson, K. and Vauquois, B. and
                   Wegstein, J. H. and van Wijngaarden, A. and
                   Woodger, M.},
  editor =        {Naur, Peter},
  journal =       {Commun. ACM},
  month =         may,
  number =        {5},
  pages =         {299--314},
  publisher =     {ACM},
  title =         {Report on the Algorithmic Language ALGOL 60},
  volume =        {3},
  year =          {1960},
  doi =           {10.1145/367236.367262},
  issn =          {0001-0782},
  url =           {http://doi.acm.org/10.1145/367236.367262},
}

@article{Knuth:1964aa,
  address =       {New York, NY, USA},
  author =        {Knuth, Donald E.},
  journal =       {Commun. ACM},
  month =         dec,
  number =        {12},
  pages =         {735--736},
  publisher =     {ACM},
  title =         {Backus Normal Form vs. Backus Naur Form},
  volume =        {7},
  year =          {1964},
  doi =           {10.1145/355588.365140},
  issn =          {0001-0782},
  url =           {http://doi.acm.org/10.1145/355588.365140},
}

@article{SPERBER:2009aa,
  author =        {Sperber, Michael and DYBVIG,R. KENT and FLATT,MATTHEW and
                   VAN STRAATEN,ANTON and FINDLER,ROBBY and
                   MATTHEWS,JACOB},
  journal =       {Journal of Functional Programming},
  month =         {8},
  pages =         {1--301},
  title =         {Revised$^6$ Report on the Algorithmic Language
                   Scheme},
  volume =        {19},
  year =          {2009},
  doi =           {10.1017/S0956796809990074},
  issn =          {1469-7653},
  url =           {http://journals.cambridge.org/article_S0956796809990074},
}

@techreport{plt-tr,
  author =        {Matthew Flatt and PLT},
  institution =   {PLT Inc.},
  note =              {\url{http://docs.racket-lang.org/reference/index.html}},
  title =         {The {R}acket Reference~6.0},
  year =          {2014},
}

@inproceedings{reynolds72:_def_interp,
  author =        {John C. Reynolds},
  booktitle =     {{ACM} '72: Proceedings of the {ACM} Annual
                   Conference},
  pages =         {717--740},
  publisher =     {{ACM} Press},
  title =         {Definitional interpreters for higher-order
                   programming languages},
  year =          {1972},
}

@book{Jones:1993uq,
  address =       {Upper Saddle River, NJ, USA},
  author =        {Neil D. Jones and Carsten K. Gomard and
                   Peter Sestoft},
  publisher =     {Prentice-Hall, Inc.},
  title =         {Partial evaluation and automatic program generation},
  year =          {1993},
  isbn =          {0-13-020249-5},
}

@techreport{Danvy:1991fk,
  author =        {Olivier Danvy},
  institution =   {Kansas State University},
  month =         dec,
  number =        {CIS-92-02},
  title =         {Three Steps for the {CPS} Transformation},
  year =          {1991},
}

@inproceedings{Flanagan:1993cg,
  author =        {Cormac Flanagan and Amr Sabry and Bruce F. Duba and
                   Matthias Felleisen},
  booktitle =     {Conference on {P}rogramming {L}anguage {D}esign and
                   {I}mplementation},
  month =         jun,
  pages =         {502--514},
  series =        {PLDI},
  title =         {The essence of compiling with continuations},
  year =          {1993},
}

@book{Cooper:2011aa,
  author =        {Keith Cooper and Linda Torczon},
  edition =       {2nd},
  publisher =     {Morgan Kaufmann},
  title =         {Engineering a Compiler},
  year =          {2011},
}

@book{Appel:2003fk,
  author =        {Andrew W. Appel and Jens Palsberg},
  publisher =     {Cambridge University Press},
  title =         {Modern Compiler Implementation in Java},
  year =          {2003},
  isbn =          {052182060X},
}

@book{Balakrishnan:1996ve,
  author =        {Balakrishnan, V. K.},
  publisher =     {Dover Publications, Incorporated},
  title =         {Introductory Discrete Mathematics},
  year =          {1996},
  isbn =          {0486691152},
}

@book{Rosen:2002bh,
  author =        {Rosen, Kenneth H.},
  publisher =     {McGraw-Hill Higher Education},
  title =         {Discrete Mathematics and Its Applications},
  year =          {2002},
  isbn =          {0072474777},
}

@article{Brelaz:1979eu,
  address =       {New York, NY, USA},
  author =        {Br\'{e}laz, Daniel},
  journal =       {Commun. ACM},
  number =        {4},
  pages =         {251--256},
  publisher =     {ACM},
  title =         {New methods to color the vertices of a graph},
  volume =        {22},
  year =          {1979},
  issn =          {0001-0782},
}

@phdthesis{Gebremedhin:1999fk,
  author =        {Assefaw Hadish Gebremedhin},
  school =        {University of Bergen},
  title =         {Parallel Graph Coloring},
  year =          {1999},
}

@article{Omari:2006uq,
  author =        {Hussein Al-Omari and Khair Eddin Sabri},
  journal =       {Journal of Mathematics and Statistics},
  number =        {4},
  title =         {New Graph Coloring Algorithms},
  volume =        {2},
  year =          {2006},
}

@article{Horwitz:1966aa,
  address =       {New York, NY, USA},
  author =        {Horwitz, L. P. and Karp, R. M. and Miller, R. E. and
                   Winograd, S.},
  journal =       {J. ACM},
  month =         jan,
  number =        {1},
  pages =         {43--61},
  publisher =     {Association for Computing Machinery},
  title =         {Index Register Allocation},
  volume =        {13},
  year =          {1966},
  doi =           {10.1145/321312.321317},
  issn =          {0004-5411},
  url =           {https://doi.org/10.1145/321312.321317},
}

@inbook{Backus:1978aa,
  address =       {New York, NY, USA},
  author =        {Backus, John},
  booktitle =     {History of Programming Languages},
  pages =         {25--74},
  publisher =     {Association for Computing Machinery},
  title =         {The History of Fortran I, II, and III},
  year =          {1978},
  isbn =          {0127450408},
  url =           {https://doi.org/10.1145/800025.1198345},
}

@article{Chaitin:1981vl,
  author =        {Gregory J. Chaitin and Marc A. Auslander and
                   Ashok K. Chandra and John Cocke and Martin E. Hopkins and
                   Peter W. Markstein},
  journal =       {Computer Languages},
  pages =         {47-57},
  title =         {Register allocation via coloring},
  volume =        {6},
  year =          {1981},
}

@article{Kempe:1879aa,
  author =        {A. B. Kempe},
  journal =       {American Journal of Mathematics},
  number =        {3},
  pages =         {193--200},
  publisher =     {Johns Hopkins University Press},
  title =         {On the Geographical Problem of the Four Colours},
  volume =        {2},
  year =          {1879},
  issn =          {00029327, 10806377},
  url =           {http://www.jstor.org/stable/2369235},
}

@inproceedings{Chaitin:1982vn,
  author =        {G. J. Chaitin},
  booktitle =     {SIGPLAN '82: Proceedings of the 1982 {SIGPLAN}
                   Symposium on Compiler Construction},
  pages =         {98--105},
  publisher =     {ACM Press},
  title =         {Register allocation \& spilling via graph coloring},
  year =          {1982},
  isbn =          {0-89791-074-5},
}

@article{Briggs:1994kx,
  author =        {Preston Briggs and Keith D. Cooper and Linda Torczon},
  journal =       {ACM Trans. Program. Lang. Syst.},
  number =        {3},
  pages =         {428--455},
  publisher =     {ACM Press},
  title =         {Improvements to graph coloring register allocation},
  volume =        {16},
  year =          {1994},
  issn =          {0164-0925},
}

@article{George:1996aa,
  address =       {New York, NY, USA},
  author =        {George, Lal and Appel, Andrew W.},
  journal =       {ACM Trans. Program. Lang. Syst.},
  month =         may,
  number =        {3},
  pages =         {300--324},
  publisher =     {Association for Computing Machinery},
  title =         {Iterated Register Coalescing},
  volume =        {18},
  year =          {1996},
  doi =           {10.1145/229542.229546},
  issn =          {0164-0925},
  url =           {https://doi.org/10.1145/229542.229546},
}

@incollection{Matula:1972aa,
  author =        {David W. Matula and George Marble and
                   Joel D. Isaacson},
  booktitle =     {Graph Theory and Computing},
  editor =        {RONALD C. READ},
  pages =         {109 - 122},
  publisher =     {Academic Press},
  title =         {GRAPH COLORING ALGORITHMS††This research was
                   supported in part by the Advanced Research Projects
                   Agency of the Department of Defense under contract
                   SD-302 and by the National Science Foundation under
                   contract GJ-446.},
  year =          {1972},
  doi =           {https://doi.org/10.1016/B978-1-4832-3187-7.50015-5},
  isbn =          {978-1-4832-3187-7},
  url =           {http://www.sciencedirect.com/science/article/pii/
                  B9781483231877500155},
}

@inproceedings{Chow:1984ys,
  author =        {Frederick Chow and John Hennessy},
  booktitle =     {SIGPLAN '84: Proceedings of the 1984 SIGPLAN
                   symposium on Compiler construction},
  pages =         {222--232},
  publisher =     {ACM Press},
  title =         {Register allocation by priority-based coloring},
  year =          {1984},
  isbn =          {0-89791-139-3},
}

@inproceedings{Cooper:1998ly,
  author =        {Keith D. Cooper and L. Taylor Simpson},
  booktitle =     {Compiler Construction},
  title =         {Live range splitting in a graph coloring register
                   allocator},
  year =          {1998},
}

@inproceedings{Palsberg:2007si,
  address =       {Darlinghurst, Australia, Australia},
  author =        {Palsberg, Jens},
  booktitle =     {CATS '07: Proceedings of the thirteenth Australasian
                   symposium on Theory of computing},
  pages =         {3--3},
  publisher =     {Australian Computer Society, Inc.},
  title =         {Register allocation via coloring of chordal graphs},
  year =          {2007},
  isbn =          {1-920-68246-5},
}

@article{Poletto:1999uq,
  author =        {Massimiliano Poletto and Vivek Sarkar},
  journal =       {ACM Trans. Program. Lang. Syst.},
  number =        {5},
  pages =         {895--913},
  publisher =     {ACM Press},
  title =         {Linear scan register allocation},
  volume =        {21},
  year =          {1999},
  issn =          {0164-0925},
}

@inproceedings{Allen:1970uq,
  author =        {Frances E. Allen},
  booktitle =     {Proceedings of a symposium on Compiler optimization},
  pages =         {1--19},
  title =         {Control flow analysis},
  year =          {1970},
}

@techreport{Friedman:1976aa,
  author =        {Daniel P. Friedman and David S. Wise},
  institution =   {Indiana University},
  number =        {TR44},
  title =         {Cons should not evaluate its arguments},
  year =          {1976},
}

@book{Pierce:2002hj,
  author =        {Benjamin C. Pierce},
  publisher =     {MIT Press},
  title =         {Types and {P}rogramming {L}anguages},
  year =          {2002},
}

@article{Lieberman:1983aa,
  address =       {New York, NY, USA},
  author =        {Lieberman, Henry and Hewitt, Carl},
  journal =       {Commun. ACM},
  month =         jun,
  number =        {6},
  pages =         {419--429},
  publisher =     {ACM},
  title =         {A Real-time Garbage Collector Based on the Lifetimes
                   of Objects},
  volume =        {26},
  year =          {1983},
  doi =           {10.1145/358141.358147},
  issn =          {0001-0782},
  url =           {http://doi.acm.org/10.1145/358141.358147},
}

@inproceedings{Ungar:1984aa,
  address =       {New York, NY, USA},
  author =        {Ungar, David},
  booktitle =     {Proceedings of the First ACM SIGSOFT/SIGPLAN Software
                   Engineering Symposium on Practical Software
                   Development Environments},
  pages =         {157--167},
  publisher =     {ACM},
  series =        {SDE 1},
  title =         {Generation Scavenging: A Non-disruptive High
                   Performance Storage Reclamation Algorithm},
  year =          {1984},
  doi =           {10.1145/800020.808261},
  isbn =          {0-89791-131-8},
  url =           {http://doi.acm.org/10.1145/800020.808261},
}

@book{Jones:1996aa,
  address =       {New York, NY, USA},
  author =        {Jones, Richard and Lins, Rafael},
  publisher =     {John Wiley \& Sons, Inc.},
  title =         {Garbage Collection: Algorithms for Automatic Dynamic
                   Memory Management},
  year =          {1996},
  isbn =          {0-471-94148-4},
}

@inproceedings{Detlefs:2004aa,
  address =       {New York, NY, USA},
  author =        {Detlefs, David and Flood, Christine and Heller, Steve and
                   Printezis, Tony},
  booktitle =     {Proceedings of the 4th International Symposium on
                   Memory Management},
  pages =         {37--48},
  publisher =     {ACM},
  series =        {ISMM '04},
  title =         {Garbage-first Garbage Collection},
  year =          {2004},
  doi =           {10.1145/1029873.1029879},
  isbn =          {1-58113-945-4},
  url =           {http://doi.acm.org/10.1145/1029873.1029879},
}

@inproceedings{Tene:2011kx,
  address =       {New York, NY, USA},
  author =        {Tene, Gil and Iyengar, Balaji and Wolf, Michael},
  booktitle =     {Proceedings of the international symposium on Memory
                   management},
  pages =         {79--88},
  publisher =     {ACM},
  series =        {ISMM '11},
  title =         {C4: the continuously concurrent compacting collector},
  year =          {2011},
  doi =           {http://doi.acm.org/10.1145/1993478.1993491},
}

@incollection{Wilson:1992fk,
  author =        {Wilson, Paul},
  booktitle =     {Memory Management},
  editor =        {Bekkers, Yves and Cohen, Jacques},
  note =          {10.1007/BFb0017182},
  pages =         {1-42},
  publisher =     {Springer Berlin / Heidelberg},
  series =        {Lecture Notes in Computer Science},
  title =         {Uniprocessor garbage collection techniques},
  volume =        {637},
  year =          {1992},
  url =           {http://dx.doi.org/10.1007/BFb0017182},
}

@article{Cheney:1970aa,
  author =        {C. J. Cheney},
  journal =       {Communications of the {ACM}},
  number =        {11},
  title =         {A Nonrecursive List Compacting Algoirthm},
  volume =        {13},
  year =          {1970},
}

@article{McCarthy:1960dz,
  address =       {New York, NY, USA},
  author =        {McCarthy, John},
  journal =       {Commun. ACM},
  number =        {4},
  pages =         {184--195},
  publisher =     {ACM},
  title =         {Recursive functions of symbolic expressions and their
                   computation by machine, Part I},
  volume =        {3},
  year =          {1960},
  issn =          {0001-0782},
}

@article{Collins:1960aa,
  address =       {New York, NY, USA},
  author =        {Collins, George E.},
  journal =       {Commun. ACM},
  month =         dec,
  number =        {12},
  pages =         {655--657},
  publisher =     {Association for Computing Machinery},
  title =         {A Method for Overlapping and Erasure of Lists},
  volume =        {3},
  year =          {1960},
  doi =           {10.1145/367487.367501},
  issn =          {0001-0782},
  url =           {https://doi.org/10.1145/367487.367501},
}

@inproceedings{Blackburn:2004aa,
  address =       {New York, NY, USA},
  author =        {Blackburn, Stephen M. and Cheng, Perry and
                   McKinley, Kathryn S.},
  booktitle =     {Proceedings of the Joint International Conference on
                   Measurement and Modeling of Computer Systems},
  pages =         {25--36},
  publisher =     {ACM},
  series =        {SIGMETRICS '04/Performance '04},
  title =         {Myths and Realities: The Performance Impact of
                   Garbage Collection},
  year =          {2004},
  doi =           {10.1145/1005686.1005693},
  isbn =          {1-58113-873-3},
  url =           {http://doi.acm.org/10.1145/1005686.1005693},
}

@book{Jones:2011aa,
  author =        {Jones, Richard and Hosking, Antony and Moss, Eliot},
  edition =       {1st},
  publisher =     {Chapman \& Hall/CRC},
  title =         {The Garbage Collection Handbook: The Art of Automatic
                   Memory Management},
  year =          {2011},
  isbn =          {1420082795},
}

@inproceedings{Shahriyar:2013aa,
  author =        {Shahriyar, Rifat and Blackburn, Stephen M. and
                   Yang, Xi and McKinley, Kathryn M.},
  booktitle =     {OOPSLA '13: Proceeding of the 24th ACM SIGPLAN
                   conference on Object oriented programming systems
                   languages and applications},
  month =         oct,
  title =         {Taking Off the Gloves with Reference Counting Immix},
  year =          {2013},
  doi =           {http://dx.doi.org/10.1145/2509136.2509527},
}

@inproceedings{Cutler:2015aa,
  address =       {New York, NY, USA},
  author =        {Cutler, Cody and Morris, Robert},
  booktitle =     {Proceedings of the 2015 International Symposium on
                   Memory Management},
  pages =         {131--142},
  publisher =     {ACM},
  series =        {ISMM '15},
  title =         {Reducing Pause Times with Clustered Collection},
  year =          {2015},
  doi =           {10.1145/2754169.2754184},
  isbn =          {978-1-4503-3589-8},
  url =           {http://doi.acm.org/10.1145/2754169.2754184},
}

@inproceedings{Shidal:2015aa,
  address =       {New York, NY, USA},
  author =        {Shidal, Jonathan and Spilo, Ari J. and
                   Scheid, Paul T. and Cytron, Ron K. and
                   Kavi, Krishna M.},
  booktitle =     {Proceedings of the 2015 International Symposium on
                   Memory Management},
  pages =         {118--130},
  publisher =     {ACM},
  series =        {ISMM '15},
  title =         {Recycling Trash in Cache},
  year =          {2015},
  doi =           {10.1145/2754169.2754183},
  isbn =          {978-1-4503-3589-8},
  url =           {http://doi.acm.org/10.1145/2754169.2754183},
}

@inproceedings{Osterlund:2016aa,
  address =       {New York, NY, USA},
  author =        {\"{O}sterlund, Erik and L\"{o}we, Welf},
  booktitle =     {Proceedings of the 2016 ACM SIGPLAN International
                   Symposium on Memory Management},
  pages =         {1--12},
  publisher =     {Association for Computing Machinery},
  series =        {ISMM 2016},
  title =         {Block-Free Concurrent GC: Stack Scanning and Copying},
  year =          {2016},
  doi =           {10.1145/2926697.2926701},
  isbn =          {9781450343176},
  url =           {https://doi.org/10.1145/2926697.2926701},
}

@inproceedings{Jacek:2019aa,
  address =       {New York, NY, USA},
  author =        {Jacek, Nicholas and Moss, J. Eliot B.},
  booktitle =     {Proceedings of the 2019 ACM SIGPLAN International
                   Symposium on Memory Management},
  pages =         {53--63},
  publisher =     {Association for Computing Machinery},
  series =        {ISMM 2019},
  title =         {Learning When to Garbage Collect with Random Forests},
  year =          {2019},
  doi =           {10.1145/3315573.3329983},
  isbn =          {9781450367226},
  url =           {https://doi.org/10.1145/3315573.3329983},
}

@inproceedings{Gamari:2020aa,
  address =       {New York, NY, USA},
  author =        {Gamari, Ben and Dietz, Laura},
  booktitle =     {Proceedings of the 2020 ACM SIGPLAN International
                   Symposium on Memory Management},
  pages =         {87--99},
  publisher =     {Association for Computing Machinery},
  series =        {ISMM 2020},
  title =         {Alligator Collector: A Latency-Optimized Garbage
                   Collector for Functional Programming Languages},
  year =          {2020},
  doi =           {10.1145/3381898.3397214},
  isbn =          {9781450375665},
  url =           {https://doi.org/10.1145/3381898.3397214},
}

@inproceedings{Moore:1959aa,
  author =        {E.F. Moore},
  booktitle =     {Proceedings of an International Symposium on the
                   Theory of Switching},
  month =         apr,
  title =         {The shortest path through a maze},
  year =          {1959},
}

@book{Cormen:2001uq,
  author =        {Thomas H. Cormen and Clifford Stein and
                   Ronald L. Rivest and Charles E. Leiserson},
  publisher =     {McGraw-Hill Higher Education},
  title =         {Introduction to Algorithms},
  year =          {2001},
  isbn =          {0070131511},
}

@techreport{Steele:1977ab,
  author =        {Steele, Jr., Guy L.},
  institution =   {MIT Artificial Intelligence Lab},
  month =         sep,
  number =        {420},
  type =          {AI Memo},
  title =         {Data Representations in PDP-10 Maclisp},
  year =          {1977},
}

@article{Appel:1989aa,
  author =        {Appel, Andrew W.},
  journal =       {LISP and Symbolic Computation},
  number =        {2},
  pages =         {153-162},
  publisher =     {Kluwer Academic Publishers},
  title =         {Runtime tags aren't necessary},
  volume =        {2},
  year =          {1989},
  doi =           {10.1007/BF01811537},
  issn =          {0892-4635},
  language =      {English},
  url =           {http://dx.doi.org/10.1007/BF01811537},
}

@inproceedings{Goldberg:1991aa,
  address =       {New York, NY, USA},
  author =        {Goldberg, Benjamin},
  booktitle =     {Proceedings of the ACM SIGPLAN 1991 Conference on
                   Programming Language Design and Implementation},
  pages =         {165--176},
  publisher =     {ACM},
  series =        {PLDI '91},
  title =         {Tag-free Garbage Collection for Strongly Typed
                   Programming Languages},
  year =          {1991},
  doi =           {10.1145/113445.113460},
  isbn =          {0-89791-428-7},
  url =           {http://doi.acm.org/10.1145/113445.113460},
}

@inproceedings{Diwan:1992aa,
  address =       {New York, NY, USA},
  author =        {Diwan, Amer and Moss, Eliot and Hudson, Richard},
  booktitle =     {Proceedings of the ACM SIGPLAN 1992 Conference on
                   Programming Language Design and Implementation},
  pages =         {273--282},
  publisher =     {ACM},
  series =        {PLDI '92},
  title =         {Compiler Support for Garbage Collection in a
                   Statically Typed Language},
  year =          {1992},
  doi =           {10.1145/143095.143140},
  isbn =          {0-89791-475-9},
  url =           {http://doi.acm.org/10.1145/143095.143140},
}

@inbook{Siebert:2001aa,
  address =       {Berlin, Heidelberg},
  author =        {Siebert, Fridtjof},
  chapter =       {Constant-Time Root Scanning for Deterministic Garbage
                   Collection},
  editor =        {Wilhelm, Reinhard},
  pages =         {304--318},
  publisher =     {Springer Berlin Heidelberg},
  title =         {Compiler Construction: 10th International Conference,
                   CC 2001 Held as Part of the Joint European
                   Conferences on Theory and Practice of Software, ETAPS
                   2001 Genova, Italy, April 2--6, 2001 Proceedings},
  year =          {2001},
  doi =           {10.1007/3-540-45306-7_21},
  isbn =          {978-3-540-45306-2},
  url =           {http://dx.doi.org/10.1007/3-540-45306-7_21},
}

@inproceedings{Henderson:2002aa,
  address =       {New York, NY, USA},
  author =        {Henderson, Fergus},
  booktitle =     {Proceedings of the 3rd International Symposium on
                   Memory Management},
  pages =         {150--156},
  publisher =     {ACM},
  series =        {ISMM '02},
  title =         {Accurate Garbage Collection in an Uncooperative
                   Environment},
  year =          {2002},
  doi =           {10.1145/512429.512449},
  isbn =          {1-58113-539-4},
  url =           {http://doi.acm.org/10.1145/512429.512449},
}

@article{Baker:2009aa,
  address =       {Chichester, UK},
  author =        {Baker, J. and Cunei, A. and Kalibera, T. and
                   Pizlo, F. and Vitek, J.},
  journal =       {Concurr. Comput. : Pract. Exper.},
  month =         aug,
  number =        {12},
  pages =         {1572--1606},
  publisher =     {John Wiley and Sons Ltd.},
  title =         {Accurate Garbage Collection in Uncooperative
                   Environments Revisited},
  volume =        {21},
  year =          {2009},
  doi =           {10.1002/cpe.v21:12},
  issn =          {1532-0626},
  url =           {http://dx.doi.org/10.1002/cpe.v21:12},
}

@techreport{Dijkstra:1982aa,
  author =        {E. W. Dijkstra},
  institution =   {University of Texas at Austin},
  number =        {EWD831},
  title =         {Why numbering should start at zero},
  year =          {1982},
}

@article{Kelsey:1998di,
  author =        {R. Kelsey and W. Clinger and J. Rees (eds.)},
  journal =       {Higher-Order and Symbolic Computation},
  month =         aug,
  number =        {1},
  title =         {Revised$^5$ Report on the Algorithmic Language
                   Scheme},
  volume =        {11},
  year =          {1998},
}

@techreport{Cardelli:1983aa,
  author =        {Luca Cardelli},
  institution =   {AT\&T Bell Laboratories},
  number =        {TR-107},
  title =         {The Functional Abstract Machine},
  year =          {1983},
}

@inproceedings{Minamide:1996ys,
  address =       {New York, NY, USA},
  author =        {Minamide, Yasuhiko and Morrisett, Greg and
                   Harper, Robert},
  booktitle =     {Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium
                   on Principles of programming languages},
  pages =         {271--283},
  publisher =     {ACM},
  series =        {POPL '96},
  title =         {Typed closure conversion},
  year =          {1996},
  doi =           {http://doi.acm.org/10.1145/237721.237791},
  isbn =          {0-89791-769-3},
  url =           {http://doi.acm.org/10.1145/237721.237791},
}

@inproceedings{Shivers:1988aa,
  address =       {New York, NY, USA},
  author =        {Shivers, O.},
  booktitle =     {Proceedings of the ACM SIGPLAN 1988 Conference on
                   Programming Language Design and Implementation},
  pages =         {164--174},
  publisher =     {ACM},
  series =        {PLDI '88},
  title =         {Control Flow Analysis in {Scheme}},
  year =          {1988},
}

@inproceedings{Gilray:2016aa,
  address =       {New York, NY, USA},
  author =        {Gilray, Thomas and Lyde, Steven and Adams, Michael D. and
                   Might, Matthew and Van Horn, David},
  booktitle =     {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT
                   Symposium on Principles of Programming Languages},
  pages =         {691--704},
  publisher =     {Association for Computing Machinery},
  series =        {POPL '16},
  title =         {Pushdown Control-Flow Analysis for Free},
  year =          {2016},
  doi =           {10.1145/2837614.2837631},
  isbn =          {9781450335492},
  url =           {https://doi.org/10.1145/2837614.2837631},
}

@inproceedings{Keep:2012ab,
  author =        {Keep, Andrew W. and Hearn, Alex and Dybvig, R. Kent},
  booktitle =     {Proceedings of the 2012 Workshop on Scheme and
                   Functional Programming},
  series =        {Scheme '12},
  title =         {Optimizing Closures in {O}(0)-time},
  year =          {2012},
}

@article{Church:1932aa,
  author =        {Church, Alonzo},
  journal =       {Annals of Mathematics},
  number =        {2},
  pages =         {pp. 346-366},
  publisher =     {Annals of Mathematics},
  series =        {Second Series},
  title =         {A Set of Postulates for the Foundation of Logic},
  volume =        {33},
  year =          {1932},
  issn =          {0003486X},
  language =      {English},
  url =           {http://www.jstor.org/stable/1968337},
}

@techreport{Guy-L.-Steele:1978yq,
  address =       {Cambridge, MA, USA},
  author =        {Guy L. Steele},
  publisher =     {Massachusetts Institute of Technology},
  title =         {Rabbit: A Compiler for {Scheme}},
  year =          {1978},
}

@inproceedings{Cardelli:1984aa,
  author =        {Cardelli, Luca},
  booktitle =     {ACM Symposium on LISP and Functional Programming},
  pages =         {208--217},
  publisher =     {ACM},
  series =        {LFP '84},
  title =         {Compiling a Functional Language},
  year =          {1984},
}

@inproceedings{Gordon:1978aa,
  address =       {New York, NY, USA},
  author =        {Gordon, M. and Milner, R. and Morris, L. and
                   Newey, M. and Wadsworth, C.},
  booktitle =     {Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium
                   on Principles of Programming Languages},
  pages =         {119--130},
  publisher =     {Association for Computing Machinery},
  series =        {POPL '78},
  title =         {A Metalanguage for Interactive Proof in LCF},
  year =          {1978},
  doi =           {10.1145/512760.512773},
  isbn =          {9781450373487},
  url =           {https://doi.org/10.1145/512760.512773},
}

@book{Milner:1990fk,
  author =        {Robin Milner and Mads Tofte and Robert Harper},
  publisher =     {MIT Press},
  title =         {The definition of Standard ML},
  year =          {1990},
  isbn =          {0-262-63132-6},
}

@phdthesis{Dybvig:1987ab,
  author =        {R. Kent Dybvig},
  school =        {University of North Carolina at Chapel Hill},
  title =         {Three Implementation Models for Scheme},
  year =          {1987},
}

@article{Cardelli:1985kx,
  address =       {New York, NY, USA},
  author =        {Luca Cardelli and Peter Wegner},
  journal =       {ACM Comput. Surv.},
  number =        {4},
  pages =         {471--523},
  publisher =     {ACM Press},
  title =         {On understanding types, data abstraction, and
                   polymorphism},
  volume =        {17},
  year =          {1985},
  issn =          {0360-0300},
}

@inproceedings{Kildall:1973vn,
  author =        {Gary A. Kildall},
  booktitle =     {POPL '73: Proceedings of the 1st annual ACM
                   SIGACT-SIGPLAN symposium on Principles of programming
                   languages},
  pages =         {194--206},
  publisher =     {ACM Press},
  title =         {A unified approach to global program optimization},
  year =          {1973},
}

@misc{Kleene:1952aa,
  author =        {Kleene, S.},
  publisher =     {Van Nostrand, New York},
  title =         {{Introduction to Metamathematics}},
  year =          {1952},
  timestamp =     {2008-12-30T12:24:45.000+0100},
}

@inproceedings{Tobin-Hochstadt:2006fk,
  author =        {Sam Tobin-Hochstadt and Matthias Felleisen},
  booktitle =     {Dynamic Languages Symposium},
  title =         {Interlanguage Migration: From Scripts to Programs},
  year =          {2006},
}

@inproceedings{Matthews:2007zr,
  author =        {Jacob Matthews and Robert Bruce Findler},
  booktitle =     {The 34th ACM SIGPLAN-SIGACT Symposium on Principles
                   of Programming Languages},
  month =         jan,
  title =         {Operational Semantics for Multi-Language Programs},
  year =          {2007},
}

@inproceedings{Flanagan:2006mn,
  address =       {Charleston, South Carolina},
  author =        {Cormac Flanagan},
  booktitle =     {{POPL} 2006: The 33rd {ACM SIGPLAN-SIGACT} Symposium
                   on Principles of Programming Languages},
  month =         jan,
  pages =         {245-256},
  title =         {Hybrid Type Checking},
  year =          {2006},
}

@inproceedings{Gronski:2006uq,
  author =        {Jessica Gronski and Kenneth Knowles and Aaron Tomb and
                   Stephen N. Freund and Cormac Flanagan},
  booktitle =     {Scheme and Functional Programming Workshop},
  pages =         {93--104},
  title =         {Sage: Hybrid Checking for Flexible Specifications},
  year =          {2006},
}

@inproceedings{Anderson:2002kd,
  author =        {Christopher Anderson and Sophia Drossopoulou},
  booktitle =     {WOOD '03},
  number =        {8},
  publisher =     {Elsevier},
  series =        {},
  title =         {{BabyJ} - From Object Based to Class Based
                   Programming via Types},
  volume =        {82},
  year =          {2003},
}

@inproceedings{Siek:2006bh,
  author =        {Jeremy G. Siek and Walid Taha},
  booktitle =     {Scheme and Functional Programming Workshop},
  month =         sep,
  pages =         {81-92},
  title =         {Gradual typing for functional languages},
  year =          {2006},
}

@inproceedings{Wadler:2009qv,
  author =        {Philip Wadler and Robert Bruce Findler},
  booktitle =     {European {S}ymposium on {P}rogramming},
  month =         mar,
  pages =         {1--16},
  series =        {ESOP},
  title =         {Well-typed programs can't be blamed},
  year =          {2009},
}

@inproceedings{Herman:2006uq,
  author =        {David Herman and Aaron Tomb and Cormac Flanagan},
  booktitle =     {Trends in Functional Prog. (TFP)},
  month =         apr,
  pages =         {XXVIII},
  title =         {Space-Efficient Gradual Typing},
  year =          {2007},
}

@article{Herman:2010aa,
  author =        {Herman, David and Tomb, Aaron and Flanagan, Cormac},
  journal =       {Higher-Order and Symbolic Computation},
  number =        {2},
  pages =         {167-189},
  publisher =     {Springer US},
  title =         {Space-efficient gradual typing},
  volume =        {23},
  year =          {2010},
  language =      {English},
}

@article{Henglein:1994nz,
  author =        {Fritz Henglein},
  journal =       {Science of Computer Programming},
  month =         jun,
  number =        {3},
  pages =         {197-230},
  title =         {Dynamic typing: syntax and proof theory},
  volume =        {22},
  year =          {1994},
}

@inproceedings{Siek:2015ab,
  author =        {Jeremy G. Siek and Peter Thiemann and Philip Wadler},
  booktitle =     {Conference on Programming Language Design and
                   Implementation},
  month =         jun,
  series =        {PLDI},
  title =         {Blame and coercion: Together again for the first
                   time},
  year =          {2015},
}

@inproceedings{Kuhlenschmidt:2019aa,
  author =        {Andre Kuhlenschmidt and Deyaaeldeen Almahallawi and
                   Jeremy G. Siek},
  booktitle =     {Conference on Programming Language Design and
                   Implementation},
  month =         jun,
  publisher =     {ACM},
  series =        {PLDI},
  title =         {Toward Efficient Gradual Typing for Structural Types
                   via Coercions},
  year =          {2019},
}

@inproceedings{stroustrup88:_param_types,
  author =        {Bjarne Stroustrup},
  booktitle =     {USENIX {C++} Conference},
  month =         oct,
  title =         {Parameterized Types for {C++}},
  year =          {1988},
}

@inproceedings{Blelloch:1993aa,
  address =       {New York, NY, USA},
  author =        {Blelloch, Guy E. and Hardwick, Jonathan C. and
                   Chatterjee, Siddhartha and Sipelstein, Jay and
                   Zagha, Marco},
  booktitle =     {Proceedings of the Fourth ACM SIGPLAN Symposium on
                   Principles and Practice of Parallel Programming},
  pages =         {102--111},
  publisher =     {Association for Computing Machinery},
  series =        {PPOPP '93},
  title =         {Implementation of a Portable Nested Data-Parallel
                   Language},
  year =          {1993},
  doi =           {10.1145/155332.155343},
  isbn =          {0897915895},
  url =           {https://doi.org/10.1145/155332.155343},
}

@inproceedings{Weeks:2006aa,
  address =       {New York, NY, USA},
  author =        {Weeks, Stephen},
  booktitle =     {Proceedings of the 2006 Workshop on ML},
  pages =         {1},
  publisher =     {Association for Computing Machinery},
  series =        {ML '06},
  title =         {Whole-Program Compilation in MLton},
  year =          {2006},
  doi =           {10.1145/1159876.1159877},
  isbn =          {1595934839},
  url =           {https://doi.org/10.1145/1159876.1159877},
}

@techreport{liskov79:_clu_ref,
  author =        {Barbara Liskov and Russ Atkinson and Toby Bloom and
                   Eliot Moss and Craig Schaffert and Bob Scheifler and
                   Alan Snyder},
  institution =   {MIT},
  month =         oct,
  number =        {LCS-TR-225},
  publisher =     {Massachusetts Institute of Technology},
  title =         {{CLU} Reference Manual},
  year =          {1979},
}

@inproceedings{Liskov:1993dk,
  address =       {New York, NY, USA},
  author =        {Liskov, Barbara},
  booktitle =     {HOPL-II: The second ACM SIGPLAN conference on History
                   of programming languages},
  pages =         {133--147},
  publisher =     {ACM},
  title =         {A history of CLU},
  year =          {1993},
  isbn =          {0-89791-570-4},
}

@inbook{Appel:1987aa,
  address =       {Berlin, Heidelberg},
  author =        {Appel, Andrew W. and MacQueen, David B.},
  booktitle =     {Functional Programming Languages and Computer
                   Architecture: Portland, Oregon, USA, September
                   14--16, 1987 Proceedings},
  editor =        {Kahn, Gilles},
  pages =         {301--324},
  publisher =     {Springer Berlin Heidelberg},
  title =         {A standard ML compiler},
  year =          {1987},
  doi =           {10.1007/3-540-18317-5_17},
  isbn =          {978-3-540-47879-9},
  url =           {http://dx.doi.org/10.1007/3-540-18317-5_17},
}

@inproceedings{Bracha:1998fk,
  address =       {New York, NY, USA},
  author =        {Bracha, Gilad and Odersky, Martin and
                   Stoutamire, David and Wadler, Philip},
  booktitle =     {Proceedings of the 13th ACM SIGPLAN conference on
                   Object-oriented programming, systems, languages, and
                   applications},
  pages =         {183--200},
  publisher =     {ACM},
  series =        {OOPSLA '98},
  title =         {Making the future safe for the past: adding
                   genericity to the Java programming language},
  year =          {1998},
  doi =           {http://doi.acm.org/10.1145/286936.286957},
  isbn =          {1-58113-005-8},
  url =           {http://doi.acm.org/10.1145/286936.286957},
}

@inproceedings{Leroy:1992qb,
  address =       {New York, NY, USA},
  author =        {Xavier Leroy},
  booktitle =     {POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT
                   symposium on Principles of programming languages},
  pages =         {177--188},
  publisher =     {ACM Press},
  title =         {Unboxed objects and polymorphic typing},
  year =          {1992},
  isbn =          {0-89791-453-8},
}

@article{Morrison:1991aa,
  address =       {New York, NY, USA},
  author =        {Morrison, R. and Dearle, A. and Connor, R. C. H. and
                   Brown, A. L.},
  journal =       {ACM Trans. Program. Lang. Syst.},
  month =         jul,
  number =        {3},
  pages =         {342--371},
  publisher =     {ACM},
  title =         {An Ad Hoc Approach to the Implementation of
                   Polymorphism},
  volume =        {13},
  year =          {1991},
  doi =           {10.1145/117009.117017},
  issn =          {0164-0925},
  url =           {http://doi.acm.org/10.1145/117009.117017},
}

@inproceedings{Harper:1995um,
  author =        {Robert Harper and Greg Morrisett},
  booktitle =     {POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT
                   Symposium on Principles of Programming Languages},
  pages =         {130--141},
  publisher =     {ACM Press},
  title =         {Compiling polymorphism using intensional type
                   analysis},
  year =          {1995},
  isbn =          {0-89791-692-1},
}