Search dblp for Publications

export results for "toc:db/journals/lisp/lisp19.bht:"

 download as .bib file

@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}
}

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.