Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emilio Jesús Gallego Arias
@inproceedings{DBLP:conf/itp/BorgesAFAMPSZ23,
author = {Ana de Almeida Borges and
Annal{\'{\i}} Casanueva Art{\'{\i}}s and
Jean{-}R{\'{e}}my Falleri and
Emilio Jes{\'{u}}s Gallego Arias and
{\'{E}}rik Martin{-}Dorel and
Karl Palmskog and
Alexander Serebrenik and
Th{\'{e}}o Zimmermann},
editor = {Adam Naumowicz and
Ren{\'{e}} Thiemann},
title = {Lessons for Interactive Theorem Proving Researchers from a Survey
of Coq Users},
booktitle = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
series = {LIPIcs},
volume = {268},
pages = {12:1--12:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.12},
doi = {10.4230/LIPICS.ITP.2023.12},
timestamp = {Wed, 26 Jul 2023 16:07:09 +0200},
biburl = {https://dblp.org/rec/conf/itp/BorgesAFAMPSZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AriasJRD21,
author = {Emilio Jes{\'{u}}s Gallego Arias and
Pierre Jouvelot and
Sylvain Ribstein and
Dorian Desblancs},
editor = {Daniel Winograd{-}Cort and
Jean{-}Louis Giavitto},
title = {The w-calculus: a synchronous framework for the verified modelling
of digital signal processing algorithms},
booktitle = {{FARM} 2021: Proceedings of the 9th {ACM} {SIGPLAN} International
Workshop on Functional Art, Music, Modelling, and Design, Virtual
Event, Korea, 27 August 2021},
pages = {35--46},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471872.3472970},
doi = {10.1145/3471872.3472970},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/AriasJRD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JainPCAG20,
author = {Kush Jain and
Karl Palmskog and
Ahmet {\c{C}}elik and
Emilio Jes{\'{u}}s Gallego Arias and
Milos Gligoric},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {mCoq: mutation analysis for Coq verification projects},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020},
pages = {89--92},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377812.3382156},
doi = {10.1145/3377812.3382156},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/JainPCAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CelikPPAG19,
author = {Ahmet {\c{C}}elik and
Karl Palmskog and
Marinela Parovic and
Emilio Jes{\'{u}}s Gallego Arias and
Milos Gligoric},
title = {Mutation Analysis for Coq},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {539--551},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00057},
doi = {10.1109/ASE.2019.00057},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/CelikPPAG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/Arias19,
author = {Emilio Jes{\'{u}}s Gallego Arias},
title = {Towards Principled Compilation of Ethereum Smart Contracts (SoK)},
booktitle = {10th {IFIP} International Conference on New Technologies, Mobility
and Security, {NTMS} 2019, Canary Islands, Spain, June 24-26, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/NTMS.2019.8763856},
doi = {10.1109/NTMS.2019.8763856},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ntms/Arias19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BonifatiDA18,
author = {Angela Bonifati and
Stefania Dumbrava and
Emilio Jes{\'{u}}s Gallego Arias},
title = {Certified Graph View Maintenance with Regular Datalog},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {372--389},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000224},
doi = {10.1017/S1471068418000224},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BonifatiDA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10565,
author = {Angela Bonifati and
Stefania Dumbrava and
Emilio Jes{\'{u}}s Gallego Arias},
title = {Certified Graph View Maintenance with Regular Datalog},
journal = {CoRR},
volume = {abs/1804.10565},
year = {2018},
url = {http://arxiv.org/abs/1804.10565},
eprinttype = {arXiv},
eprint = {1804.10565},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AriasLM17,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o},
title = {Constraint logic programming with a relational machine},
journal = {Formal Aspects Comput.},
volume = {29},
number = {1},
pages = {97--124},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0369-z},
doi = {10.1007/S00165-016-0369-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AriasLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpc/GaboardiAHRW16,
author = {Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Zhiwei Steven Wu},
title = {Dual Query: Practical Private Query Release for High Dimensional Data},
journal = {J. Priv. Confidentiality},
volume = {7},
number = {2},
year = {2016},
url = {https://doi.org/10.29012/jpc.v7i2.650},
doi = {10.29012/JPC.V7I2.650},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpc/GaboardiAHRW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartheFGAGHS16,
author = {Gilles Barthe and
Gian Pietro Farina and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Andy Gordon and
Justin Hsu and
Pierre{-}Yves Strub},
editor = {Edgar R. Weippl and
Stefan Katzenbeisser and
Christopher Kruegel and
Andrew C. Myers and
Shai Halevi},
title = {Differentially Private Bayesian Programming},
booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Vienna, Austria, October 24-28, 2016},
pages = {68--79},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976749.2978371},
doi = {10.1145/2976749.2978371},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BartheFGAGHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wine/BartheGAHRS16,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Pierre{-}Yves Strub},
editor = {Yang Cai and
Adrian Vetta},
title = {Computer-Aided Verification for Mechanism Design},
booktitle = {Web and Internet Economics - 12th International Conference, {WINE}
2016, Montreal, Canada, December 11-14, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10123},
pages = {279--293},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-54110-4\_20},
doi = {10.1007/978-3-662-54110-4\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wine/BartheGAHRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AriasPJ17,
author = {Emilio Jes{\'{u}}s Gallego Arias and
Beno{\^{\i}}t Pin and
Pierre Jouvelot},
editor = {Serge Autexier and
Pedro Quaresma},
title = {jsCoq: Towards Hybrid Theorem Proving Interfaces},
booktitle = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
pages = {15--27},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.239.2},
doi = {10.4204/EPTCS.239.2},
timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/AriasPJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheFGAGHS16,
author = {Gilles Barthe and
Gian Pietro Farina and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Andy Gordon and
Justin Hsu and
Pierre{-}Yves Strub},
title = {Differentially Private Bayesian Programming},
journal = {CoRR},
volume = {abs/1605.00283},
year = {2016},
url = {http://arxiv.org/abs/1605.00283},
eprinttype = {arXiv},
eprint = {1605.00283},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BartheFGAGHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartheGAHRS15,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Pierre{-}Yves Strub},
editor = {Sriram K. Rajamani and
David Walker},
title = {Higher-Order Approximate Relational Refinement Types for Mechanism
Design and Differential Privacy},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {55--68},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677000},
doi = {10.1145/2676726.2677000},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/BartheGAHRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGAHRS15,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Pierre{-}Yves Strub},
title = {Computer-aided verification in mechanism design},
journal = {CoRR},
volume = {abs/1502.04052},
year = {2015},
url = {http://arxiv.org/abs/1502.04052},
eprinttype = {arXiv},
eprint = {1502.04052},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartheGAHRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimAGH15,
author = {Arthur Azevedo de Amorim and
Emilio Jes{\'{u}}s Gallego Arias and
Marco Gaboardi and
Justin Hsu},
title = {Really Natural Linear Indexed Type Checking},
journal = {CoRR},
volume = {abs/1503.04522},
year = {2015},
url = {http://arxiv.org/abs/1503.04522},
eprinttype = {arXiv},
eprint = {1503.04522},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmorimAGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheGAHKS14,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
C{\'{e}}sar Kunz and
Pierre{-}Yves Strub},
title = {Proving Differential Privacy in Hoare Logic},
booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
Austria, 19-22 July, 2014},
pages = {411--424},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSF.2014.36},
doi = {10.1109/CSF.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BartheGAHKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/GaboardiAHRW14,
author = {Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Zhiwei Steven Wu},
title = {Dual Query: Practical Private Query Release for High Dimensional Data},
booktitle = {Proceedings of the 31th International Conference on Machine Learning,
{ICML} 2014, Beijing, China, 21-26 June 2014},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {32},
pages = {1170--1178},
publisher = {JMLR.org},
year = {2014},
url = {http://proceedings.mlr.press/v32/gaboardi14.html},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/GaboardiAHRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AmorimGAH14,
author = {Arthur Azevedo de Amorim and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu},
editor = {Sam Tobin{-}Hochstadt},
title = {Really Natural Linear Indexed Type Checking},
booktitle = {Proceedings of the 26th 2014 International Symposium on Implementation
and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
October 1-3, 2014},
pages = {5:1--5:12},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2746325.2746335},
doi = {10.1145/2746325.2746335},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/AmorimGAH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AriasLM14,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o{-}Carballo},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Declarative Compilation for Constraint Logic Programming},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {299--316},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_17},
doi = {10.1007/978-3-319-17822-6\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AriasLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GaboardiAHRW14,
author = {Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Zhiwei Steven Wu},
title = {Dual Query: Practical Private Query Release for High Dimensional Data},
journal = {CoRR},
volume = {abs/1402.1526},
year = {2014},
url = {http://arxiv.org/abs/1402.1526},
eprinttype = {arXiv},
eprint = {1402.1526},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GaboardiAHRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGAHKS14,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
C{\'{e}}sar Kunz and
Pierre{-}Yves Strub},
title = {Proving differential privacy in Hoare logic},
journal = {CoRR},
volume = {abs/1407.2988},
year = {2014},
url = {http://arxiv.org/abs/1407.2988},
eprinttype = {arXiv},
eprint = {1407.2988},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartheGAHKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartheGAHRS14,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Pierre{-}Yves Strub},
title = {Higher-Order Approximate Relational Refinement Types for Mechanism
Design and Differential Privacy},
journal = {CoRR},
volume = {abs/1407.6845},
year = {2014},
url = {http://arxiv.org/abs/1407.6845},
eprinttype = {arXiv},
eprint = {1407.6845},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartheGAHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DAntoniGAHP13,
author = {Loris D'Antoni and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Andreas Haeberlen and
Benjamin C. Pierce},
editor = {Richard Lazarus and
Assaf J. Kfoury and
Jacob Beal},
title = {Sensitivity analysis using type-based constraints},
booktitle = {Proceedings of the 1st annual workshop on Functional programming concepts
in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts,
USA, September 22, 2013},
pages = {43--50},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505351.2505353},
doi = {10.1145/2505351.2505353},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/DAntoniGAHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-7702,
author = {Emilio Jes{\'{u}}s Gallego Arias and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {The Ciao clp(FD) Library. {A} Modular {CLP} Extension for Prolog},
journal = {CoRR},
volume = {abs/1301.7702},
year = {2013},
url = {http://arxiv.org/abs/1301.7702},
eprinttype = {arXiv},
eprint = {1301.7702},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-7702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Arias12,
author = {Emilio Jes{\'{u}}s Gallego Arias},
title = {Relational and Allegorical Semantics for Constraint Logic Programming},
school = {Technical University of Madrid, Spain},
year = {2012},
url = {https://oa.upm.es/12705/},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/es/Arias12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AriasL12,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Logic Programming in Tabular Allegories},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {334--347},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.334},
doi = {10.4230/LIPICS.ICLP.2012.334},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AriasL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AriasLMN11,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o and
Pablo Nogueira},
title = {First-order unification using variable-free relational algebra},
journal = {Log. J. {IGPL}},
volume = {19},
number = {6},
pages = {790--820},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzq011},
doi = {10.1093/JIGPAL/JZQ011},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AriasLMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/AriasLMN08,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o and
Pablo Nogueira},
editor = {Mircea Marin},
title = {First-order unification using variable-free relational algebra},
booktitle = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
2008, Castle of Hagenberg, Austria, July 18, 2008},
pages = {40--54},
year = {2008},
url = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=48},
timestamp = {Tue, 19 Sep 2023 14:44:31 +0200},
biburl = {https://dblp.org/rec/conf/unif/AriasLMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AriasMP07,
author = {Emilio Jes{\'{u}}s Gallego Arias and
Julio Mari{\~{n}}o{-}Carballo and
Jos{\'{e}} Mar{\'{\i}}a Rey Poza},
editor = {Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {A Proposal for Disequality Constraints in Curry},
booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic
Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {269--285},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.014},
doi = {10.1016/J.ENTCS.2007.01.014},
timestamp = {Tue, 24 Jan 2023 12:32:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AriasMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcflp/AriasM05,
author = {Emilio Jes{\'{u}}s Gallego Arias and
Julio Mari{\~{n}}o},
editor = {Sergio Antoy and
Michael Hanus},
title = {An overview of the Sloth2005 curry system: system description},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
pages = {66--69},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099.1085113},
doi = {10.1145/1085099.1085113},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/AriasM05.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.
last updated on 2023-10-01 22:32 CEST 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:
