![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:journals/lisp:"
@article{DBLP:journals/lisp/ClericiZP13, author = {Silvia Clerici and Cristina Zoltan and Guillermo Prestigiacomo}, title = {Graphical and incremental type inference. {A} graph transformation approach}, journal = {High. Order Symb. Comput.}, volume = {26}, number = {1-4}, pages = {29--62}, year = {2013}, url = {https://doi.org/10.1007/s10990-014-9104-8}, doi = {10.1007/S10990-014-9104-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ClericiZP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HorstmeyerL13, author = {Thomas Horstmeyer and Rita Loogen}, title = {Graph-based communication in Eden}, journal = {High. Order Symb. Comput.}, volume = {26}, number = {1-4}, pages = {3--28}, year = {2013}, url = {https://doi.org/10.1007/s10990-014-9101-y}, doi = {10.1007/S10990-014-9101-Y}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HorstmeyerL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Zerny13, author = {Ian Zerny}, title = {On graph rewriting, reduction, and evaluation in the presence of cycles}, journal = {High. Order Symb. Comput.}, volume = {26}, number = {1-4}, pages = {63--84}, year = {2013}, url = {https://doi.org/10.1007/s10990-014-9103-9}, doi = {10.1007/S10990-014-9103-9}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Zerny13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ZsokPL13, author = {Vikt{\'{o}}ria Zs{\'{o}}k and Rex L. Page and Julia Lawall}, title = {Editorial {TFP} 2009/2010}, journal = {High. Order Symb. Comput.}, volume = {26}, number = {1-4}, pages = {1--2}, year = {2013}, url = {https://doi.org/10.1007/s10990-014-9102-x}, doi = {10.1007/S10990-014-9102-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ZsokPL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/0001MSY12, author = {Naoki Kobayashi and Kazutaka Matsuda and Ayumi Shinohara and Kazuya Yaguchi}, title = {Functional programs as compressed data}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {1}, pages = {39--84}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9093-z}, doi = {10.1007/S10990-013-9093-Z}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/0001MSY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/CapperN12, author = {John Capper and Henrik Nilsson}, title = {Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {2-4}, pages = {275--310}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9099-6}, doi = {10.1007/S10990-013-9099-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/CapperN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DegenTW12, author = {Markus Degen and Peter Thiemann and Stefan Wehr}, title = {The interaction of contracts and laziness}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {1}, pages = {85--125}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9094-y}, doi = {10.1007/S10990-013-9094-Y}, timestamp = {Fri, 07 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DegenTW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GillBFKK12, author = {Andy Gill and Tristan Bull and Andrew Farmer and Garrin Kimmell and Ed Komp}, title = {Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {2-4}, pages = {255--274}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9098-7}, doi = {10.1007/S10990-013-9098-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GillBFKK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KiselyovLT12, author = {Oleg Kiselyov and Julia Lawall and Simon J. Thompson}, title = {Editorial {PEPM2012}}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {1}, pages = {1--2}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9092-0}, doi = {10.1007/S10990-013-9092-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/KiselyovLT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KleinFF12, author = {Casey Klein and Matthew Flatt and Robert Bruce Findler}, title = {The Racket virtual machine and randomized testing}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {2-4}, pages = {209--253}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9091-1}, doi = {10.1007/S10990-013-9091-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/KleinFF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MatsudaIN12, author = {Kazutaka Matsuda and Kazuhiro Inaba and Keisuke Nakano}, title = {Polynomial-time inverse computation for accumulative functions with multiple data traversals}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {1}, pages = {3--38}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9097-8}, doi = {10.1007/S10990-013-9097-8}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/MatsudaIN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/RompfAMHO12, author = {Tiark Rompf and Nada Amin and Adriaan Moors and Philipp Haller and Martin Odersky}, title = {Scala-Virtualized: linguistic reuse for deep embeddings}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {1}, pages = {165--207}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9096-9}, doi = {10.1007/S10990-013-9096-9}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/RompfAMHO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SasanoG12, author = {Isao Sasano and Takumi Goto}, title = {An approach to completing variable names for implicitly typed functional languages}, journal = {High. Order Symb. Comput.}, volume = {25}, number = {1}, pages = {127--163}, year = {2012}, url = {https://doi.org/10.1007/s10990-013-9095-x}, doi = {10.1007/S10990-013-9095-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SasanoG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AsaiKS11, author = {Kenichi Asai and Oleg Kiselyov and Chung{-}chieh Shan}, title = {Functional un{\(\vert\)}unparsing}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {4}, pages = {311--340}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9087-2}, doi = {10.1007/S10990-012-9087-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/AsaiKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BoustaniH11, author = {Nabil El Boustani and Jurriaan Hage}, title = {Improving type error messages for generic Java}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {1-2}, pages = {3--39}, year = {2011}, url = {https://doi.org/10.1007/s10990-011-9070-3}, doi = {10.1007/S10990-011-9070-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BoustaniH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChenWLWK11, author = {Kung Chen and Shu{-}Chun Weng and Jia{-}Yin Lin and Meng Wang and Siau{-}Cheng Khoo}, title = {Side-effect localization for lazy, purely functional languages via aspects}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {1-2}, pages = {151--189}, year = {2011}, url = {https://doi.org/10.1007/s10990-011-9073-0}, doi = {10.1007/S10990-011-9073-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ChenWLWK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GarrigueN11, author = {Jacques Garrigue and Keiko Nakata}, title = {Path resolution for nested recursive modules}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {3}, pages = {207--237}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9083-6}, doi = {10.1007/S10990-012-9083-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GarrigueN11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/IwasakiMT11, author = {Hideya Iwasaki and Takeshi Morimoto and Yasunao Takano}, title = {Pruning with improving sequences in lazy functional programs}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {4}, pages = {281--309}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9086-3}, doi = {10.1007/S10990-012-9086-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/IwasakiMT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KerneisC11, author = {Gabriel Kerneis and Juliusz Chroboczek}, title = {Continuation-Passing C, compiling threads to events through continuations}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {3}, pages = {239--279}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9084-5}, doi = {10.1007/S10990-012-9084-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/KerneisC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KerneisC11a, author = {Gabriel Kerneis and Juliusz Chroboczek}, title = {Erratum to: Continuation-Passing C, compiling threads to events through continuations}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {4}, pages = {387}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9088-1}, doi = {10.1007/S10990-012-9088-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/KerneisC11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LawallPV11, author = {Julia Lawall and Germ{\'{a}}n Puebla and Germ{\'{a}}n Vidal}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {1-2}, pages = {1--2}, year = {2011}, url = {https://doi.org/10.1007/s10990-011-9069-9}, doi = {10.1007/S10990-011-9069-9}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LawallPV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LiuSS11, author = {Yu David Liu and Christian Skalka and Scott F. Smith}, title = {Type-specialized staged programming with process separation}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {4}, pages = {341--385}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9089-0}, doi = {10.1007/S10990-012-9089-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LiuSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/NiquiR11, author = {Milad Niqui and Jan J. M. M. Rutten}, title = {A proof of Moessner's theorem by coinduction}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {3}, pages = {191--206}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9082-7}, doi = {10.1007/S10990-012-9082-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/NiquiR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PardoFS11, author = {Alberto Pardo and Jo{\~{a}}o Paulo Fernandes and Jo{\~{a}}o Saraiva}, title = {Shortcut fusion rules for the derivation of circular and higher-order programs}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {1-2}, pages = {115--149}, year = {2011}, url = {https://doi.org/10.1007/s10990-011-9076-x}, doi = {10.1007/S10990-011-9076-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PardoFS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SalamaMTGO11, author = {Cherif R. Salama and Gregory Malecha and Walid Taha and Jim Grundy and John O'Leary}, title = {Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {1-2}, pages = {81--114}, year = {2011}, url = {https://doi.org/10.1007/s10990-011-9072-1}, doi = {10.1007/S10990-011-9072-1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/SalamaMTGO11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SimmonsP11, author = {Robert J. Simmons and Frank Pfenning}, title = {Logical approximation for program analysis}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {1-2}, pages = {41--80}, year = {2011}, url = {https://doi.org/10.1007/s10990-011-9071-2}, doi = {10.1007/S10990-011-9071-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SimmonsP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AchtenEKM10, author = {Peter Achten and Marko C. J. D. van Eekelen and Pieter W. M. Koopman and Marco T. Moraz{\'{a}}n}, title = {Trends in Trends in Functional Programming 1999/2000 versus 2007/2008}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {4}, pages = {465--487}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9074-z}, doi = {10.1007/S10990-011-9074-Z}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/AchtenEKM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AlvesFFM10, author = {Sandra Alves and Maribel Fern{\'{a}}ndez and M{\'{a}}rio Florido and Ian Mackie}, title = {Linearity and iterator types for G{\"{o}}del's System}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {1}, pages = {1--27}, year = {2010}, url = {https://doi.org/10.1007/s10990-010-9060-x}, doi = {10.1007/S10990-010-9060-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/AlvesFFM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChadwickL10, author = {Bryan Chadwick and Karl J. Lieberherr}, title = {A functional approach to generic programming using adaptive traversals}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {4}, pages = {433--463}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9064-1}, doi = {10.1007/S10990-011-9064-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ChadwickL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GallagherV10, author = {John P. Gallagher and Janis Voigtl{\"{a}}nder}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {3}, pages = {273--274}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9081-0}, doi = {10.1007/S10990-011-9081-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GallagherV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GrovM10, author = {Gudmund Grov and Greg Michaelson}, title = {Hume box calculus: robust system development through software transformation}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {2}, pages = {191--226}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9067-y}, doi = {10.1007/S10990-011-9067-Y}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GrovM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HengleinL10, author = {Fritz Henglein and Ken Friis Larsen}, title = {Generic multiset programming with discrimination-based joins and symbolic Cartesian products}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {3}, pages = {337--370}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9078-8}, doi = {10.1007/S10990-011-9078-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HengleinL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HermanTF10, author = {David Herman and Aaron Tomb and Cormac Flanagan}, title = {Space-efficient gradual typing}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {2}, pages = {167--189}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9066-z}, doi = {10.1007/S10990-011-9066-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HermanTF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HoldermansH10, author = {Stefan Holdermans and Jurriaan Hage}, title = {Making "stricterness" more relevant}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {3}, pages = {315--335}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9079-7}, doi = {10.1007/S10990-011-9079-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HoldermansH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LakhotiaBSM10, author = {Arun Lakhotia and Davidson R. Boccardo and Anshuman Singh and Aleardo Manacero Jr.}, title = {Context-sensitive analysis without calling-context}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {3}, pages = {275--313}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9080-1}, doi = {10.1007/S10990-011-9080-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LakhotiaBSM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MiddelkoopDS10, author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra}, title = {A lean specification for GADTs: system {F} with first-class equality proofs}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {2}, pages = {145--166}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9065-0}, doi = {10.1007/S10990-011-9065-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/MiddelkoopDS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/RudolphT10, author = {Johannes Rudolph and Peter Thiemann}, title = {Mnemonics: type-safe bytecode generation at run time}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {3}, pages = {371--407}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9077-9}, doi = {10.1007/S10990-011-9077-9}, timestamp = {Mon, 23 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/RudolphT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SculthorpeN10, author = {Neil Sculthorpe and Henrik Nilsson}, title = {Keeping calm in the face of change - Towards optimisation of {FRP} by reasoning about change}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {2}, pages = {227--271}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9068-x}, doi = {10.1007/S10990-011-9068-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SculthorpeN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SerranoQ10, author = {Manuel Serrano and Christian Queinnec}, title = {A multi-tier semantics for Hop}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {4}, pages = {409--431}, year = {2010}, url = {https://doi.org/10.1007/s10990-010-9061-9}, doi = {10.1007/S10990-010-9061-9}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SerranoQ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SimonK10, author = {Axel Simon and Andy King}, title = {The two variable per inequality abstract domain}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {1}, pages = {87--143}, year = {2010}, url = {https://doi.org/10.1007/s10990-010-9062-8}, doi = {10.1007/S10990-010-9062-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SimonK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SpotoP10, author = {Fausto Spoto and {\'{E}}tienne Payet}, title = {Magic-sets for localised analysis of Java bytecode}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {1}, pages = {29--86}, year = {2010}, url = {https://doi.org/10.1007/s10990-010-9063-7}, doi = {10.1007/S10990-010-9063-7}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/SpotoP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Swierstra10, author = {Wouter Swierstra}, title = {More dependent types for distributed arrays}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {4}, pages = {489--506}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9075-y}, doi = {10.1007/S10990-011-9075-Y}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Swierstra10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AriolaHS09, author = {Zena M. Ariola and Hugo Herbelin and Amr Sabry}, title = {A type-theoretic foundation of delimited continuations}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {3}, pages = {233--273}, year = {2009}, url = {https://doi.org/10.1007/s10990-007-9006-0}, doi = {10.1007/S10990-007-9006-0}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/AriolaHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Asai09, author = {Kenichi Asai}, title = {On typing delimited continuations: three new solutions to the printf problem}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {3}, pages = {275--291}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9049-5}, doi = {10.1007/S10990-009-9049-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Asai09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Boca09, author = {Paul Boca}, title = {Personal recollections of Peter Landin: 1987-2009}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {299--303}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9054-8}, doi = {10.1007/S10990-010-9054-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Boca09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Bornat09, author = {Richard Bornat}, title = {Peter Landin: a computer scientist who inspired a generation}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {295--298}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9053-9}, doi = {10.1007/S10990-010-9053-9}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Bornat09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BressonAA09, author = {Jean Bresson and Carlos Ag{\'{o}}n and G{\'{e}}rard Assayag}, title = {Visual Lisp/CLOS programming in OpenMusic}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {1}, pages = {81--111}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9044-x}, doi = {10.1007/S10990-009-9044-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BressonAA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Clark09, author = {Tony Clark}, title = {Stories about calculations: remembering Peter Landin}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {331--332}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9058-4}, doi = {10.1007/S10990-010-9058-4}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Clark09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Danvy09, author = {Olivier Danvy}, title = {Peter J. Landin {(1930-2009)}}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {2}, pages = {191--195}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9048-6}, doi = {10.1007/S10990-009-9048-6}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Danvy09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyP09, author = {Olivier Danvy and Julian A. Padget}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {1}, pages = {1}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9041-0}, doi = {10.1007/S10990-009-9041-0}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT09, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {2}, pages = {113}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9045-9}, doi = {10.1007/S10990-009-9045-9}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT09a, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {3}, pages = {197}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9051-y}, doi = {10.1007/S10990-010-9051-Y}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT09b, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {293}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9052-x}, doi = {10.1007/S10990-010-9052-X}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT09b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DargayeL09, author = {Zaynah Dargaye and Xavier Leroy}, title = {A verified framework for higher-order uncurrying optimizations}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {3}, pages = {199--231}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9050-z}, doi = {10.1007/S10990-010-9050-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DargayeL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HammondM09, author = {Kevin Hammond and Greg Michaelson}, title = {The Peter Landin prize}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {305--312}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9055-7}, doi = {10.1007/S10990-010-9055-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HammondM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HirschowitzLW09, author = {Tom Hirschowitz and Xavier Leroy and J. B. Wells}, title = {Compilation of extended recursion in call-by-value functional languages}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {1}, pages = {3--66}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9042-z}, doi = {10.1007/S10990-009-9042-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HirschowitzLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/JohannG09, author = {Patricia Johann and Neil Ghani}, title = {A principled approach to programming with nested types in Haskell}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {2}, pages = {155--189}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9047-7}, doi = {10.1007/S10990-009-9047-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/JohannG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Landin09, author = {Peter J. Landin}, title = {Getting rid of labels}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {315--329}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9057-5}, doi = {10.1007/S10990-010-9057-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Landin09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Landin09a, author = {Peter J. Landin}, title = {Calculations}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {333--359}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9059-3}, doi = {10.1007/S10990-010-9059-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Landin09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Monniaux09, author = {David Monniaux}, title = {A minimalistic look at widening operators}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {2}, pages = {145--154}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9046-8}, doi = {10.1007/S10990-009-9046-8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Monniaux09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/NaylorR09, author = {Matthew Naylor and Colin Runciman}, title = {Expressible sharing for functional circuit description}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {1}, pages = {67--80}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9043-y}, doi = {10.1007/S10990-009-9043-Y}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/NaylorR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Stump09, author = {Aaron Stump}, title = {Directly reflective meta-programming}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {2}, pages = {115--144}, year = {2009}, url = {https://doi.org/10.1007/s10990-007-9022-0}, doi = {10.1007/S10990-007-9022-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Stump09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Tennent09, author = {Robert D. Tennent}, title = {An introduction to Landin's "Getting Rid of Labels"}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {4}, pages = {313--314}, year = {2009}, url = {https://doi.org/10.1007/s10990-010-9056-6}, doi = {10.1007/S10990-010-9056-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Tennent09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Amtoft08, author = {Torben Amtoft}, title = {Flow-sensitive type systems and the ambient calculus}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {4}, pages = {411--442}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9039-z}, doi = {10.1007/S10990-008-9039-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Amtoft08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BarkerLV08, author = {Steve Barker and Michael Leuschel and Mauricio Varea}, title = {Efficient and flexible access control via Jones-optimal logic program specialisation}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {5--35}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9030-8}, doi = {10.1007/S10990-008-9030-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BarkerLV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BischofHN08, author = {Christian H. Bischof and Paul D. Hovland and Boyana Norris}, title = {On the implementation of automatic differentiation tools}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {3}, pages = {311--331}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9034-4}, doi = {10.1007/S10990-008-9034-4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BischofHN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyDLT08, author = {Olivier Danvy and R. Kent Dybvig and Julia Lawall and Peter Thiemann}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {3}, pages = {237--238}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9036-2}, doi = {10.1007/S10990-008-9036-2}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyDLT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyM08, author = {Olivier Danvy and Ian A. Mason}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {4}, pages = {359}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9040-6}, doi = {10.1007/S10990-008-9040-6}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Debois08, author = {S{\o}ren Debois}, title = {Imperative-program transformation by instrumented-interpreter specialization}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {37--58}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9027-3}, doi = {10.1007/S10990-008-9027-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Debois08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DuranLMMU08, author = {Francisco Dur{\'{a}}n and Salvador Lucas and Claude March{\'{e}} and Jos{\'{e}} Meseguer and Xavier Urbain}, title = {Proving operational termination of membership equational programs}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {59--88}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9028-2}, doi = {10.1007/S10990-008-9028-2}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DuranLMMU08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Gluck08, author = {Robert Gl{\"{u}}ck}, title = {An investigation of Jones optimality and BTI-universal specializers}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {3}, pages = {283--309}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9033-5}, doi = {10.1007/S10990-008-9033-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Gluck08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HuMT08, author = {Zhenjiang Hu and Shin{-}Cheng Mu and Masato Takeichi}, title = {A programmable editor for developing structured documents based on bidirectional transformations}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {89--118}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9025-5}, doi = {10.1007/S10990-008-9025-5}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HuMT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HulaasB08, author = {Jarle Hulaas and Walter Binder}, title = {Program transformations for light-weight {CPU} accounting and control in the Java virtual machine}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {119--146}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9026-4}, doi = {10.1007/S10990-008-9026-4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HulaasB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LawallLS08, author = {Julia Lawall and Michael Leuschel and Peter Sestoft}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {1--3}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9029-1}, doi = {10.1007/S10990-008-9029-1}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LawallLS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/OchoaSV08, author = {Claudio Ochoa and Josep Silva and Germ{\'{a}}n Vidal}, title = {Dynamic slicing of lazy functional programs based on redex trails}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {147--192}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9023-7}, doi = {10.1007/S10990-008-9023-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/OchoaSV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/OwensS08, author = {Scott Owens and Konrad Slind}, title = {Adapting functional programs to higher order logic}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {4}, pages = {377--409}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9038-0}, doi = {10.1007/S10990-008-9038-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/OwensS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PettorossiP08, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Totally correct logic program transformations via well-founded annotations}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {193--234}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9024-6}, doi = {10.1007/S10990-008-9024-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PettorossiP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PettorossiP08a, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Totally correct logic program transformations via well-founded annotations}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {235}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9031-7}, doi = {10.1007/S10990-008-9031-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PettorossiP08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SiskindP08, author = {Jeffrey Mark Siskind and Barak A. Pearlmutter}, title = {Nesting forward-mode {AD} in a functional framework}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {4}, pages = {361--376}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9037-1}, doi = {10.1007/S10990-008-9037-1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/SiskindP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Skalka08, author = {Christian Skalka}, title = {Types and trace effects for object orientation}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {3}, pages = {239--282}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9032-6}, doi = {10.1007/S10990-008-9032-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Skalka08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ZiarekWJ08, author = {Lukasz Ziarek and Stephen Weeks and Suresh Jagannathan}, title = {Flattening tuples in an {SSA} intermediate representation}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {3}, pages = {333--358}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9035-3}, doi = {10.1007/S10990-008-9035-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ZiarekWJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AriolaHS07, author = {Zena M. Ariola and Hugo Herbelin and Amr Sabry}, title = {A proof-theoretic foundation of abortive continuations}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {4}, pages = {403--429}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9007-z}, doi = {10.1007/S10990-007-9007-Z}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/AriolaHS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/CervesatoS07, author = {Iliano Cervesato and Mark{-}Oliver Stehr}, title = {Representing the {MSR} cryptoprotocol specification language in an extension of rewriting logic with dependent types}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {3--35}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9003-3}, doi = {10.1007/S10990-007-9003-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/CervesatoS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/CirsteaFK07, author = {Horatiu Cirstea and Germain Faure and Claude Kirchner}, title = {A rho-calculus of explicit constraint application}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {37--72}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9004-2}, doi = {10.1007/S10990-007-9004-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/CirsteaFK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Cregut07, author = {Pierre Cr{\'{e}}gut}, title = {Strongly reducing variants of the Krivine abstract machine}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {209--230}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9015-z}, doi = {10.1007/S10990-007-9015-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Cregut07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Danvy07, author = {Olivier Danvy}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {197--198}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9021-1}, doi = {10.1007/S10990-007-9021-1}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Danvy07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT07, author = {Olivier Danvy and Hayo Thielecke}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {4}, pages = {337--338}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9020-2}, doi = {10.1007/S10990-007-9020-2}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DouenceF07, author = {R{\'{e}}mi Douence and Pascal Fradet}, title = {The next 700 Krivine machines}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {237--255}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9016-y}, doi = {10.1007/S10990-007-9016-Y}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DouenceF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/FriedmanGSW07, author = {Daniel P. Friedman and Abdulaziz Ghuloum and Jeremy G. Siek and Onnie Lynn Winebarger}, title = {Improving the lazy Krivine machine}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {271--293}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9014-0}, doi = {10.1007/S10990-007-9014-0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/FriedmanGSW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Kameyama07, author = {Yukiyoshi Kameyama}, title = {Axioms for control operators in the {CPS} hierarchy}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {4}, pages = {339--369}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9009-x}, doi = {10.1007/S10990-007-9009-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Kameyama07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KrishnamurthiHMGPF07, author = {Shriram Krishnamurthi and Peter Walton Hopkins and Jay A. McCarthy and Paul T. Graunke and Greg Pettyjohn and Matthias Felleisen}, title = {Implementation and use of the {PLT} scheme Web server}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {4}, pages = {431--460}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9008-y}, doi = {10.1007/S10990-007-9008-Y}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/KrishnamurthiHMGPF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Krivine07, author = {Jean{-}Louis Krivine}, title = {A call-by-name lambda-calculus machine}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {199--207}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9018-9}, doi = {10.1007/S10990-007-9018-9}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Krivine07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lang07, author = {Fr{\'{e}}d{\'{e}}ric Lang}, title = {Explaining the lazy Krivine machine using explicit substitution and addresses}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {257--270}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9013-1}, doi = {10.1007/S10990-007-9013-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Lang07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lippi07, author = {Sylvain Lippi}, title = {The graphical Krivine machine}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {295--318}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9011-3}, doi = {10.1007/S10990-007-9011-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Lippi07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lopez-FraguasRV07, author = {Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, title = {A new generic scheme for functional logic programming with constraints}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {73--122}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9002-4}, doi = {10.1007/S10990-007-9002-4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Lopez-FraguasRV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Marti-OlietRT07, author = {Narciso Mart{\'{\i}}{-}Oliet and Grigore Rosu and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {1--2}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9005-1}, doi = {10.1007/S10990-007-9005-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Marti-OlietRT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MeseguerT07, author = {Jos{\'{e}} Meseguer and Prasanna Thati}, title = {Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {123--160}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9000-6}, doi = {10.1007/S10990-007-9000-6}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/MeseguerT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/OlveczkyM07, author = {Peter Csaba {\"{O}}lveczky and Jos{\'{e}} Meseguer}, title = {Semantics and pragmatics of Real-Time Maude}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {161--196}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9001-5}, doi = {10.1007/S10990-007-9001-5}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/OlveczkyM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Schmidt07, author = {David A. Schmidt}, title = {State-transition machines for lambda-calculus expressions}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {319--332}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9012-2}, doi = {10.1007/S10990-007-9012-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Schmidt07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Schmidt07a, author = {David A. Schmidt}, title = {State-transition machines, revisited}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {333--335}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9017-x}, doi = {10.1007/S10990-007-9017-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Schmidt07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Shan07, author = {Chung{-}chieh Shan}, title = {A static simulation of dynamic delimited control}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {4}, pages = {371--401}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9010-4}, doi = {10.1007/S10990-007-9010-4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Shan07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Wand07, author = {Mitchell Wand}, title = {On the correctness of the Krivine machine}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {3}, pages = {231--235}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9019-8}, doi = {10.1007/S10990-007-9019-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Wand07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BertolissiCK06, author = {Clara Bertolissi and Horatiu Cirstea and Claude Kirchner}, title = {Expressing combinatory reduction systems derivations in the rewriting calculus}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {4}, pages = {345--376}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-0479-z}, doi = {10.1007/S10990-006-0479-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BertolissiCK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyFGKMT06, author = {Olivier Danvy and Andrzej Filinski and Jean{-}Louis Giavitto and Andy King and Pierre{-}Etienne Moreau and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {4}, pages = {343--344}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-0478-0}, doi = {10.1007/S10990-006-0478-0}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyFGKMT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyMPT06, author = {Olivier Danvy and Oege de Moor and Julian A. Padget and Peter Thiemann}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {1}, pages = {5}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8607-3}, doi = {10.1007/S10990-006-8607-3}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyMPT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GadducciMM06, author = {Fabio Gadducci and Marino Miculan and Ugo Montanari}, title = {About permutation algebras, (pre)sheaves and named sets}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {283--304}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8749-3}, doi = {10.1007/S10990-006-8749-3}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GadducciMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GhaniUH06, author = {Neil Ghani and Tarmo Uustalu and Makoto Hamana}, title = {Explicit substitutions and higher-order syntax}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {263--282}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8748-4}, doi = {10.1007/S10990-006-8748-4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GhaniUH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Hamana06, author = {Makoto Hamana}, title = {An initial algebra approach to term rewriting systems with variable binders}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {231--262}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8747-5}, doi = {10.1007/S10990-006-8747-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Hamana06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HickeyN06, author = {Jason Hickey and Aleksey Nogin}, title = {Formal compiler construction in a logical framework}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {197--230}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8746-6}, doi = {10.1007/S10990-006-8746-6}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/HickeyN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HillS06, author = {Patricia M. Hill and Fausto Spoto}, title = {Deriving escape analysis by abstract interpretation}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {4}, pages = {415--463}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-0481-5}, doi = {10.1007/S10990-006-0481-5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/HillS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HonsellT06, author = {Furio Honsell and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {167--168}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8744-8}, doi = {10.1007/S10990-006-8744-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HonsellT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Levy06, author = {Paul Blain Levy}, title = {Call-by-push-value: Decomposing call-by-value and call-by-name}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {4}, pages = {377--414}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-0480-6}, doi = {10.1007/S10990-006-0480-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Levy06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Martel06, author = {Matthieu Martel}, title = {Semantics of roundoff error propagation in finite precision calculations}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {1}, pages = {7--30}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8608-2}, doi = {10.1007/S10990-006-8608-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Martel06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Mine06, author = {Antoine Min{\'{e}}}, title = {The octagon abstract domain}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {1}, pages = {31--100}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8609-1}, doi = {10.1007/S10990-006-8609-1}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Mine06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/NandivadaJ06, author = {V. Krishna Nandivada and Suresh Jagannathan}, title = {Dynamic state restoration using versioning exceptions}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {1}, pages = {101--124}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8610-8}, doi = {10.1007/S10990-006-8610-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/NandivadaJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Norrish06, author = {Michael Norrish}, title = {Mechanising lambda-calculus using a classical first order theory of terms with permutations}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {169--195}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8745-7}, doi = {10.1007/S10990-006-8745-7}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Norrish06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PottierG06, author = {Fran{\c{c}}ois Pottier and Nadji Gauthier}, title = {Polymorphic typed defunctionalization and concretization}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {1}, pages = {125--162}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8611-7}, doi = {10.1007/S10990-006-8611-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PottierG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/TanakaP06, author = {Miki Tanaka and John Power}, title = {Pseudo-distributive laws and axiomatics for variable binding}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {305--337}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8750-x}, doi = {10.1007/S10990-006-8750-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/TanakaP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyHMP05, author = {Olivier Danvy and Fritz Henglein and Harry G. Mairson and Alberto Pettorossi}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {5--6}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7001-x}, doi = {10.1007/S10990-005-7001-X}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyHMP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Davis05, author = {Martin Davis}, title = {An Appreciation of Bob Paige}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {13--13}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7004-7}, doi = {10.1007/S10990-005-7004-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Davis05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DesharnaisM05, author = {Jules Desharnais and Bernhard M{\"{o}}ller}, title = {Least Reflexive Points of Relations}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {51--77}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7006-5}, doi = {10.1007/S10990-005-7006-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DesharnaisM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DubeF05, author = {Danny Dub{\'{e}} and Marc Feeley}, title = {{BIT:} {A} Very Compact Scheme System for Microcontrollers}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {3-4}, pages = {271--298}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-4877-4}, doi = {10.1007/S10990-005-4877-4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DubeF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/FelleisenLSS05, author = {Matthias Felleisen and Julia Lawall and Manuel Serrano and Olin Shivers}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {3-4}, pages = {243--244}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-4875-6}, doi = {10.1007/S10990-005-4875-6}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/FelleisenLSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GasbichlerS05, author = {Martin Gasbichler and Michael Sperber}, title = {Integrating User-Level Threads with Processes in Scsh}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {3-4}, pages = {327--354}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-4879-2}, doi = {10.1007/S10990-005-4879-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GasbichlerS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Goldberg05, author = {Mayer Goldberg}, title = {A Variadic Extension of Curry's Fixed-Point Combinator}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {3-4}, pages = {371--388}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-4881-8}, doi = {10.1007/S10990-005-4881-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Goldberg05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Goyal05, author = {Deepak Goyal}, title = {Transformational Derivation of an Improved Alias Analysis Algorithm}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {15--49}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7005-6}, doi = {10.1007/S10990-005-7005-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Goyal05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Kiselyov05, author = {Oleg Kiselyov}, title = {Implementing Metcast in Scheme}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {3-4}, pages = {355--370}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-4880-9}, doi = {10.1007/S10990-005-4880-9}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Kiselyov05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Klarlund05, author = {Nils Klarlund}, title = {Relativizations for the Logic-Automata Connection}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {79--120}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7007-4}, doi = {10.1007/S10990-005-7007-4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Klarlund05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Mairson05, author = {Harry G. Mairson}, title = {Robert Paige {(1947-1999)}}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {7--8}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7002-9}, doi = {10.1007/S10990-005-7002-9}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Mairson05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MeunierFSW05, author = {Philippe Meunier and Robert Bruce Findler and Paul Steckler and Mitchell Wand}, title = {Selectors Make Set-Based Analysis Too Hard}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {3-4}, pages = {245--269}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-4876-5}, doi = {10.1007/S10990-005-4876-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/MeunierFSW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Paige05, author = {Robert Paige}, title = {An {NSF} Proposal}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {211--235}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7009-2}, doi = {10.1007/S10990-005-7009-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Paige05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PettorossiPR05, author = {Alberto Pettorossi and Maurizio Proietti and Sophie Renault}, title = {Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {121--210}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7008-3}, doi = {10.1007/S10990-005-7008-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PettorossiPR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Siegel05, author = {Alan Siegel}, title = {Remembrances of Bob Paige}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {9--11}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7003-8}, doi = {10.1007/S10990-005-7003-8}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Siegel05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/WaddellSD05, author = {Oscar Waddell and Dipanwita Sarkar and R. Kent Dybvig}, title = {Fixing Letrec: {A} Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {3-4}, pages = {299--326}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-4878-3}, doi = {10.1007/S10990-005-4878-3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/WaddellSD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BasinDH04, author = {David A. Basin and Olivier Danvy and Robert Harper}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {3}, pages = {171}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029480.20108.7d}, doi = {10.1023/B:LISP.0000029480.20108.7D}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BasinDH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChinDT04, author = {Wei{-}Ngan Chin and Olivier Danvy and Peter Thiemann}, title = {Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {1-2}, pages = {5--6}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029481.73168.ef}, doi = {10.1023/B:LISP.0000029481.73168.EF}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ChinDT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyM04, author = {Olivier Danvy and Ian A. Mason}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {4}, pages = {275}, year = {2004}, url = {https://doi.org/10.1007/s10990-004-4865-0}, doi = {10.1007/S10990-004-4865-0}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Helsen04, author = {Simon Helsen}, title = {Bisimilarity for the Region Calculus}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {4}, pages = {347--394}, year = {2004}, url = {https://doi.org/10.1007/s10990-004-4868-x}, doi = {10.1007/S10990-004-4868-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Helsen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KhooS04, author = {Siau{-}Cheng Khoo and Kun Shi}, title = {Program Adaptation via Output-Constraint Specialization}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {1-2}, pages = {93--128}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029449.57959.bd}, doi = {10.1023/B:LISP.0000029449.57959.BD}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/KhooS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KristensenC04, author = {Lars Michael Kristensen and S{\o}ren Christensen}, title = {Implementing Coloured Petri Nets Using a Functional Programming Language}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {3}, pages = {207--243}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029445.29210.ca}, doi = {10.1023/B:LISP.0000029445.29210.CA}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/KristensenC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LaceyJWF04, author = {David Lacey and Neil D. Jones and Eric Van Wyk and Carl Christian Frederiksen}, title = {Compiler Optimization Correctness by Temporal Logic}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {3}, pages = {173--206}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029444.99264.c0}, doi = {10.1023/B:LISP.0000029444.99264.C0}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LaceyJWF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Mastroeni04, author = {Isabella Mastroeni}, title = {Algebraic Power Analysis by Abstract Interpretation}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {4}, pages = {297--345}, year = {2004}, url = {https://doi.org/10.1007/s10990-004-4867-y}, doi = {10.1007/S10990-004-4867-Y}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Mastroeni04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MeurLC04, author = {Anne{-}Fran{\c{c}}oise Le Meur and Julia L. Lawall and Charles Consel}, title = {Specialization Scenarios: {A} Pragmatic Approach to Declaring Program Specialization}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {1-2}, pages = {47--92}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029448.02877.78}, doi = {10.1023/B:LISP.0000029448.02877.78}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/MeurLC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Queinnec04, author = {Christian Queinnec}, title = {Continuations and Web Servers}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {4}, pages = {277--295}, year = {2004}, url = {https://doi.org/10.1007/s10990-004-4866-z}, doi = {10.1007/S10990-004-4866-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Queinnec04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/TofteBEH04, author = {Mads Tofte and Lars Birkedal and Martin Elsman and Niels Hallenberg}, title = {A Retrospective on Region-Based Memory Management}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {3}, pages = {245--265}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029446.78563.a4}, doi = {10.1023/B:LISP.0000029446.78563.A4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/TofteBEH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Vidal04, author = {Germ{\'{a}}n Vidal}, title = {Cost-Augmented Partial Evaluation of Functional Logic Programs}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {1-2}, pages = {7--46}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029447.02190.42}, doi = {10.1023/B:LISP.0000029447.02190.42}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Vidal04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Voigtlander04, author = {Janis Voigtl{\"{a}}nder}, title = {Using Circular Programs to Deforest in Accumulating Parameters}, journal = {High. Order Symb. Comput.}, volume = {17}, number = {1-2}, pages = {129--163}, year = {2004}, url = {https://doi.org/10.1023/B:LISP.0000029450.36668.cb}, doi = {10.1023/B:LISP.0000029450.36668.CB}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Voigtlander04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyHMP03, author = {Olivier Danvy and Fritz Henglein and Harry G. Mairson and Alberto Pettorossi}, title = {Editorial: Special Issue Dedicated to Bob Paige}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {1-2}, pages = {5--6}, year = {2003}, url = {https://doi.org/10.1023/A:1023059701827}, doi = {10.1023/A:1023059701827}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyHMP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/FordM03, author = {Jonathan Ford and Ian A. Mason}, title = {Formal Foundations of Operational Semantics}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {3}, pages = {161--202}, year = {2003}, url = {https://doi.org/10.1023/A:1025689206562}, doi = {10.1023/A:1025689206562}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/FordM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GiacobazziM03, author = {Roberto Giacobazzi and Isabella Mastroeni}, title = {Non-Standard Semantics for Program Slicing}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {4}, pages = {297--339}, year = {2003}, url = {https://doi.org/10.1023/A:1025872819613}, doi = {10.1023/A:1025872819613}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GiacobazziM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GortzRS03, author = {Inge Li G{\o}rtz and Signe Reuss and Morten Heine S{\o}rensen}, title = {Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {3}, pages = {253--285}, year = {2003}, url = {https://doi.org/10.1023/A:1025693307470}, doi = {10.1023/A:1025693307470}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GortzRS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LeonardH03, author = {Elizabeth I. Leonard and Constance L. Heitmeyer}, title = {Program Synthesis from Formal Requirements Specifications Using {APTS}}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {1-2}, pages = {63--92}, year = {2003}, url = {https://doi.org/10.1023/A:1023072104553}, doi = {10.1023/A:1023072104553}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LeonardH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LiuS03, author = {Yanhong A. Liu and Scott D. Stoller}, title = {Dynamic Programming via Static Incrementalization}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {1-2}, pages = {37--62}, year = {2003}, url = {https://doi.org/10.1023/A:1023068020483}, doi = {10.1023/A:1023068020483}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LiuS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LoidlRSHHKLMPPPT03, author = {Hans{-}Wolfgang Loidl and Fernando Rubio and Norman Scaife and Kevin Hammond and Susumu Horiguchi and Ulrike Klusik and Rita Loogen and Greg Michaelson and Ricardo Pena and Steffen Priebe and {\'{A}}lvaro J. Reb{\'{o}}n Portillo and Philip W. Trinder}, title = {Comparing Parallel Functional Languages: Programming and Performance}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {3}, pages = {203--251}, year = {2003}, url = {https://doi.org/10.1023/A:1025641323400}, doi = {10.1023/A:1025641323400}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LoidlRSHHKLMPPPT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lu03, author = {Lunjin Lu}, title = {Path Dependent Analysis of Logic Programs}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {4}, pages = {341--377}, year = {2003}, url = {https://doi.org/10.1023/A:1025824903683}, doi = {10.1023/A:1025824903683}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Lu03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MoorLW03, author = {Oege de Moor and David Lacey and Eric Van Wyk}, title = {Universal Regular Path Queries}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {1-2}, pages = {15--35}, year = {2003}, url = {https://doi.org/10.1023/A:1023063919574}, doi = {10.1023/A:1023063919574}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/MoorLW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/NanevskiBH03, author = {Aleksandar Nanevski and Guy E. Blelloch and Robert Harper}, title = {Automatic Generation of Staged Geometric Predicates}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {4}, pages = {379--400}, year = {2003}, url = {https://doi.org/10.1023/A:1025876920522}, doi = {10.1023/A:1025876920522}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/NanevskiBH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Paige03, author = {Bob Paige}, title = {Research Retrospective}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {1-2}, pages = {7--13}, year = {2003}, url = {https://doi.org/10.1023/A:1023011918666}, doi = {10.1023/A:1023011918666}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Paige03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/RepsR03, author = {Thomas W. Reps and Louis B. Rall}, title = {Computational Divided Differencing and Divided-Difference Arithmetics}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {1-2}, pages = {93--149}, year = {2003}, url = {https://doi.org/10.1023/A:1023024221391}, doi = {10.1023/A:1023024221391}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/RepsR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BerdineORT02, author = {Josh Berdine and Peter W. O'Hearn and Uday S. Reddy and Hayo Thielecke}, title = {Linear Continuation-Passing}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {2-3}, pages = {181--208}, year = {2002}, url = {https://doi.org/10.1023/A:1020891112409}, doi = {10.1023/A:1020891112409}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BerdineORT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Coquand02, author = {Catarina Coquand}, title = {A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {1}, pages = {57--90}, year = {2002}, url = {https://doi.org/10.1023/A:1019964114625}, doi = {10.1023/A:1019964114625}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Coquand02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyIT02, author = {Olivier Danvy and Takayasu Ito and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {1}, pages = {5}, year = {2002}, url = {https://doi.org/10.1023/A:1019966413716}, doi = {10.1023/A:1019966413716}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyIT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyS02, author = {Olivier Danvy and Amr Sabry}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {2-3}, pages = {139--140}, year = {2002}, url = {https://doi.org/10.1023/A:1020834727430}, doi = {10.1023/A:1020834727430}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT02, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {4}, pages = {271}, year = {2002}, url = {https://doi.org/10.1023/A:1022974204050}, doi = {10.1023/A:1022974204050}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HasegawaK02, author = {Masahito Hasegawa and Yoshihiko Kakutani}, title = {Axioms for Recursion in Call-by-Value}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {2-3}, pages = {235--264}, year = {2002}, url = {https://doi.org/10.1023/A:1020895213317}, doi = {10.1023/A:1020895213317}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/HasegawaK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Henderson02, author = {Peter Henderson}, title = {Functional Geometry}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {4}, pages = {349--365}, year = {2002}, url = {https://doi.org/10.1023/A:1022986521797}, doi = {10.1023/A:1022986521797}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Henderson02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Johann02, author = {Patricia Johann}, title = {A Generalization of Short-Cut Fusion and its Correctness Proof}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {4}, pages = {273--300}, year = {2002}, url = {https://doi.org/10.1023/A:1022982420888}, doi = {10.1023/A:1022982420888}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Johann02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Reppy02, author = {John H. Reppy}, title = {Optimizing Nested Loops Using Local {CPS} Conversion}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {2-3}, pages = {161--180}, year = {2002}, url = {https://doi.org/10.1023/A:1020839128338}, doi = {10.1023/A:1020839128338}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Reppy02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SmithT02, author = {Scott F. Smith and Carolyn L. Talcott}, title = {Specification Diagrams for Actor Systems}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {4}, pages = {301--348}, year = {2002}, url = {https://doi.org/10.1023/A:1022934504959}, doi = {10.1023/A:1022934504959}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SmithT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Thielecke02, author = {Hayo Thielecke}, title = {Comparing Control Constructs by Double-Barrelled {CPS}}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {2-3}, pages = {141--160}, year = {2002}, url = {https://doi.org/10.1023/A:1020887011500}, doi = {10.1023/A:1020887011500}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Thielecke02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/TozawaH02, author = {Akihiko Tozawa and Masami Hagiya}, title = {Formalization and Analysis of Class Loading in Java}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {1}, pages = {7--55}, year = {2002}, url = {https://doi.org/10.1023/A:1019912130555}, doi = {10.1023/A:1019912130555}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/TozawaH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Xi02, author = {Hongwei Xi}, title = {Dependent Types for Program Termination Verification}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {1}, pages = {91--131}, year = {2002}, url = {https://doi.org/10.1023/A:1019916231463}, doi = {10.1023/A:1019916231463}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Xi02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ZdancewicM02, author = {Steve Zdancewic and Andrew C. Myers}, title = {Secure Information Flow via Linear Continuations}, journal = {High. Order Symb. Comput.}, volume = {15}, number = {2-3}, pages = {209--234}, year = {2002}, url = {https://doi.org/10.1023/A:1020843229247}, doi = {10.1023/A:1020843229247}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ZdancewicM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BiagioniHL01, author = {Edoardo Biagioni and Robert Harper and Peter Lee}, title = {A Network Protocol Stack in Standard {ML}}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {4}, pages = {309--356}, year = {2001}, url = {https://doi.org/10.1023/A:1014403914699}, doi = {10.1023/A:1014403914699}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BiagioniHL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChinK01, author = {Wei{-}Ngan Chin and Siau{-}Cheng Khoo}, title = {Calculating Sized Types}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {2-3}, pages = {261--300}, year = {2001}, url = {https://doi.org/10.1023/A:1012996816178}, doi = {10.1023/A:1012996816178}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ChinK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyIT01, author = {Olivier Danvy and Takayasu Ito and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {4}, pages = {307}, year = {2001}, url = {https://doi.org/10.1023/A:1014426530629}, doi = {10.1023/A:1014426530629}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyIT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyL01, author = {Olivier Danvy and Julia L. Lawall}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {2-3}, pages = {99--100}, year = {2001}, url = {https://doi.org/10.1023/A:1012905312544}, doi = {10.1023/A:1012905312544}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT01, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {1}, pages = {5}, year = {2001}, url = {https://doi.org/10.1023/A:1011513031288}, doi = {10.1023/A:1011513031288}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DouenceS01, author = {R{\'{e}}mi Douence and Mario S{\"{u}}dholt}, title = {A Generic Reification Technique for Object-Oriented Reflective Languages}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {1}, pages = {7--34}, year = {2001}, url = {https://doi.org/10.1023/A:1011549115358}, doi = {10.1023/A:1011549115358}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DouenceS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GallagherP01, author = {John P. Gallagher and Julio C. Peralta}, title = {Regular Tree Languages as an Abstract Domain in Program Specialisation}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {2-3}, pages = {143--172}, year = {2001}, url = {https://doi.org/10.1023/A:1012936614361}, doi = {10.1023/A:1012936614361}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GallagherP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GrobauerY01, author = {Bernd Grobauer and Zhe Yang}, title = {The Second Futamura Projection for Type-Directed Partial Evaluation}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {2-3}, pages = {173--219}, year = {2001}, url = {https://doi.org/10.1023/A:1012992731199}, doi = {10.1023/A:1012992731199}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/GrobauerY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Karczmarczuk01, author = {Jerzy Karczmarczuk}, title = {Functional Differentiation of Computer Programs}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {1}, pages = {35--57}, year = {2001}, url = {https://doi.org/10.1023/A:1011501232197}, doi = {10.1023/A:1011501232197}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Karczmarczuk01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Kobayashi01, author = {Naoki Kobayashi}, title = {Type-Based Useless-Variable Elimination}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {2-3}, pages = {221--260}, year = {2001}, url = {https://doi.org/10.1023/A:1012944815270}, doi = {10.1023/A:1012944815270}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Kobayashi01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Moreau01, author = {Luc Moreau}, title = {Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {4}, pages = {357--386}, year = {2001}, url = {https://doi.org/10.1023/A:1014455931537}, doi = {10.1023/A:1014455931537}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Moreau01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SabelfeldS01, author = {Andrei Sabelfeld and David Sands}, title = {A Per Model of Secure Information Flow in Sequential Programs}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {1}, pages = {59--91}, year = {2001}, url = {https://doi.org/10.1023/A:1011553200337}, doi = {10.1023/A:1011553200337}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SabelfeldS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SumiiK01, author = {Eijiro Sumii and Naoki Kobayashi}, title = {A Hybrid Approach to Online and Offline Partial Evaluation}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {2-3}, pages = {101--142}, year = {2001}, url = {https://doi.org/10.1023/A:1012984529382}, doi = {10.1023/A:1012984529382}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SumiiK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/XiaoSA01, author = {Yong Xiao and Amr Sabry and Zena M. Ariola}, title = {From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition}, journal = {High. Order Symb. Comput.}, volume = {14}, number = {4}, pages = {387--409}, year = {2001}, url = {https://doi.org/10.1023/A:1014408032446}, doi = {10.1023/A:1014408032446}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/XiaoSA01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Burstall00, author = {Rod M. Burstall}, title = {Christopher Strachey - Understanding Programming Languages}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {51--55}, year = {2000}, url = {https://doi.org/10.1023/A:1010052305354}, doi = {10.1023/A:1010052305354}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Burstall00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT00, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {5--6}, year = {2000}, url = {https://doi.org/10.1023/A:1010022412197}, doi = {10.1023/A:1010022412197}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT00a, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {3}, pages = {159--160}, year = {2000}, url = {https://doi.org/10.1023/A:1010014500357}, doi = {10.1023/A:1010014500357}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT00b, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {4}, pages = {287--288}, year = {2000}, url = {https://doi.org/10.1023/A:1026586714900}, doi = {10.1023/A:1026586714900}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT00b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Dybvig00, author = {R. Kent Dybvig}, title = {From Macrogeneration to Syntactic Abstraction}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {57--63}, year = {2000}, url = {https://doi.org/10.1023/A:1010041423101}, doi = {10.1023/A:1010041423101}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Dybvig00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Gordon00, author = {Michael J. C. Gordon}, title = {Christopher Strachey: Recollections of His Influence}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {65--67}, year = {2000}, url = {https://doi.org/10.1023/A:1010097524009}, doi = {10.1023/A:1010097524009}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Gordon00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HannanH00, author = {John Hannan and Patrick Hicks}, title = {Higher-Order UnCurrying}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {3}, pages = {179--216}, year = {2000}, url = {https://doi.org/10.1023/A:1010006229549}, doi = {10.1023/A:1010006229549}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HannanH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Hartley00, author = {David Hartley}, title = {Cambridge and {CPL} in the 1960s}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {69--70}, year = {2000}, url = {https://doi.org/10.1023/A:1010001708080}, doi = {10.1023/A:1010001708080}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Hartley00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HatcliffDZ00, author = {John Hatcliff and Matthew B. Dwyer and Hongjun Zheng}, title = {Slicing Software for Model Construction}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {4}, pages = {315--353}, year = {2000}, url = {https://doi.org/10.1023/A:1026599015809}, doi = {10.1023/A:1026599015809}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HatcliffDZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Hoare00, author = {C. A. R. Hoare}, title = {A Hard Act to Follow}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {71--72}, year = {2000}, url = {https://doi.org/10.1023/A:1010053724918}, doi = {10.1023/A:1010053724918}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Hoare00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Jackson00, author = {Michael Jackson}, title = {Christopher Strachey: {A} Personal Recollection}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {73--74}, year = {2000}, url = {https://doi.org/10.1023/A:1010005808988}, doi = {10.1023/A:1010005808988}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Jackson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Landin00, author = {Peter J. Landin}, title = {My Years with Strachey}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {75--76}, year = {2000}, url = {https://doi.org/10.1023/A:1010057925827}, doi = {10.1023/A:1010057925827}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Landin00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Liu00, author = {Yanhong A. Liu}, title = {Efficiency by Incrementalization: An Introduction}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {4}, pages = {289--313}, year = {2000}, url = {https://doi.org/10.1023/A:1026547031739}, doi = {10.1023/A:1026547031739}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Liu00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Milne00, author = {Robert Milne}, title = {From Language Concepts to Implementation Concepts}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {77--81}, year = {2000}, url = {https://doi.org/10.1023/A:1010010009897}, doi = {10.1023/A:1010010009897}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Milne00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Mogensen00, author = {Torben {\AE}. Mogensen}, title = {Linear-Time Self-Interpretation of the Pure Lambda Calculus}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {3}, pages = {217--237}, year = {2000}, url = {https://doi.org/10.1023/A:1010058213619}, doi = {10.1023/A:1010058213619}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Mogensen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Mogensen00a, author = {Torben {\AE}. Mogensen}, title = {Glossary for Partial Evaluation and Related Topics}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {4}, pages = {355--368}, year = {2000}, url = {https://doi.org/10.1023/A:1026551132647}, doi = {10.1023/A:1026551132647}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Mogensen00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Mosses00, author = {Peter D. Mosses}, title = {A Foreword to 'Fundamental Concepts in Programming Languages'}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {7--9}, year = {2000}, url = {https://doi.org/10.1023/A:1010048229036}, doi = {10.1023/A:1010048229036}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Mosses00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Nishizaki00, author = {Shin{-}ya Nishizaki}, title = {A Polymorphic Environment Calculus and its Type-Inference Algorithm}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {3}, pages = {239--278}, year = {2000}, url = {https://doi.org/10.1023/A:1010010314528}, doi = {10.1023/A:1010010314528}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Nishizaki00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Penrose00, author = {Roger Penrose}, title = {Reminiscences of Christopher Strachey}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {83--84}, year = {2000}, url = {https://doi.org/10.1023/A:1010062026735}, doi = {10.1023/A:1010062026735}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Penrose00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Richards00, author = {Martin Richards}, title = {Christopher Strachey and the Cambridge {CPL} Compiler}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {85--88}, year = {2000}, url = {https://doi.org/10.1023/A:1010014110806}, doi = {10.1023/A:1010014110806}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Richards00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Schmidt00, author = {David A. Schmidt}, title = {Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {89--101}, year = {2000}, url = {https://doi.org/10.1023/A:1010066127644}, doi = {10.1023/A:1010066127644}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Schmidt00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Scott00, author = {Dana S. Scott}, title = {Some Reflections on Strachey and His Work}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {103--114}, year = {2000}, url = {https://doi.org/10.1023/A:1010018211714}, doi = {10.1023/A:1010018211714}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Scott00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Stoy00, author = {Joseph E. Stoy}, title = {Christopher Strachey and Fundamental Concepts}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {115--117}, year = {2000}, url = {https://doi.org/10.1023/A:1010070228552}, doi = {10.1023/A:1010070228552}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Stoy00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Strachey00, author = {Christopher S. Strachey}, title = {Fundamental Concepts in Programming Languages}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {11--49}, year = {2000}, url = {https://doi.org/10.1023/A:1010000313106}, doi = {10.1023/A:1010000313106}, timestamp = {Thu, 15 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Strachey00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/StracheyW00, author = {Christopher S. Strachey and Christopher P. Wadsworth}, title = {Continuations: {A} Mathematical Semantics for Handling Full Jumps}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {135--152}, year = {2000}, url = {https://doi.org/10.1023/A:1010026413531}, doi = {10.1023/A:1010026413531}, timestamp = {Thu, 15 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/StracheyW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/TennentG00, author = {Robert D. Tennent and Dan R. Ghica}, title = {Abstract Models of Storage}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {119--129}, year = {2000}, url = {https://doi.org/10.1023/A:1010022312623}, doi = {10.1023/A:1010022312623}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/TennentG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ThibaultCLMM00, author = {Scott Thibault and Charles Consel and Julia L. Lawall and Renaud Marlet and Gilles Muller}, title = {Static and Dynamic Program Compilation by Interpreter Specialization}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {3}, pages = {161--178}, year = {2000}, url = {https://doi.org/10.1023/A:1010078412711}, doi = {10.1023/A:1010078412711}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ThibaultCLMM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Wadsworth00, author = {Christopher P. Wadsworth}, title = {Continuations Revisited}, journal = {High. Order Symb. Comput.}, volume = {13}, number = {1/2}, pages = {131--133}, year = {2000}, url = {https://doi.org/10.1023/A:1010074329461}, doi = {10.1023/A:1010074329461}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Wadsworth00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AikenWP99, author = {Alexander Aiken and Edward L. Wimmers and Jens Palsberg}, title = {Optimal Representations of Polymorphic Types with Subtyping}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {3}, pages = {237--282}, year = {1999}, url = {https://doi.org/10.1023/A:1010056315933}, doi = {10.1023/A:1010056315933}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/AikenWP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BartheHS99, author = {Gilles Barthe and John Hatcliff and Morten Heine S{\o}rensen}, title = {{CPS} Translations and Applications: The Cube and Beyond}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {2}, pages = {125--170}, year = {1999}, url = {https://doi.org/10.1023/A:1010000206149}, doi = {10.1023/A:1010000206149}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/BartheHS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChirokoffCM99, author = {Sandrine Chirokoff and Charles Consel and Renaud Marlet}, title = {Combining Program and Data Specialization}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {4}, pages = {309--335}, year = {1999}, url = {https://doi.org/10.1023/A:1010035401770}, doi = {10.1023/A:1010035401770}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ChirokoffCM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ClingerHO99, author = {William D. Clinger and Anne Hartheimer and Eric Ost}, title = {Implementation Strategies for First-Class Continuations}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {1}, pages = {7--45}, year = {1999}, url = {https://doi.org/10.1023/A:1010016816429}, doi = {10.1023/A:1010016816429}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/ClingerHO99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT99, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {1}, pages = {5}, year = {1999}, url = {https://doi.org/10.1023/A:1010023032358}, doi = {10.1023/A:1010023032358}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT99a, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Introduction}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {2}, pages = {123--124}, year = {1999}, url = {https://doi.org/10.1023/A:1010089522078}, doi = {10.1023/A:1010089522078}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT99a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT99b, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {4}, pages = {307--308}, year = {1999}, url = {https://doi.org/10.1023/A:1010002000861}, doi = {10.1023/A:1010002000861}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT99b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyT99c, author = {Olivier Danvy and Carolyn L. Talcott}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {3}, pages = {219}, year = {1999}, url = {https://doi.org/10.1023/A:1010025114115}, doi = {10.1023/A:1010025114115}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyT99c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Futamura99, author = {Yoshihiko Futamura}, title = {Partial Evaluation of Computation Process, Revisited}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {4}, pages = {377--380}, year = {1999}, url = {https://doi.org/10.1023/A:1010043619517}, doi = {10.1023/A:1010043619517}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Futamura99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Futamura99a, author = {Yoshihiko Futamura}, title = {Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {4}, pages = {381--391}, year = {1999}, url = {https://doi.org/10.1023/A:1010095604496}, doi = {10.1023/A:1010095604496}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Futamura99a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HornofJ99, author = {Luke Hornof and Trevor Jim}, title = {Certifying Compilation and Run-Time Code Generation}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {4}, pages = {337--375}, year = {1999}, url = {https://doi.org/10.1023/A:1010039502678}, doi = {10.1023/A:1010039502678}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HornofJ99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lee99, author = {Chin Soon Lee}, title = {Partial Evaluation of the Euclidean Algorithm, Revisited}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {2}, pages = {203--212}, year = {1999}, url = {https://doi.org/10.1023/A:1010004307057}, doi = {10.1023/A:1010004307057}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Lee99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lillibridge99, author = {Mark Lillibridge}, title = {Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {1}, pages = {75--104}, year = {1999}, url = {https://doi.org/10.1023/A:1010020917337}, doi = {10.1023/A:1010020917337}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Lillibridge99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Mason99, author = {Ian A. Mason}, title = {Computing with Contexts}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {2}, pages = {171--201}, year = {1999}, url = {https://doi.org/10.1023/A:1010052222987}, doi = {10.1023/A:1010052222987}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Mason99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Sandewall99, author = {Erik Sandewall}, title = {An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {1}, pages = {105--113}, year = {1999}, url = {https://doi.org/10.1023/A:1010072901408}, doi = {10.1023/A:1010072901408}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Sandewall99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Steele99, author = {Guy L. Steele Jr.}, title = {Growing a Language}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {3}, pages = {221--236}, year = {1999}, url = {https://doi.org/10.1023/A:1010085415024}, doi = {10.1023/A:1010085415024}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Steele99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Thielecke99, author = {Hayo Thielecke}, title = {Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {1}, pages = {47--73}, year = {1999}, url = {https://doi.org/10.1023/A:1010068800499}, doi = {10.1023/A:1010068800499}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Thielecke99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Wand99, author = {Mitchell Wand}, title = {Continuation-Based Multiprocessing Revisited}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {3}, pages = {283}, year = {1999}, url = {https://doi.org/10.1023/A:1010049917750}, doi = {10.1023/A:1010049917750}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Wand99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Wand99a, author = {Mitchell Wand}, title = {Continuation-Based Multiprocessing}, journal = {High. Order Symb. Comput.}, volume = {12}, number = {3}, pages = {285--299}, year = {1999}, url = {https://doi.org/10.1023/A:1010093700911}, doi = {10.1023/A:1010093700911}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Wand99a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AbelsonDHRAFKSBHOSBHPW98, author = {Harold Abelson and R. Kent Dybvig and Christopher T. Haynes and Guillermo Juan Rozas and N. I. Adams IV and Daniel P. Friedman and Eugene E. Kohlbecker and Guy L. Steele Jr. and David H. Bartley and Robert H. Halstead Jr. and Don Oxley and Gerald J. Sussman and G. Brooks and Chris Hanson and Kent M. Pitman and Mitchell Wand}, title = {Revised Report on the Algorithmic Language Scheme}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {1}, pages = {7--105}, year = {1998}, url = {https://doi.org/10.1023/A:1010051815785}, doi = {10.1023/A:1010051815785}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/AbelsonDHRAFKSBHOSBHPW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BiagioniCLOS98, author = {Edoardo Biagioni and Kenneth Cline and Peter Lee and Chris Okasaki and Christopher A. Stone}, title = {Safe-for-Space Threads in Standard {ML}}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {2}, pages = {209--225}, year = {1998}, url = {https://doi.org/10.1023/A:1010016600604}, doi = {10.1023/A:1010016600604}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BiagioniCLOS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Boudol98, author = {G{\'{e}}rard Boudol}, title = {The p-Calculus in Direct Style}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {2}, pages = {177--208}, year = {1998}, url = {https://doi.org/10.1023/A:1010064516533}, doi = {10.1023/A:1010064516533}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Boudol98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Kucan98, author = {Jakov Kucan}, title = {Retraction Approach to {CPS} Transform}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {2}, pages = {145--175}, year = {1998}, url = {https://doi.org/10.1023/A:1010012532463}, doi = {10.1023/A:1010012532463}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Kucan98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KumarBD98, author = {Sanjeev Kumar and Carl Bruggeman and R. Kent Dybvig}, title = {Threads Yield Continuations}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {3}, pages = {223--236}, year = {1998}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/KumarBD98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Landin98, author = {Peter J. Landin}, title = {A Generalization of Jumps and Labels}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {2}, pages = {125--143}, year = {1998}, url = {https://doi.org/10.1023/A:1010068630801}, doi = {10.1023/A:1010068630801}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Landin98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Moreau98, author = {Luc Moreau}, title = {A Syntactic Theory of Dynamic Binding}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {3}, pages = {233--279}, year = {1998}, url = {https://doi.org/10.1023/A:1010087314987}, doi = {10.1023/A:1010087314987}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Moreau98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Reynolds98, author = {John C. Reynolds}, title = {Definitional Interpreters Revisited}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {4}, pages = {355--361}, year = {1998}, url = {https://doi.org/10.1023/A:1010075320153}, doi = {10.1023/A:1010075320153}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Reynolds98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Reynolds98a, author = {John C. Reynolds}, title = {Definitional Interpreters for Higher-Order Programming Languages}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {4}, pages = {363--397}, year = {1998}, url = {https://doi.org/10.1023/A:1010027404223}, doi = {10.1023/A:1010027404223}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Reynolds98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Schmidt98, author = {David A. Schmidt}, title = {Trace-Based Abstract Interpretation of Operational Semantics}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {3}, pages = {237--271}, year = {1998}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Schmidt98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SussmanS98, author = {Gerald J. Sussman and Guy L. Steele Jr.}, title = {The First Report on Scheme Revisited}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {4}, pages = {399--404}, year = {1998}, url = {https://doi.org/10.1023/A:1010079421970}, doi = {10.1023/A:1010079421970}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SussmanS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SussmanS98a, author = {Gerald J. Sussman and Guy L. Steele Jr.}, title = {Scheme: {A} Interpreter for Extended Lambda Calculus}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {4}, pages = {405--439}, year = {1998}, url = {https://doi.org/10.1023/A:1010035624696}, doi = {10.1023/A:1010035624696}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/SussmanS98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Talcott98, author = {Carolyn L. Talcott}, title = {Composable Semantic Models for Actor Theories}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {3}, pages = {281--343}, year = {1998}, url = {https://doi.org/10.1023/A:1010042915896}, doi = {10.1023/A:1010042915896}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Talcott98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Thielecke98, author = {Hayo Thielecke}, title = {An Introduction to Landin's "A Generalization of Jumps and Labels"}, journal = {High. Order Symb. Comput.}, volume = {11}, number = {2}, pages = {117--123}, year = {1998}, url = {https://doi.org/10.1023/A:1010060315625}, doi = {10.1023/A:1010060315625}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Thielecke98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Tung98, author = {Sho{-}Huan Simon Tung}, title = {Visualizing Evaluation in Scheme}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {3}, pages = {201--222}, year = {1998}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Tung98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Wand98, author = {Mitchell Wand}, title = {The Theory of Fexprs is Trivial}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {3}, pages = {189--199}, year = {1998}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Wand98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyG97, author = {Olivier Danvy and Mayer Goldberg}, title = {Partial Evaluation of the Euclidian Algorithm}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {2}, pages = {101--111}, year = {1997}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GluckJ97, author = {Robert Gl{\"{u}}ck and Jesper J{\o}rgensen}, title = {An Automatic Program Generator for Multi-Level Specialization}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {2}, pages = {113--158}, year = {1997}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GluckJ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/JacobsS97, author = {J. H. Jacobs and Mark R. Swanson}, title = {{UCL+P} - Defining and Implementing Persistent Common Lisp}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {1}, pages = {5--38}, year = {1997}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/JacobsS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LeeZ97, author = {Arthur H. Lee and Joseph L. Zachary}, title = {Adding Support for Persistence to {CLOS} via Its Metaobject Protocol}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {1}, pages = {39--60}, year = {1997}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/LeeZ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/OhoriT97, author = {Atsushi Ohori and Tomonobu Takamizawa}, title = {An Unboxed Operational Semantics for {ML} Polymorphism}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {1}, pages = {61--91}, year = {1997}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/OhoriT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/WiseHHHO97, author = {David S. Wise and Brian C. Heck and Caleb Hess and Willie Hunt and Eric Ost}, title = {Research Demonstration of a Hardware Reference-Counting Heap}, journal = {{LISP} Symb. Comput.}, volume = {10}, number = {2}, pages = {159--181}, year = {1997}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/WiseHHHO97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AsaiMY96, author = {Kenichi Asai and Satoshi Matsuoka and Akinori Yonezawa}, title = {Duplication and Partial Evaluation For a Better Understanding of Reflective Languages}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {2-3}, pages = {203--241}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/AsaiMY96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChinD96, author = {Wei{-}Ngan Chin and John Darlington}, title = {A Higher-Order Removal Method}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {4}, pages = {287--322}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ChinD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HondaT96, author = {Yasuaki Honda and Mario Tokoro}, title = {Reflection and Time-Dependent Computing: Experiences with the {R2} Architecture}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {2-3}, pages = {243--277}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/HondaT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/JeffersonF96, author = {Stanley Jefferson and Daniel P. Friedman}, title = {A Simple Reflective Interpreter}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {2-3}, pages = {181--202}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/JeffersonF96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MalenfantDC96, author = {Jacques Malenfant and Christophe Dony and Pierre Cointe}, title = {A Semantics of Introspection in a Reflective Prototype-Based Language}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {2-3}, pages = {153--179}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/MalenfantDC96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Reddy96, author = {Uday S. Reddy}, title = {Global State Considered Unnecessary: An Introduction to Object-Based Semantics}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {1}, pages = {7--76}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Reddy96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SpringerK96, author = {Jonathan Springer and Samuel N. Kamin}, title = {Strictness Analysis in the Imperative Lambda Calculus}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {1}, pages = {109--143}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/SpringerK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Stark96, author = {Ian Stark}, title = {Categorical Models for Local Names}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {1}, pages = {77--107}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Stark96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/TarditiD96, author = {David Tarditi and Amer Diwan}, title = {Measuring the Cost of Storage Management}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {4}, pages = {323--342}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/TarditiD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/TungD96, author = {Sho{-}Huan Simon Tung and R. Kent Dybvig}, title = {Reliable Interactive Programming with Modules}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {4}, pages = {343--358}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/TungD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Baker-Finch95, author = {Clement A. Baker{-}Finch}, title = {Type Theory and Projections for Static Analysis}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {3}, pages = {267--285}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Baker-Finch95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BirkedalW95, author = {Lars Birkedal and Morten Welinder}, title = {Binding-Time Analysis for Standard {ML}}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {3}, pages = {191--208}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BirkedalW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyMP95, author = {Olivier Danvy and Karoline Malmkj{\ae}r and Jens Palsberg}, title = {The Essence of Eta-Expansion in Partial Evaluation}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {3}, pages = {209--227}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DanvyMP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Davis95, author = {Kei Davis}, title = {PERs from Projections for Binding-Time Analysis}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {3}, pages = {249--266}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Davis95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/EifrigSTZ95, author = {Jonathan Eifrig and Scott F. Smith and Valery Trifonov and Amy E. Zwarico}, title = {An Interpretation of Typed {OOP} in a Language with State}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {4}, pages = {357--397}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/EifrigSTZ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GuttmanRS95, author = {Joshua D. Guttman and John D. Ramsdell and Vipin Swarup}, title = {The {VLISP} Verified Scheme System}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {1-2}, pages = {33--110}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GuttmanRS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GuttmanRW95, author = {Joshua D. Guttman and John D. Ramsdell and Mitchell Wand}, title = {{VLISP:} {A} Verified Implementation of Scheme}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {1-2}, pages = {5--32}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GuttmanRW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Jones95, author = {Mark P. Jones}, title = {Dictionary-Free Overloading by Partial Evaluation}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {3}, pages = {229--248}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Jones95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LaunchburyJ95, author = {John Launchbury and Simon L. Peyton Jones}, title = {State in Haskell}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {4}, pages = {293--341}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/LaunchburyJ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MasonO95, author = {Ian A. Mason and Martin Odersky}, title = {Special Issue on State in Programming Languages - Introduction}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {4}, pages = {291--292}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/MasonO95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/OlivaRW95, author = {Dino Oliva and John D. Ramsdell and Mitchell Wand}, title = {The {VLISP} Verified PreScheme Compiler}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {1-2}, pages = {111--182}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/OlivaRW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Wright95, author = {Andrew K. Wright}, title = {Simple Imperative Polymorphism}, journal = {{LISP} Symb. Comput.}, volume = {8}, number = {4}, pages = {343--355}, year = {1995}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Wright95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Appel94, author = {Andrew W. Appel}, title = {Loop Headers in Lambda-Calculus or {CPS}}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {4}, pages = {337--343}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Appel94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChakrabartiY94, author = {Soumen Chakrabarti and Katherine A. Yelick}, title = {Distributed Data Structures and Algorithms for Gr{\"{o}}bner Basis Computation}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {2-3}, pages = {147--172}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ChakrabartiY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Conery94, author = {John S. Conery}, title = {Continuation-Based Control in the Implementation of Parallel Logic Programs}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {1}, pages = {111--134}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Conery94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/FeeleyTL94, author = {Marc Feeley and Marcel Turcotte and Guy Lapalme}, title = {Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {2-3}, pages = {231--247}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/FeeleyTL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Filinski94, author = {Andrzej Filinski}, title = {Recursion from Iteration}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {1}, pages = {11--38}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Filinski94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HiebDA94, author = {Robert Hieb and R. Kent Dybvig and Claude W. Anderson III}, title = {Subcontinuations}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {1}, pages = {83--110}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/HiebDA94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HoGH94, author = {Kinson Ho and Hans W. Guesgen and Paul N. Hilfinger}, title = {{CONSAT:} {A} Parallel Constraint Satisfaction System}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {2-3}, pages = {195--210}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/HoGH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Jagannathan94, author = {Suresh Jagannathan}, title = {TS/Scheme: Distributed Data Structures in Lisp}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {4}, pages = {291--314}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Jagannathan94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KarpLSW94, author = {Peter D. Karp and John D. Lowrance and Thomas M. Strat and David E. Wilkins}, title = {The Grasper-CL Graph Management System}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {4}, pages = {251--290}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/KarpLSW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KelseyR94, author = {Richard Kelsey and Jonathan Rees}, title = {A Tractable Scheme Implementation}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {4}, pages = {315--335}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/KelseyR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MatsudaK94, author = {Hideo Matsuda and Yukio Kaneda}, title = {An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {2-3}, pages = {211--229}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/MatsudaK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/OkasakiLT94, author = {Chris Okasaki and Peter Lee and David Tarditi}, title = {Call-by-Need and Continuation-Passing Style}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {1}, pages = {57--82}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/OkasakiLT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Wadler94, author = {Philip Wadler}, title = {Monads and Composable Continuations}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {1}, pages = {39--56}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Wadler94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/WeeksJP94, author = {Stephen Weeks and Suresh Jagannathan and James Philbin}, title = {A Concurrent Abstract Interpreter}, journal = {{LISP} Symb. Comput.}, volume = {7}, number = {2-3}, pages = {173--193}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/WeeksJP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BerringtonBRP93, author = {Neil Berrington and Peter A. Broadbery and David De Roure and Julian A. Padget}, title = {{EULISP} Threads: {A} Concurrency Toolbox}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {1-2}, pages = {177--200}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BerringtonBRP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BradfordR93, author = {Russell J. Bradford and David De Roure}, title = {EuLisp in Education}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {1-2}, pages = {99--118}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BradfordR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BretthauerKDP93, author = {Harry Bretthauer and J{\"{u}}rgen Kopp and Harley Davis and Keith Playford}, title = {Balancing the {EULISP} Metaobject Protocol}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {1-2}, pages = {119--138}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BretthauerKDP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BroadberyB93, author = {Peter A. Broadbery and Christopher Burdorf}, title = {Applications of Telos}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {1-2}, pages = {139--158}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BroadberyB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Fischer93, author = {Michael J. Fischer}, title = {Lambda-Calculus Schemata}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {3-4}, pages = {259--288}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Fischer93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HarperL93, author = {Robert Harper and Mark Lillibridge}, title = {Polymorphic Type Assignment and {CPS} Conversion}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {3-4}, pages = {361--380}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/HarperL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KindF93, author = {Andreas Kind and Horst Friedrich}, title = {A Practical Approach to Type Inference for EuLisp}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {1-2}, pages = {159--176}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/KindF93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MerrallP93, author = {Simon C. Merrall and Julian A. Padget}, title = {Plurals: {A} {SIMD} Extension to EuLisp}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {1-2}, pages = {201--220}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/MerrallP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Morris93, author = {F. Lockwood Morris}, title = {The Next 700 Formal Language Descriptions}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {3-4}, pages = {249--258}, year = {1993}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Morris93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PadgetNB93, author = {Julian A. Padget and Greg Nuyens and Harry Bretthauer}, title = {An Overview of {EULISP}}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {1-2}, pages = {9--98}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/PadgetNB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Reynolds93, author = {John C. Reynolds}, title = {The Discoveries of Continuations}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {3-4}, pages = {233--248}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Reynolds93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SabryF93, author = {Amr Sabry and Matthias Felleisen}, title = {Reasoning about Programs in Continuation-Passing Style}, journal = {{LISP} Symb. Comput.}, volume = {6}, number = {3-4}, pages = {289--360}, year = {1993}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/SabryF93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AppelS92, author = {Andrew W. Appel and Zhong Shao}, title = {Callee-Save Registers in Continuation-Passing Style}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {3}, pages = {191--221}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/AppelS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Baker92, author = {Henry G. Baker}, title = {Critique of {DIN} Kernel Lisp Definition Version 1.2}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {4}, pages = {371--398}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Baker92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Baker92a, author = {Henry G. Baker}, title = {A Decision Procedure for Common Lisp's {SUBTYPEP} Predicate}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {3}, pages = {157--190}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Baker92a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BorningFW92, author = {Alan Borning and Bj{\o}rn N. Freeman{-}Benson and Molly Wilson}, title = {Constraint Hierarchies}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {3}, pages = {223--270}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BorningFW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/CengarleMWBDS92, author = {Mar{\'{\i}}a Victoria Cengarle and Luis Mandel and Martin Wirsing and Heiner Brand and Klaus D{\"{a}}{\ss}ler and Thekla Schneider}, title = {An Approach to the {DIN} Kernel Lisp Definition}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {4}, pages = {319--369}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/CengarleMWBDS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/CengarleMWBDS92a, author = {Mar{\'{\i}}a Victoria Cengarle and Luis Mandel and Martin Wirsing and Heiner Brand and Klaus D{\"{a}}{\ss}ler and Thekla Schneider}, title = {Answer to Baker's Remarks of July 1991 on Version 1.0}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {4}, pages = {399--404}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/CengarleMWBDS92a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChengY92, author = {Gang Cheng and Zhang Yun{-}Zheng}, title = {A "Functional + Logic" Programming Language in Interpretation-Compilation Implementation}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {3}, pages = {133--156}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ChengY92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Conery92, author = {John S. Conery}, title = {Parallel Logic Programs on the Mayfly}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {1-2}, pages = {49--72}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Conery92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ConselD92, author = {Charles Consel and Olivier Danvy}, title = {Partial Evaluation in Parallel}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {4}, pages = {327--342}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ConselD92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Davis92, author = {Al Davis}, title = {Mayfly: {A} General-Purpose, Scalable, Parallel Processing Architecture}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {1-2}, pages = {7--48}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Davis92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DybvigHB92, author = {R. Kent Dybvig and Robert Hieb and Carl Bruggeman}, title = {Syntactic Abstraction in Scheme}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {4}, pages = {295--326}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DybvigHB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/EvansK92, author = {John D. Evans and Robert R. Kessler}, title = {{DPOS:} {A} Metalanguage and Programming Environment for Parallel Processing}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {1-2}, pages = {105--123}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/EvansK92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KesslerCSS92, author = {Robert R. Kessler and Harold Carr and Leigh Stoller and Mark R. Swanson}, title = {Implementing Concurrent Scheme for the Mayfly Distributed Parallel Processing System}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {1-2}, pages = {73--93}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/KesslerCSS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LapalmeL92, author = {Guy Lapalme and Mario Latendresse}, title = {A Debugging Environment for Lazy Functional Languages}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {3}, pages = {271--287}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/LapalmeL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LeeF92, author = {Shinn{-}Der Lee and Daniel P. Friedman}, title = {First-Class Extents}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {4}, pages = {343--375}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/LeeF92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Swanson92, author = {Mark R. Swanson}, title = {Concurrent Scheme Reference}, journal = {{LISP} Symb. Comput.}, volume = {5}, number = {1-2}, pages = {95--104}, year = {1992}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Swanson92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChambersU91, author = {Craig Chambers and David M. Ungar}, title = {Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {3}, pages = {283--310}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ChambersU91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChambersUCH91, author = {Craig Chambers and David M. Ungar and Bay{-}Wei Chang and Urs H{\"{o}}lzle}, title = {Parents are Shared Parts of Objects: Inheritance and Encapsulation in {SELF}}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {3}, pages = {207--222}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ChambersUCH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ChambersUL91, author = {Craig Chambers and David M. Ungar and Elgin Lee}, title = {An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {3}, pages = {243--281}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ChambersUL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Fateman91, author = {Richard J. Fateman}, title = {Endpaper: {FRPOLY:} {A} Benchmark Revisited}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {2}, pages = {155--164}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Fateman91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/KesslerK91, author = {Robert R. Kessler and Jed J. Krohnfeldt}, title = {A Logical Approach to Program Analysis}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {1}, pages = {5--27}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/KesslerK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Koschmann91, author = {Timothy Koschmann}, title = {Designing a Browser to Support Multimethods and Method Combination}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {2}, pages = {143--154}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Koschmann91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Larus91, author = {James R. Larus}, title = {Compiling Lisp Programs for Parallel Execution}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {1}, pages = {29--99}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Larus91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/MillerR91, author = {James S. Miller and Guillermo Juan Rozas}, title = {Free Variables and First-Class Environments}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {2}, pages = {107--141}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/MillerR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/UngarCCH91, author = {Craig Chambers and David M. Ungar and Bay{-}Wei Chang and Urs H{\"{o}}lzle}, title = {Organizing Programs Without Classes}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {3}, pages = {223--242}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/UngarCCH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/UngarS91, author = {David M. Ungar and Randall B. Smith}, title = {{SELF:} The Power of Simplicity}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {3}, pages = {187--205}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/UngarS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/X91, title = {Book Review of {A} "Kinder, Gentler LISP?" {COMMON} {LISP:} {A} Gentle Introduction to Symbolic Computation" by David S. Touretzky}, journal = {{LISP} Symb. Comput.}, volume = {4}, number = {2}, pages = {165--177}, year = {1991}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/X91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Acuff90, author = {Richard Acuff}, title = {Endpaper: Performance of Two Common Lisp Programs on Several Systems}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {2}, pages = {171--204}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Acuff90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Appel90, author = {Andrew W. Appel}, title = {A Runtime System}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {4}, pages = {343--380}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Appel90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BageL90, author = {G{\"{o}}ran B{\aa}ge and Gary Lindstrom}, title = {Combinator Evaluation of Functional Programs with Logical Variables}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {3}, pages = {289--320}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BageL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Bonzon90, author = {Pierre E. Bonzon}, title = {A Metacircular Evaluator for a Logical Extension of Scheme}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {2}, pages = {113--133}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Bonzon90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Derbyshire90, author = {Margaret H. Derbyshire}, title = {Mark Scan Garbage Collection on a Distributed Architecture}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {2}, pages = {135--170}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Derbyshire90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DiamantD90, author = {John R. Diamant and Gerald P. Duggan}, title = {A Preprocessor Based Implementation of Common Lisp}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {3}, pages = {211--228}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DiamantD90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DybvigH90, author = {R. Kent Dybvig and Robert Hieb}, title = {A New Approach to Procedures with Variable Arity}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {3}, pages = {229--244}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DybvigH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Ghosh-Roy90, author = {R. Ghosh{-}Roy}, title = {Conjunction-Type Standard {ML} Polymorphism}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {4}, pages = {381--409}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Ghosh-Roy90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Milner90, title = {Book Review of Common Lisp: {A} Tutorial, by Wendy L. Milner}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {3}, pages = {321--325}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Milner90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PourheidariKC90, author = {Mohammad Pourheidari and Robert R. Kessler and Harold Carr}, title = {Moped {(A} Portable Debugger)}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {1}, pages = {39--65}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/PourheidariKC90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/RufW90, author = {Erik Ruf and Daniel Weise}, title = {LogScheme: Integrating Logic Programming into Scheme}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {3}, pages = {245--288}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/RufW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/RuncimanJ90, author = {Colin Runciman and Nigel Jagger}, title = {Relative Specification and Transformational Re-Use of Functional Programs}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {1}, pages = {21--37}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/RuncimanJ90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/SitaramF90, author = {Dorai Sitaram and Matthias Felleisen}, title = {Control Delimiters and Their Hierarchies}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {1}, pages = {67--99}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/SitaramF90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/X90, title = {Book Review of Common Lisp: the Reference Franz, Inc}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {1}, pages = {101--102}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/X90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ZornH90, author = {Benjamin G. Zorn and Paul N. Hilfinger}, title = {Direct Function Calls in Lisp}, journal = {{LISP} Symb. Comput.}, volume = {3}, number = {1}, pages = {13--20}, year = {1990}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ZornH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Ait-KaciN89, author = {Hassan A{\"{\i}}t{-}Kaci and Roger Nasr}, title = {Integrating Logic and Functional Programming}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {1}, pages = {51--89}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Ait-KaciN89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Appel89, author = {Andrew W. Appel}, title = {Runtime Tags Aren't Necessary}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {2}, pages = {153--162}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Appel89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BobrowDGKKM89, author = {Daniel G. Bobrow and Linda G. DeMichiel and Richard P. Gabriel and Sonya E. Keene and Gregor Kiczales and David A. Moon}, title = {Common Lisp Object System Specification: 1. Programmer Interface Concepts}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {3-4}, pages = {245--298}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BobrowDGKKM89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BobrowDGKKM89a, author = {Daniel G. Bobrow and Linda G. DeMichiel and Richard P. Gabriel and Sonya E. Keene and Gregor Kiczales and David A. Moon}, title = {Common Lisp Object System Specification: 2. Functions in the Programmer Interface}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {3-4}, pages = {299--394}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BobrowDGKKM89a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Demichiel89, author = {Linda G. DeMichiel}, title = {Overview: The Common Lisp Object System}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {3-4}, pages = {227--244}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Demichiel89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Grue89, author = {Klaus Grue}, title = {Arrays in Pure Functional Programming Languages}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {2}, pages = {105--113}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Grue89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Harrison89, author = {Williams Ludwell Harrison III}, title = {The Interprocedural Analysis and Automatic Parallelization of Scheme Programs}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {2}, pages = {179--396}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Harrison89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/JonesSS89, author = {Neil D. Jones and Peter Sestoft and Harald S{\o}ndergaard}, title = {Mix: {A} Self-Applicable Partial Evaluator for Experiments in Compiler Generation}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {1}, pages = {9--50}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/JonesSS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Keene89, title = {Book Review of Object-Oriented Programming in Common {LISP:} {A} Programmer's Guide to CLOS, by Sonya E. Keene}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {2}, pages = {163--165}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Keene89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/OlthoffK89, author = {Walter G. Olthoff and James Kempf}, title = {An Algebraic Specification of Method Combination for the Common Lisp Object System}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {2}, pages = {115--152}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/OlthoffK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BlossHY88, author = {Adrienne G. Bloss and Paul Hudak and Jonathan Young}, title = {Code Optimizations for Lazy Evaluation}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {2}, pages = {147--164}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BlossHY88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/BromleyL88, author = {Hank Bromley and Richard Lamson}, title = {Book Review of Lisp Lore: {A} Guide to Programming the Lisp Machine, 2nd ed}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {1}, pages = {77--79}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/BromleyL88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DybvigFH88, author = {R. Kent Dybvig and Daniel P. Friedman and Christopher T. Haynes}, title = {Expansion-Passing Style: {A} General Macro Mechanism}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {1}, pages = {53--75}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/DybvigFH88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GabrielP88, author = {Richard P. Gabriel and Kent M. Pitman}, title = {Endpaper: Technical Issues of Separation in Function Cells and Value Cells}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {1}, pages = {81--101}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GabrielP88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Giuse88, author = {Dario A. Giuse}, title = {{LISP} as a Rapid Prototyping Environment: The Chinese Tutor}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {2}, pages = {165--184}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Giuse88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LangP88, author = {Kevin J. Lang and Barak A. Pearlmutter}, title = {Oaklisp: An Object-Oriented Dialect of Scheme}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {1}, pages = {39--51}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/LangP88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lieberherr88, author = {Karl J. Lieberherr}, title = {Object-Oriented Programming with Class Dictionaries}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {2}, pages = {185--212}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/Lieberherr88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/ODonnellH88, author = {John T. O'Donnell and Cordelia V. Hall}, title = {Debugging in Applicative Languages}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {2}, pages = {113--145}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/ODonnellH88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/WandF88, author = {Mitchell Wand and Daniel P. Friedman}, title = {The Mystery of the Tower Revealed: {A} Nonreflective Description of the Reflective Tower}, journal = {{LISP} Symb. Comput.}, volume = {1}, number = {1}, pages = {11--37}, year = {1988}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/WandF88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.