@inproceedings(DBLP:conf/lpar/BergerT10,
 author       = {Martin Berger and Laurence Tratt},
 year         = {2010},
 title        = {Program Logics for Homogeneous Meta-programming},
 editor       = {Edmund M. Clarke and Andrei Voronkov},
 booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6355},
 publisher    = {Springer},
 pages        = {64--81},
 doi          = {10.1007/978-3-642-17511-4\_5},
)
@inproceedings(DBLP:conf/icfp/BergstromFLRS14,
 author       = {Lars Bergstrom and Matthew Fluet and Matthew Le and John H. Reppy and Nora Sandler},
 year         = {2014},
 title        = {Practical and effective higher-order optimizations},
 editor       = {Johan Jeuring and Manuel M. T. Chakravarty},
 booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014},
 publisher    = {{ACM}},
 pages        = {81--93},
 doi          = {10.1145/2628136.2628153},
)
@inproceedings(DBLP:conf/popl/Chaudhuri08,
 author       = {Swarat Chaudhuri},
 year         = {2008},
 title        = {Subcubic algorithms for recursive state machines},
 editor       = {George C. Necula and Philip Wadler},
 booktitle    = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2008, San Francisco, California, USA, January 7-12, 2008},
 publisher    = {{ACM}},
 pages        = {159--169},
 doi          = {10.1145/1328438.1328460},
)
@inproceedings(DBLP:conf/popl/ChoiAYT11,
 author       = {Wontae Choi and Baris Aktemur and Kwangkeun Yi and Makoto Tatsuta},
 year         = {2011},
 title        = {Static analysis of multi-staged programs via unstaging translation},
 booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011},
 pages        = {81--92},
 doi          = {10.1145/1926385.1926397},
)
@inproceedings(Clarke:1980:SSK:800087.802798,
 author       = {T. J.W. Clarke and P. J.S. Gladstone and C. D. MacLean and A. C. Norman},
 year         = {1980},
 title        = {SKIM - The S, K, I Reduction Machine},
 booktitle    = {Proceedings of the 1980 ACM Conference on LISP and Functional Programming},
 series       = {LFP '80},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {128--135},
 doi          = {10.1145/800087.802798},
)
@article(DBLP:journals/jsyml/Given-WilsonJ11,
 author       = {Given{-}Wilson, Thomas and Barry Jay},
 year         = {2011},
 title        = {A combinatory account of internal structure},
 journal      = {J. Symb. Log.},
 volume       = {76},
 number       = {3},
 pages        = {807--826},
 doi          = {10.2178/jsl/1309952521},
)
@article(DBLP:journals/jfp/GrundyMO06,
 author       = {Jim Grundy and Thomas F. Melham and John W. O'Leary},
 year         = {2006},
 title        = {A reflective functional language for hardware design and theorem proving},
 journal      = {J. Funct. Program.},
 volume       = {16},
 number       = {2},
 pages        = {157--196},
 doi          = {10.1017/S0956796805005757},
)
@book(Hindley:2008:LCI:1388400,
 author       = {J. Roger Hindley and Jonathan P. Seldin},
 year         = {2008},
 title        = {Lambda-Calculus and Combinators: An Introduction},
 edition      = {2nd},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9780511809835},
)
@inproceedings(DBLP:conf/icfp/HornM08,
 author       = {David Van Horn and Harry G. Mairson},
 year         = {2008},
 title        = {Deciding \emph{k}CFA is complete for {EXPTIME}},
 editor       = {James Hook and Peter Thiemann},
 booktitle    = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2008, Victoria, BC, Canada, September 20-28, 2008},
 publisher    = {{ACM}},
 pages        = {275--282},
 doi          = {10.1145/1411204.1411243},
)
@inproceedings(DBLP:conf/sas/HornM08,
 author       = {David Van Horn and Harry G. Mairson},
 year         = {2008},
 title        = {Flow Analysis, Linearity, and {PTIME}},
 editor       = {Mar{\'{\i}}a Alpuente and Germ{\'{a}}n Vidal},
 booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5079},
 publisher    = {Springer},
 pages        = {255--269},
 doi          = {10.1007/978-3-540-69166-2\_17},
)
@article(DBLP:journals/corr/JayV14,
 author       = {Barry Jay and Jose Vergara},
 year         = {2014},
 title        = {Confusion in the Church-Turing Thesis},
 journal      = {CoRR},
 volume       = {abs/1410.7103},
 url          = {http://arxiv.org/abs/1410.7103},
)
@inproceedings(DBLP:conf/icfp/JayP11,
 author       = {C. Barry Jay and Jens Palsberg},
 year         = {2011},
 title        = {Typed self-interpretation by pattern matching},
 editor       = {Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy},
 booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21, 2011},
 publisher    = {{ACM}},
 pages        = {247--258},
 doi          = {10.1145/2034773.2034808},
)
@article(DBLP:journals/tcs/JonesA07,
 author       = {Neil D. Jones and Nils Andersen},
 year         = {2007},
 title        = {Flow analysis of lazy higher-order functional programs},
 journal      = {Theor. Comput. Sci.},
 volume       = {375},
 number       = {1-3},
 pages        = {120--136},
 doi          = {10.1016/j.tcs.2006.12.030},
)
@inproceedings(DBLP:conf/csfw/0001OS13,
 author       = {Martin Lester and Luke Ong and Max Sch{\"{a}}fer},
 year         = {2013},
 title        = {Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming},
 booktitle    = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013},
 publisher    = {{IEEE}},
 pages        = {209--223},
 doi          = {10.1109/CSF.2013.21},
)
@inproceedings(DBLP:conf/pldi/Lester13,
 author       = {Martin Mariusz Lester},
 year         = {2013},
 title        = {Position paper: the science of boxing},
 editor       = {Prasad Naldurg and Nikhil Swamy},
 booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} Workshop on Programming Languages and Analysis for Security, {PLAS} 2013, Seattle, WA, USA, June 20, 2013},
 publisher    = {{ACM}},
 pages        = {83--88},
 doi          = {10.1145/2465106.2465120},
)
@article(DBLP:journals/corr/MelhamCC13,
 author       = {Tom Melham and Raphael Cohn and Ian Childs},
 year         = {2013},
 title        = {On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover},
 journal      = {CoRR},
 volume       = {abs/1309.5742},
 url          = {http://arxiv.org/abs/1309.5742},
)
@article(DBLP:journals/csur/Midtgaard12,
 author       = {Jan Midtgaard},
 year         = {2012},
 title        = {Control-flow analysis of functional programs},
 journal      = {{ACM} Comput. Surv.},
 volume       = {44},
 number       = {3},
 pages        = {10},
 doi          = {10.1145/2187671.2187672},
)
@book(DBLP:books/daglib/0098888,
 author       = {Flemming Nielson and Hanne Riis Nielson and Chris Hankin},
 year         = {1999},
 title        = {Principles of program analysis},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-03811-6},
)
@inproceedings(DBLP:conf/popl/OngR11,
 author       = {C.{-}H. Luke Ong and Steven J. Ramsay},
 year         = {2011},
 title        = {Verifying higher-order functional programs with pattern-matching algebraic data types},
 booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011},
 pages        = {587--598},
 doi          = {10.1145/1926385.1926453},
)
@inproceedings(DBLP:conf/pldi/Shivers88,
 author       = {Olin Shivers},
 year         = {1988},
 title        = {Control-Flow Analysis in Scheme},
 editor       = {Richard L. Wexelblat},
 booktitle    = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988},
 publisher    = {{ACM}},
 pages        = {164--174},
 doi          = {10.1145/53990.54007},
)
@article(turner1979another,
 author       = {David A Turner},
 year         = {1979},
 title        = {Another algorithm for bracket abstraction},
 journal      = {The Journal of Symbolic Logic},
 volume       = {44},
 number       = {02},
 pages        = {267--270},
 doi          = {10.2307/2273733},
)
@article(turner1979new,
 author       = {David A Turner},
 year         = {1979},
 title        = {A new implementation technique for applicative languages},
 journal      = {Software: Practice and Experience},
 volume       = {9},
 number       = {1},
 pages        = {31--49},
 doi          = {10.1002/spe.4380090105},
)
@article(DBLP:journals/corr/abs-1102-3676,
 author       = {Dimitrios Vardoulakis and Olin Shivers},
 year         = {2011},
 title        = {{CFA2:} a Context-Free Approach to Control-Flow Analysis},
 journal      = {Logical Methods in Computer Science},
 volume       = {7},
 number       = {2},
 doi          = {10.2168/LMCS-7(2:3)2011},
)
@inproceedings(DBLP:conf/esop/WandW02,
 author       = {Mitchell Wand and Galen B. Williamson},
 year         = {2002},
 title        = {A Modular, Extensible Proof Method for Small-Step Flow Analyses},
 editor       = {Daniel Le M{\'{e}}tayer},
 booktitle    = {Programming Languages and Systems, 11th European Symposium on Programming, {ESOP} 2002, held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2305},
 publisher    = {Springer},
 pages        = {213--227},
 doi          = {10.1007/3-540-45927-8\_16},
)