Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jfp/CockxDP16,
  author       = {Jesper Cockx and
                  Dominique Devriese and
                  Frank Piessens},
  title        = {Eliminating dependent pattern matching without {K}},
  journal      = {J. Funct. Program.},
  volume       = {26},
  pages        = {e16},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0956796816000174},
  doi          = {10.1017/S0956796816000174},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/CockxDP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/CockxDP14,
  author       = {Jesper Cockx and
                  Dominique Devriese and
                  Frank Piessens},
  editor       = {Johan Jeuring and
                  Manuel M. T. Chakravarty},
  title        = {Pattern matching without {K}},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
                  Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages        = {257--268},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2628136.2628139},
  doi          = {10.1145/2628136.2628139},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/CockxDP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijprai/YamazakiIS05,
  author       = {Shuntaro Yamazaki and
                  Katsushi Ikeuchi and
                  Yoshihisa Shinagawa},
  title        = {Plausible image matching: determining dense and smooth mapping between
                  images without a priori knowledge},
  journal      = {Int. J. Pattern Recognit. Artif. Intell.},
  volume       = {19},
  number       = {4},
  pages        = {565--583},
  year         = {2005},
  url          = {https://doi.org/10.1142/S0218001405004162},
  doi          = {10.1142/S0218001405004162},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijprai/YamazakiIS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}