@article(baker-equal,
 author       = {Henry G. Baker},
 year         = {1993},
 title        = {Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same},
 journal      = {ACM SIGPLAN OOPS Messenger},
 volume       = {4},
 number       = {4},
 pages        = {2--27},
 doi          = {10.1145/165593.165596},
 url          = {http://home.pipeline.com/~hbaker1/ObjectIdentity.html},
)
@inproceedings(bondorf-improving,
 author       = {Anders Bondorf},
 year         = {1992},
 title        = {Improving Binding Times Without Explicit {CPS}-Conversion},
 booktitle    = {{L}isp \& Functional Programming},
 pages        = {1--10},
 doi          = {10.1145/141471.141483},
)
@inproceedings(self-interp-f-omega,
 author       = {Matt Brown and Jens Palsberg},
 year         = {2016},
 title        = {Breaking through the normalization barrier: a self-interpreter for f-omega},
 editor       = {Rastislav Bodik and Rupak Majumdar},
 booktitle    = {{POPL} '16: Conference Record of the Annual {ACM} Symposium on Principles of Programming Languages},
 publisher    = {{ACM} {P}ress},
 address      = {{N}ew {Y}ork},
 pages        = {5--17},
 doi          = {10.1145/2914770.2837623},
)
@inproceedings(calcagno-ml-like,
 author       = {Cristiano Calcagno and Eugenio Moggi and Walid Taha},
 year         = {2004},
 title        = {{ML}-Like Inference for Classifiers},
 booktitle    = {{ESOP}},
 series       = {{LNCS}},
 volume       = {2986},
 pages        = {79--93},
 doi          = {10.1007/978-3-540-24725-8\_7},
)
@article(cardelli-basic,
 author       = {Luca Cardelli},
 year         = {1987},
 title        = {Basic Polymorphic Typechecking},
 journal      = {Science of Computer Programming},
 volume       = {8},
 number       = {2},
 pages        = {147--172},
 doi          = {10.1016/0167-6423(87)90019-0},
)
@article(chen-meta-programming,
 author       = {Chiyan Chen and Hongwei Xi},
 year         = {2005},
 title        = {Meta-Programming Through Typeful Code Representation},
 journal      = {Journal of Functional Programming},
 volume       = {15},
 number       = {6},
 pages        = {797--835},
 doi          = {10.1017/S0956796805005617},
)
@inproceedings(choi-static,
 author       = {Wontae Choi and Baris Aktemur and Kwangkeun Yi and Makoto Tatsuta},
 year         = {2011},
 title        = {Static Analysis of Multi-staged Programs via Unstaging Translation},
 editor       = {Thomas Ball and Mooly Sagiv},
 booktitle    = {{POPL} '11: Conference Record of the Annual {ACM} Symposium on Principles of Programming Languages},
 publisher    = {{ACM} {P}ress},
 address      = {{N}ew {Y}ork},
 pages        = {81--92},
 doi          = {10.1145/1925844.1926397},
)
@inproceedings(garrigue-relaxing,
 author       = {Jacques Garrigue},
 year         = {2004},
 title        = {Relaxing the Value Restriction},
 booktitle    = {{FLOPS}},
 series       = {{LNCS}},
 volume       = {2998},
 publisher    = {Springer-Verlag},
 address      = {Berlin},
 pages        = {196--213},
 doi          = {10.1007/978-3-540-24754-8\_15},
)
@inproceedings(kameyama-closing,
 author       = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
 year         = {2008},
 title        = {Closing the Stage: From Staged Code to Typed Closures},
 booktitle    = {{PEPM}},
 pages        = {147--157},
 doi          = {10.1145/1328408.1328430},
)
@article(kameyama-shifting-jfp,
 author       = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
 year         = {2011},
 title        = {Shifting the Stage: Staging with Delimited Control},
 journal      = {Journal of Functional Programming},
 volume       = {21},
 number       = {6},
 pages        = {617--662},
 doi          = {10.1017/S0956796811000256},
)
@article(hygienic-combinators,
 author       = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
 year         = {2015},
 title        = {Combinators for impure yet hygienic code generation},
 journal      = {Science of Computer Programming},
 volume       = {112 (part 2)},
 pages        = {120--144},
 doi          = {10.1016/j.scico.2015.08.007},
)
@article(caml-shift-tcs,
 author       = {Oleg Kiselyov},
 year         = {2012},
 title        = {Delimited control in {OC}aml, abstractly and concretely},
 journal      = {Theor. Comp. Sci.},
 volume       = {435},
 pages        = {56--76},
 doi          = {10.1016/j.tcs.2012.02.025},
)
@misc(ml2013-talk,
 author       = {Oleg Kiselyov},
 year         = {2013},
 title        = {MetaOCaml Lives On: Lessons from implementing a staged dialect of a functional language},
 howpublished = {{ACM} {SIGPLAN} Workshop on ML},
)
@inproceedings(ber-design,
 author       = {Oleg Kiselyov},
 year         = {2014},
 title        = {The Design and Implementation of {BER} {MetaOCaml} - System Description},
 booktitle    = {{FLOPS}},
 series       = {{LNCS}},
 volume       = {8475},
 publisher    = {Springer},
 pages        = {86--102},
 doi          = {10.1007/978-3-319-07151-0\_6},
)
@misc(kobayashi-poly,
 author       = {Megumi Kobayashi and Atsushi Igarashi},
 year         = {2015},
 title        = {Polymorphic type system for the multi-stage calculus with references},
 howpublished = {32. Meeting of Japan Society for Software Science and Technology (in Japanese)},
)
@article(landin-700,
 author       = {Peter J. Landin},
 year         = {1966},
 title        = {The Next 700 Programming Languages},
 journal      = {Communications of the {ACM}},
 volume       = {9},
 number       = {3},
 pages        = {157--166},
 doi          = {10.1145/365230.365257},
)
@inproceedings(lawall-continuation-based,
 author       = {Julia L. Lawall and Olivier Danvy},
 year         = {1994},
 title        = {Continuation-Based Partial Evaluation},
 booktitle    = {{L}isp \& Functional Programming},
 pages        = {227--238},
 doi          = {10.1145/182409.182483},
)
@inproceedings(Leroy-cbn-poly,
 author       = {Xavier Leroy},
 year         = {1993},
 title        = {Polymorphism by name for references and continuations},
 booktitle    = {{POPL} '93: Conference Record of the Annual {ACM} Symposium on Principles of Programming Languages},
 publisher    = {{ACM} {P}ress},
 address      = {{N}ew {Y}ork},
 pages        = {220--231},
 doi          = {10.1145/158511.158632},
)
@article(michie-memo,
 author       = {Donald Michie},
 year         = {1968},
 title        = {``{M}emo'' Functions and Machine Learning},
 journal      = {Nature},
 volume       = {218},
 pages        = {19--22},
 doi          = {10.1038/218019a0},
)
@article(milner-theory,
 author       = {Robin Milner},
 year         = {1978},
 title        = {A Theory of Type Polymorphism in Programming},
 journal      = {Journal of Computer and System Sciences},
 volume       = {17},
 pages        = {348--375},
 url          = {http://www.diku.dk/undervisning/2006-2007/2006-2007_b2_246/milner78theory.pdf},
 doi          = {10.1016/0022-0000(78)90014-4},
)
@proceedings(popl2003,
 year         = {2003},
 title        = {{POPL} '03: Conference Record of the Annual {ACM} Symposium on Principles of Programming Languages},
)
@article(scala-virtualized,
 author       = {Tiark Rompf and Nada Amin and Adriaan Moors and Philipp Haller and Martin Odersky},
 year         = {2013},
 title        = {{S}cala-{V}irtualized: linguistic reuse for deep embeddings},
 journal      = {Higher-Order and Symbolic Computation},
 number       = {September},
 doi          = {10.1007/s10990-013-9096-9},
)
@inproceedings(sheard-template,
 author       = {Tim Sheard and Peyton Jones, Simon L.},
 year         = {2002},
 title        = {Template Meta-programming for {H}askell},
 editor       = {Manuel M. T. Chakravarty},
 booktitle    = {{H}askell Workshop},
 pages        = {1--16},
 doi          = {10.1145/581690.581693},
)
@inproceedings(taha-environment,
 author       = {Walid Taha and Michael Florentin Nielsen},
 year         = {2003},
 title        = {Environment Classifiers},
 pages        = {26--37},
 doi          = {10.1145/640128.604134},
)
@article(thiemann-combinators,
 author       = {Peter Thiemann},
 year         = {1999},
 title        = {Combinators for Program Generation},
 journal      = {Journal of Functional Programming},
 volume       = {9},
 number       = {5},
 pages        = {483--525},
 doi          = {10.1017/S0956796899003469},
)
@phdthesis(tofte-thesis,
 author       = {Mads Tofte},
 year         = {1987},
 title        = {Operational Semantics and Polymorphic Type Inference},
 school       = {Edinburgh University},
 note         = {Laboratory for Foundations of Computer Science Technical Report ECS-LFCS-88-54},
)
@article(wright-simple,
 author       = {Andrew K. Wright},
 year         = {1995},
 title        = {Simple Imperative Polymorphism},
 journal      = {{L}isp and Symbolic Computation},
 volume       = {8},
 number       = {4},
 pages        = {343--355},
 doi          = {10.1007/BF01018828},
)
@inproceedings(xi-guarded,
 author       = {Hongwei Xi and Chiyan Chen and Gang Chen},
 year         = {2003},
 title        = {Guarded Recursive Datatype Constructors},
 pages        = {224--235},
 doi          = {10.1145/640128.604150},
)