BibTeX records: Pablo E. Martínez López

download as .bib file

@inproceedings{DBLP:conf/clei/LopezCAP17,
  author    = {Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               Daniel Ciolek and
               Gabriela Ar{\'{e}}valo and
               Denise Pari},
  title     = {The {GOBSTONES} method for teaching computer programming},
  booktitle = {2017 {XLIII} Latin American Computer Conference, {CLEI} 2017, C{\'{o}}rdoba,
               Argentina, September 4-8, 2017},
  pages     = {1--9},
  year      = {2017},
  crossref  = {DBLP:conf/clei/2017},
  url       = {https://doi.org/10.1109/CLEI.2017.8226428},
  doi       = {10.1109/CLEI.2017.8226428},
  timestamp = {Sat, 30 Dec 2017 17:42:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/clei/LopezCAP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Diaz-CaroL15,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Isomorphisms considered as equalities: Projecting functions and enhancing
               partial application through an implementation of {\(\lambda\)}\({}^{\mbox{+}}\)},
  booktitle = {Proceedings of the 27th Symposium on the Implementation and Application
               of Functional Programming Languages, {IFL} '15, Koblenz, Germany,
               September 14-16, 2015},
  pages     = {9:1--9:11},
  year      = {2015},
  crossref  = {DBLP:conf/ifl/2015},
  url       = {http://doi.acm.org/10.1145/2897336.2897346},
  doi       = {10.1145/2897336.2897346},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/Diaz-CaroL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Diaz-CaroL15,
  author    = {Alejandro D{\'{\i}}az{-}Caro and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Isomorphisms considered as equalities: Projecting functions and enhancing
               partial application through and implementation of lambda+},
  journal   = {CoRR},
  volume    = {abs/1511.09324},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.09324},
  archivePrefix = {arXiv},
  eprint    = {1511.09324},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Diaz-CaroL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/BarrientosL09,
  author    = {Pablo Andr{\'{e}}s Barrientos and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Developing DSLs using combinators. {A} design pattern},
  booktitle = {Proceedings of the International Multiconference on Computer Science
               and Information Technology, {IMCSIT} 2009, Mragowo, Poland, 12-14
               October 2009},
  pages     = {635--642},
  year      = {2009},
  crossref  = {DBLP:conf/imcsit/2009},
  url       = {https://doi.org/10.1109/IMCSIT.2009.5352773},
  doi       = {10.1109/IMCSIT.2009.5352773},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imcsit/BarrientosL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KosarLBM08,
  author    = {Tomaz Kosar and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               Pablo Andr{\'{e}}s Barrientos and
               Marjan Mernik},
  title     = {A preliminary study on various implementation approaches of domain-specific
               language},
  journal   = {Information {\&} Software Technology},
  volume    = {50},
  number    = {5},
  pages     = {390--405},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.infsof.2007.04.002},
  doi       = {10.1016/j.infsof.2007.04.002},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/KosarLBM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DanvyL03,
  author    = {Olivier Danvy and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Tagging, Encoding, and Jones Optimality},
  booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
               {ESOP} 2003, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
               2003, Proceedings},
  pages     = {335--347},
  year      = {2003},
  crossref  = {DBLP:conf/esop/2003},
  url       = {https://doi.org/10.1007/3-540-36575-3\_23},
  doi       = {10.1007/3-540-36575-3\_23},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/DanvyL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LopezH02,
  author    = {Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               John Hughes},
  title     = {Principal type specialisation},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
               on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
               Japan, September 12-14, 2002},
  pages     = {94--105},
  year      = {2002},
  crossref  = {DBLP:conf/pepm/2002a},
  url       = {http://doi.acm.org/10.1145/568173.568184},
  doi       = {10.1145/568173.568184},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/LopezH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/RisiLM01,
  author    = {Walter A. Risi and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               Daniel H. Marcos},
  title     = {HyCom: {A} Domain Specific Language for Hypermedia Application Development},
  booktitle = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
               January 3-6, 2001, Maui, Hawaii, {USA}},
  year      = {2001},
  crossref  = {DBLP:conf/hicss/2001},
  url       = {https://doi.org/10.1109/HICSS.2001.927268},
  doi       = {10.1109/HICSS.2001.927268},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/RisiLM01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/KesnerL99,
  author    = {Delia Kesner and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Explicit Substitutions for Objects and Functions},
  journal   = {Journal of Functional and Logic Programming},
  volume    = {1999},
  number    = {Special Issue 2},
  year      = {1999},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jflp/KesnerL99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LopezB98,
  author    = {Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               Gabriel A. Baum},
  title     = {Fork Algebraic Datatypes},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {6},
  number    = {4},
  pages     = {531--543},
  year      = {1998},
  url       = {https://doi.org/10.1093/jigpal/6.4.531},
  doi       = {10.1093/jigpal/6.4.531},
  timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/igpl/LopezB98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MarcosLR98,
  author    = {Daniel H. Marcos and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               Walter A. Risi},
  title     = {A Functional Programming Approach to Hypermedia Authoring},
  booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
               September 27-29, 1998.},
  pages     = {346},
  year      = {1998},
  crossref  = {DBLP:conf/icfp/1998},
  url       = {http://doi.acm.org/10.1145/289423.289476},
  doi       = {10.1145/289423.289476},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/MarcosLR98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/KesnerL98,
  author    = {Delia Kesner and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {Explicit Substitutions for Objects and Functions},
  booktitle = {Principles of Declarative Programming, 10th International Symposium,
               PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
               Pisa, Italy, September 16-18, 1998, Proceedings},
  pages     = {195--212},
  year      = {1998},
  crossref  = {DBLP:conf/plilp/1998},
  url       = {https://doi.org/10.1007/BFb0056615},
  doi       = {10.1007/BFb0056615},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/KesnerL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KrasnogorLMP97,
  author    = {Natalio Krasnogor and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               Pablo Mocciola and
               David A. Pelta},
  title     = {Protien Folding meets Functional Programming},
  booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997.},
  pages     = {313},
  year      = {1997},
  crossref  = {DBLP:conf/icfp/1997},
  url       = {http://doi.acm.org/10.1145/258948.258982},
  doi       = {10.1145/258948.258982},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/KrasnogorLMP97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KrasnogorLMP97a,
  author    = {Natalio Krasnogor and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez and
               Pablo Mocciola and
               David A. Pelta},
  title     = {Modelling String Folding with {G2L} Grammars},
  booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997.},
  pages     = {314},
  year      = {1997},
  crossref  = {DBLP:conf/icfp/1997},
  url       = {http://doi.acm.org/10.1145/258948.258983},
  doi       = {10.1145/258948.258983},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/KrasnogorLMP97a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BaumFHL96,
  author    = {Gabriel Baum and
               Marcelo F. Frias and
               Armando Martin Haeberer and
               Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title     = {From Specifications to Programs: {A} Fork-Algebraic Approach to Bridge
               the Gap},
  booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
               Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
  pages     = {180--191},
  year      = {1996},
  crossref  = {DBLP:conf/mfcs/1996},
  url       = {https://doi.org/10.1007/3-540-61550-4\_147},
  doi       = {10.1007/3-540-61550-4\_147},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/BaumFHL96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clei/2017,
  editor    = {H{\'{e}}ctor Monteverde and
               Rodrigo Santos},
  title     = {2017 {XLIII} Latin American Computer Conference, {CLEI} 2017, C{\'{o}}rdoba,
               Argentina, September 4-8, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8171462},
  isbn      = {978-1-5386-3057-0},
  timestamp = {Sat, 30 Dec 2017 17:42:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/clei/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2015,
  editor    = {Ralf L{\"{a}}mmel},
  title     = {Proceedings of the 27th Symposium on the Implementation and Application
               of Functional Programming Languages, {IFL} '15, Koblenz, Germany,
               September 14-16, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2897336},
  doi       = {10.1145/2897336},
  isbn      = {978-1-4503-4273-5},
  timestamp = {Thu, 22 Sep 2016 13:57:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imcsit/2009,
  title     = {Proceedings of the International Multiconference on Computer Science
               and Information Technology, {IMCSIT} 2009, Mragowo, Poland, 12-14
               October 2009},
  publisher = {{IEEE}},
  year      = {2009},
  timestamp = {Tue, 25 May 2010 14:42:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imcsit/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2003,
  editor    = {Pierpaolo Degano},
  title     = {Programming Languages and Systems, 12th European Symposium on Programming,
               {ESOP} 2003, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
               2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2618},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36575-3},
  doi       = {10.1007/3-540-36575-3},
  isbn      = {3-540-00886-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2002a,
  editor    = {Kenichi Asai and
               Wei{-}Ngan Chin},
  title     = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium
               on Partial Evaluation and Semantics-Based Program Manipulation, Aizu,
               Japan, September 12-14, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=568173},
  isbn      = {1-58113-458-4},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2002a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hicss/2001,
  title     = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
               January 3-6, 2001, Maui, Hawaii, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7255},
  isbn      = {0-7695-0981-9},
  timestamp = {Tue, 05 Apr 2016 11:43:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hicss/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1998,
  editor    = {Matthias Felleisen and
               Paul Hudak and
               Christian Queinnec},
  title     = {Proceedings of the third {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
               September 27-29, 1998},
  publisher = {{ACM}},
  year      = {1998},
  isbn      = {1-58113-024-4},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1998,
  editor    = {Catuscia Palamidessi and
               Hugh Glaser and
               Karl Meinke},
  title     = {Principles of Declarative Programming, 10th International Symposium,
               PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
               Pisa, Italy, September 16-18, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1490},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0056603},
  doi       = {10.1007/BFb0056603},
  isbn      = {3-540-65012-1},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1997,
  editor    = {Simon L. Peyton Jones and
               Mads Tofte and
               A. Michael Berman},
  title     = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-918-1},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1996,
  editor    = {Wojciech Penczek and
               Andrzej Szalas},
  title     = {Mathematical Foundations of Computer Science 1996, 21st International
               Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1113},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61550-4},
  doi       = {10.1007/3-540-61550-4},
  isbn      = {3-540-61550-4},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier