@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, 9781593274917}, } @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 = {December}, 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, 9780136108047}, } @manual{Bryant:2005aa, author = {Randal E. Bryant and David R. O'Hallaron}, month = {September}, 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 = {October}, 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 = {March}, title = {x64 Architecture}, year = {2018}, } @misc{Microsoft:2020aa, author = {Microsoft}, howpublished = {\url{https://docs.microsoft.com/en-us/cpp/build/x64-calling-convention}}, month = {July}, 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 = {December}, 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 = {December}, 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 = {June}, 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, 9781420082791}, } @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 = {April}, 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 = {September}, 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 = {August}, 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 = {January}, 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 = {January}, 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 = {September}, 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 = {March}, 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 = {April}, 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 = {June}, 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 = {June}, 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 = {June}, 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 = {October}, 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 = {October}, 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}, }