@inproceedings(visual-miranda,
 author       = {Mikhail Auguston and Juris Reinfields},
 year         = {1994},
 title        = {A {Visual} {Miranda} {Machine}},
 booktitle    = {Software Education Conference, 1994. Proceedings.},
 organization = {IEEE},
 pages        = {198--203},
 doi          = {10.1109/SEDC.1994.475337},
)
@inproceedings(balzer1969exdams,
 author       = {R.M. Balzer},
 year         = {1969},
 title        = {EXDAMS -- Extendable Debugging And Monitoring System},
 booktitle    = {Proceedings of the May 14-16, 1969, {S}pring {J}oint {C}omputer {C}onference},
 series       = {Memorandum (Rand Corporation)},
 organization = {ACM},
 publisher    = {Rand Corporation},
 pages        = {567--580},
 doi          = {10.1145/1476793.1476881},
)
@article(brady1968writing,
 author       = {Paul T Brady},
 year         = {1968},
 title        = {Writing an online debugging program for the experienced user},
 journal      = {Communications of the ACM},
 volume       = {11},
 number       = {6},
 pages        = {423--427},
 doi          = {10.1145/363347.363388},
)
@inproceedings(burstall1980hope,
 author       = {Rod M Burstall and David B MacQueen and Donald T Sannella},
 year         = {1980},
 title        = {HOPE: An experimental applicative language},
 booktitle    = {Proceedings of the 1980 ACM conference on LISP and functional programming},
 organization = {ACM},
 pages        = {136--143},
 doi          = {10.1145/800087.802799},
)
@inproceedings(chargueraud2018jsexplain,
 author       = {Arthur Chargu{\'e}raud and Alan Schmitt and Thomas Wood},
 year         = {2018},
 title        = {JSExplain: A Double Debugger for JavaScript},
 booktitle    = {The Web Conference 2018},
 pages        = {1--9},
 doi          = {10.1145/3184558.3185969},
)
@inproceedings(chitil2002transforming,
 author       = {Olaf Chitil and Colin Runciman and Malcolm Wallace},
 year         = {2002},
 title        = {Transforming Haskell for tracing},
 booktitle    = {Symposium on Implementation and Application of Functional Languages},
 organization = {Springer},
 pages        = {165--181},
 doi          = {10.1007/3-540-44854-3_11},
)
@inproceedings(Clements2001,
 author       = {John Clements and Matthew Flatt and Matthias Felleisen},
 year         = {2001},
 title        = {Modeling an Algebraic Stepper},
 booktitle    = {Proceedings of the 10th European Symposium on Programming Languages and Systems},
 series       = {ESOP '01},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 pages        = {320--334},
 doi          = {10.1007/3-540-45309-1_21},
)
@article(cong2016implementing,
 author       = {Youyou Cong and Kenichi Asai},
 year         = {2016},
 title        = {Implementing a stepper using delimited continuations},
 journal      = {Software Science},
 volume       = {39},
 pages        = {42--54},
 doi          = {10.29007/l2wb},
)
@(fpcomplete,
 author       = {Aaron Contorer},
 year         = {2015},
 title        = {What do Haskellers want? Over a thousand users tell us.},
 url          = {https://www.fpcomplete.com/blog/2015/05/thousand-user-haskell-survey},
)
@inproceedings(crew1997astlog,
 author       = {Roger F Crew},
 year         = {1997},
 title        = {ASTLOG: A Language for Examining Abstract Syntax Trees.},
 booktitle    = {DSL},
 volume       = {97},
 pages        = {18--18},
 url          = {https://www.usenix.org/legacy/publications/library/proceedings/dsl97/full_papers/crew/crew.pdf},
)
@article(devanbu1999genoa,
 author       = {Premkumar T Devanbu},
 year         = {1999},
 title        = {GENOA -- a customizable, front-end-retargetable source code analysis framework},
 journal      = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
 volume       = {8},
 number       = {2},
 pages        = {177--212},
 doi          = {10.1145/304399.304402},
)
@article(eisenstadt1997my,
 author       = {Marc Eisenstadt},
 year         = {1997},
 title        = {My hairiest bug war stories},
 journal      = {Communications of the ACM},
 volume       = {40},
 number       = {4},
 pages        = {30--37},
 doi          = {10.1145/248448.248456},
)
@inproceedings(evans1966line,
 author       = {Thomas G Evans and D Lucille Darley},
 year         = {1966},
 title        = {On-line debugging techniques: a survey},
 booktitle    = {Proceedings of the November 7-10, 1966, {F}all {J}oint {C}omputer {C}onference},
 organization = {ACM},
 pages        = {37--50},
 doi          = {10.1145/1464291.1464295},
)
@inproceedings(racket,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barzilay and Jay McCarthy and Tobin-Hochstadt, Sam},
 year         = {2015},
 title        = {The racket manifesto},
 booktitle    = {LIPIcs-Leibniz International Proceedings in Informatics},
 volume       = {32},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
 doi          = {10.4230/LIPIcs.SNAPL.2015.113},
)
@article(drscheme,
 author       = {Robert Bruce Finder and John Clements and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Paul Steckler and Matthias Felleisen},
 year         = {2002},
 title        = {{DrScheme}: {A} {Programming} {Environment} for {Scheme}},
 journal      = {Journal of Functional Programming},
 volume       = {12},
 number       = {2},
 pages        = {159--182},
 doi          = {10.1017/S0956796801004208},
)
@(fsharpdebugging,
 title        = {Visual Studio Docs: Debugging F\#},
 url          = {http://docs.microsoft.com/en-us/visualstudio/debugger/debugging-f-hash},
)
@article(Gill00debugginghaskell,
 author       = {Andy Gill},
 year         = {2000},
 title        = {{Debugging} {Haskell} by {Observing} {Intermediate} {Data} {Structures}},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {41},
 number       = {1},
 pages        = {1},
 doi          = {10.1016/S1571-0661(05)80538-9},
)
@article(miracalc,
 author       = {Doug Goldson},
 year         = {1993},
 title        = {A {Symbolic} {Calculator} for {Non-Strict} {Functional} {Programs}},
 journal      = {The Computer Journal},
 volume       = {37},
 number       = {3},
 pages        = {177--187},
 doi          = {10.1093/comjnl/37.3.177},
)
@inproceedings(grishman1970debugging,
 author       = {Ralph Grishman},
 year         = {1970},
 title        = {The debugging system AIDS},
 booktitle    = {Proceedings of the May 5-7, 1970, {S}pring {J}oint {C}omputer {C}onference},
 organization = {ACM},
 pages        = {59--64},
 doi          = {10.1145/1476936.1476952},
)
@inproceedings(griswold1996fast,
 author       = {William G Griswold and Darren C Atkinson and Collin McCurdy},
 year         = {1996},
 title        = {Fast, flexible syntactic pattern matching and processing},
 booktitle    = {Program Comprehension, 1996, Proceedings., Fourth Workshop on},
 organization = {IEEE},
 pages        = {144--153},
 doi          = {10.1109/WPC.1996.501129},
)
@article(hall,
 author       = {Cordelia V Hall and John T O'Donnell},
 year         = {1985},
 title        = {Debugging in a side effect free programming environment},
 journal      = {ACM SIGPLAN Notices},
 volume       = {20},
 number       = {7},
 pages        = {60--68},
 doi          = {10.1145/17919.806827},
)
@article(halpern1965computer,
 author       = {Mark Halpern},
 year         = {1965},
 title        = {Computer programming: the debugging epoch opens},
 journal      = {Computers and Automation},
 volume       = {14},
 number       = {11},
 pages        = {28--31},
)
@article(halpern2005assertive,
 author       = {Mark Halpern},
 year         = {2005},
 title        = {Assertive Debugging: Correcting Software As If We Meant It -- Assertive debugging is a new way to make embedded systems ensure their own health by having your code monitor itself.},
 journal      = {Embedded Systems Programming},
 volume       = {18},
 number       = {6},
 pages        = {28--35},
)
@article(hamlet1983,
 author       = {Dick Hamlet},
 year         = {1983},
 title        = {Debugging "Level": Step-wise Debugging},
 journal      = {SIGPLAN Not.},
 volume       = {18},
 number       = {8},
 pages        = {4--8},
 doi          = {10.1145/1006142.1006150},
)
@(ocaml,
 author       = {Xavier Leroy and Damien Doligez and Alain Frisch and Jacques Garrigue and Didier R{\'e}my and J{\'e}r{\^o}me Vouillon},
 year         = {2018},
 title        = {The {OCaml} {Language}},
 url          = {http://ocaml.org/},
)
@inproceedings(marlow,
 author       = {Simon Marlow and Jos{\'e} Iborra and Bernard Pope and Andy Gill},
 year         = {2007},
 title        = {A {Lightweight} {Interactive} {Debugger} for {Haskell}},
 booktitle    = {Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop},
 series       = {Haskell '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {13--24},
 doi          = {10.1145/1291201.1291204},
)
@(clr,
 author       = {Erik Meijer and John Gough},
 year         = {2012},
 title        = {Technical overview of the Common Language Runtime, 2000},
 url          = {https://research. microsoft. com/en-us/um/people/emeijer/papers/clr. pdf},
)
@article(milner,
 author       = {Robin Milner},
 year         = {1983},
 title        = {How ML evolved},
 journal      = {Polymorphism: The ML/LCF/Hope Newsletter},
 volume       = {1},
)
@(ocamli,
 title        = {The {OCamli} {Interpreter}},
 url          = {http://github.com/johnwhitington/ocamli},
)
@article(winhipe,
 author       = {Pareja-Flores, Crist{\'o}bal and Urquiza-Fuentes, Jaime and Vel{\'a}zquez-Iturbide, J. {\'A}ngel},
 year         = {2007},
 title        = {{WinHIPE}: {An} {IDE} for {Functional} {Programming} {Based} on {Rewriting} and {Visualization}},
 journal      = {{ACM} {SIGPLAN} {Notices}},
 volume       = {42},
 number       = {3},
 pages        = {14--23},
 doi          = {10.1145/1273039.1273042},
)
@inproceedings(Parnin:2011:ADT:2001420.2001445,
 author       = {Chris Parnin and Alessandro Orso},
 year         = {2011},
 title        = {Are Automated Debugging Techniques Actually Helping Programmers?},
 booktitle    = {Proceedings of the 2011 International Symposium on Software Testing and Analysis},
 series       = {ISSTA '11},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {199--209},
 doi          = {10.1145/2001420.2001445},
)
@article(paul1994framework,
 author       = {Santanu Paul and Atul Prakash},
 year         = {1994},
 title        = {A framework for source code search using program patterns},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {20},
 number       = {6},
 pages        = {463--475},
 doi          = {10.1109/32.295894},
)
@article(PetredeQuincey,
 author       = {Marian Petre and Ed de Quincey},
 year         = {2006},
 title        = {A {Gentle} {Overview} of {Software} {Visualization}},
 journal      = {PPIG Newsletter},
 pages        = {1--10},
)
@inproceedings(Reeves95thecalculator,
 author       = {Steve Reeves and Doug Goldson and Pat Fung and Mike Hopkins and Richard Bornat},
 year         = {1994},
 title        = {The {Calculator} {Project} -- {Formal} {Reasoning} about {Programs}},
 booktitle    = {Software Education Conference, 1994. Proceedings.},
 organization = {IEEE},
 pages        = {166--173},
 doi          = {10.1109/SEDC.1994.475332},
)
@inproceedings(regelson1994debugging,
 author       = {Elaine Regelson and Andrew Anderson},
 year         = {1994},
 title        = {Debugging Practices for Complex Legacy Software Systems.},
 booktitle    = {ICSM},
 pages        = {137--143},
 doi          = {10.1109/ICSM.1994.336781},
)
@(libmonda,
 author       = {Mark Shinwell},
 title        = {libmonda: Make OCaml native debugging awesome},
 url          = {http://mshinwell.github.io/libmonda/},
)
@article(Sorva,
 author       = {Juha Sorva and Ville Karavirta and Lauri Malmi},
 year         = {2013},
 title        = {A Review of Generic Program Visualization Systems for Introductory Programming Education},
 journal      = {Transactions in Computing Education},
 volume       = {13},
 number       = {4},
 pages        = {15:1--15:64},
 doi          = {10.1145/2490822},
)
@book(stallman1981emacs,
 author       = {Richard M Stallman},
 year         = {1981},
 title        = {EMACS the extensible, customizable self-documenting display editor},
 publisher    = {ACM Books},
 doi          = {10.1145/800209.806466},
)
@article(commonlisp,
 author       = {Guy Steele},
 year         = {1984},
 title        = {Common LISP: the language},
 journal      = {Digital Press},
 volume       = {20},
 pages        = {124},
)
@(fsharp,
 author       = {Don Syme},
 title        = {F Sharp at Microsoft Research},
 url          = {https://www.microsoft.com/en-us/research/project/f-at-microsoft-research/},
)
@phdthesis(taylor-thesis,
 author       = {Jonathan Paul Taylor},
 year         = {1996},
 title        = {{Presenting} the {Lazy} {Evaluation} of {Functions}},
 school       = {Queen Mary, University of London},
)
@article(tolmach,
 author       = {Andrew Tolmach and Andrew W. Appel},
 year         = {1995},
 title        = {A {Debugger} for {Standard} {ML}},
 journal      = {Journal of Functional Programming},
 volume       = {5},
 pages        = {155--200},
 doi          = {10.1017/S0956796800001313},
)
@article(touretzky,
 author       = {David S. Touretzky},
 year         = {1989},
 title        = {Visualizing {Evaluation} in {Applicative} {Languages}},
 journal      = {Commun. ACM},
 volume       = {35},
 number       = {10},
 pages        = {49--59},
 doi          = {10.1145/135239.135241},
)
@article(zstep95,
 author       = {David Ungar and Henry Lieberman and Christopher Fry},
 year         = {1997},
 title        = {{Debugging} and the {Experience} of {Immediacy}},
 journal      = {Communications of the ACM},
 volume       = {40},
 number       = {4},
 pages        = {38--43},
 doi          = {10.1145/248448.248457},
)
@inproceedings(UrquizaFuentes,
 author       = {Urquiza-Fuentes, J. and Vel{\'a}zquez-Iturbide, J. A.},
 year         = {2004},
 title        = {A {Survey} of {Program} {Visualizations} for the {Functional} {Paradigm}},
 booktitle    = {Proc. 3rd Program Visualization Workshop},
 pages        = {2--9},
 url          = {https://www.dcs.warwick.ac.uk/pvw04/p01.pdf},
)
@article(survey2009,
 author       = {Urquiza-Fuentes, Jaime and Vel{\'a}zquez-Iturbide, J. {\'A}ngel},
 year         = {2009},
 title        = {A {Survey} of {Successful} {Evaluations} of {Program} {Visualisation} and {Algorithm} {Animation} {Systems}},
 journal      = {ACM {T}ransactions on {C}omputing {E}ducation (TOCE)},
 volume       = {9},
 number       = {2},
 pages        = {9},
 doi          = {10.1145/1538234.1538236},
)
@article(Wadler,
 author       = {Philip Wadler},
 year         = {1998},
 title        = {Why {No} {One} {Uses} {Functional} {Languages}},
 journal      = {SIGPLAN Not.},
 volume       = {33},
 number       = {8},
 pages        = {23--27},
 doi          = {10.1145/286385.286387},
)
@inproceedings(whitington,
 author       = {John Whitington and Tom Ridge},
 year         = {2017},
 title        = {Visualizing the Evaluation of Functional Programs for Debugging},
 booktitle    = {6th Symposium on Languages, Applications and Technologies},
 series       = {OASIcs},
 volume       = {56},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {7:1--7:9},
 doi          = {10.4230/OASIcs.SLATE.2017.7},
)