Search dblp for Publications

export results for "toc:db/conf/icfp/merlin2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icfp/Cheney05a,
  author       = {James Cheney},
  editor       = {Randy Pollack},
  title        = {Toward a general theory of names: binding and scope},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {33--40},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088459},
  doi          = {10.1145/1088454.1088459},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Cheney05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DonnellyX05,
  author       = {Kevin Donnelly and
                  Hongwei Xi},
  editor       = {Randy Pollack},
  title        = {Combining higher-order abstract syntax with first-order abstract syntax
                  in {ATS}},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {58--63},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088462},
  doi          = {10.1145/1088454.1088462},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/DonnellyX05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/MiculanSH05,
  author       = {Marino Miculan and
                  Ivan Scagnetto and
                  Furio Honsell},
  editor       = {Randy Pollack},
  title        = {Translating specifications from nominal logic to {CIC} with the theory
                  of contexts},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {41--49},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088460},
  doi          = {10.1145/1088454.1088460},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/MiculanSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/NoginKYH05,
  author       = {Aleksey Nogin and
                  Alexei Kopylov and
                  Xin Yu and
                  Jason Hickey},
  editor       = {Randy Pollack},
  title        = {A computational approach to reflective meta-reasoning about languages
                  with bindings},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {2--12},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088456},
  doi          = {10.1145/1088454.1088456},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/NoginKYH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Pfenning05,
  author       = {Frank Pfenning},
  editor       = {Randy Pollack},
  title        = {Towards a type theory of contexts},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088455},
  doi          = {10.1145/1088454.1088455},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Pfenning05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Shkaravska05,
  author       = {Olha Shkaravska},
  editor       = {Randy Pollack},
  title        = {Types with semantics: soundness proof assistant},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {50--57},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088461},
  doi          = {10.1145/1088454.1088461},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Shkaravska05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/TanakaP05,
  author       = {Miki Tanaka and
                  John Power},
  editor       = {Randy Pollack},
  title        = {A unified category-theoretic formulation of typed binding signatures},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088457},
  doi          = {10.1145/1088454.1088457},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/TanakaP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/UrbanN05,
  author       = {Christian Urban and
                  Michael Norrish},
  editor       = {Randy Pollack},
  title        = {A formal treatment of the barendregt variable convention in rule inductions},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages        = {25--32},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454.1088458},
  doi          = {10.1145/1088454.1088458},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/UrbanN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfp/2005merlin,
  editor       = {Randy Pollack},
  title        = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  Workshop on Mechanized reasoning about languages with variable binding,
                  {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1088454},
  doi          = {10.1145/1088454},
  isbn         = {978-1-59593-072-9},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/2005merlin.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.