Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/lisp:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-09-03 23:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
