Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: José Pedro Magalhães
@article{DBLP:journals/scp/AdamsFM15,
author = {Michael D. Adams and
Andrew Farmer and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
title = {Optimizing {SYB} traversals is easy!},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {170--193},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.09.003},
doi = {10.1016/J.SCICO.2015.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AdamsFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MagalhaesL15,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Andres L{\"{o}}h},
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {Hierarchy in Generic Programming Libraries},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {93--112},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_5},
doi = {10.1007/978-3-319-19797-5\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MagalhaesL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Magalhaes14,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Michael Codish and
Eijiro Sumii},
title = {Generic Programming with Multiple Parameters},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {136--151},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_9},
doi = {10.1007/978-3-319-07151-0\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Magalhaes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MagalhaesK14,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Hendrik Vincent Koops},
editor = {Alex McLean and
Michael Sperber and
Henrik Nilsson},
title = {Functional generation of harmony and melody},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} international workshop on Functional
art, music, modeling {\&} design, FARM@ICFP 2014, Gothenburg,
Sweden, September 1-3, 2014},
pages = {11--21},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633638.2633645},
doi = {10.1145/2633638.2633645},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MagalhaesK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lascas/Gomez-GarciaLMB14,
author = {Roberto G{\'{o}}mez{-}Garc{\'{\i}}a and
Raul Loeches{-}Sanchez and
Jos{\'{e}} Maria Mu{\~{n}}oz{-}Ferreras and
Jos{\'{e}} Pedro Borrego and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Nuno Borges Carvalho and
Jos{\'{e}} M. N. Vieira and
F{\'{e}}lix P{\'{e}}rez{-}Mart{\'{\i}}nez},
title = {Dual-band lowpass/bandpass periodic-type microstrip filter with Long-Term-Evolution
{(LTE)} service mitigation},
booktitle = {{IEEE} 5th Latin American Symposium on Circuits and Systems, {LASCAS}
2014, Santiago, Chile, February 25-28, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/LASCAS.2014.6820252},
doi = {10.1109/LASCAS.2014.6820252},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lascas/Gomez-GarciaLMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MagalhaesL14,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Andres L{\"{o}}h},
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {Generic Generic Programming},
booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8324},
pages = {216--231},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2\_15},
doi = {10.1007/978-3-319-04132-2\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/MagalhaesL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AdamsFM14,
author = {Michael D. Adams and
Andrew Farmer and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Optimizing {SYB} is easy!},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {71--82},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543730},
doi = {10.1145/2543728.2543730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AdamsFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014wgp,
editor = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Tiark Rompf},
title = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2014, Gothenburg, Sweden, August 31, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633628},
doi = {10.1145/2633628},
isbn = {978-1-4503-3042-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2014wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comj/HaasMWV13,
author = {W. Bas de Haas and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Frans Wiering and
Remco C. Veltkamp},
title = {Automatic Functional Harmonic Analysis},
journal = {Comput. Music. J.},
volume = {37},
number = {4},
pages = {37--53},
year = {2013},
url = {https://doi.org/10.1162/COMJ\_a\_00209},
doi = {10.1162/COMJ\_A\_00209},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comj/HaasMWV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HinzeMW13,
author = {Ralf Hinze and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Nicolas Wu},
editor = {Peter Achten and
Pieter W. M. Koopman},
title = {A Duality of Sorts},
booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
on the Occasion of His 61st Birthday},
series = {Lecture Notes in Computer Science},
volume = {8106},
pages = {151--167},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40355-2\_11},
doi = {10.1007/978-3-642-40355-2\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HinzeMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KoopsMH13,
author = {Hendrik Vincent Koops and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
W. Bas de Haas},
editor = {Paul Hudak and
Conal Elliott},
title = {A functional approach to automatic melody harmonisation},
booktitle = {Proceedings of the first {ACM} {SIGPLAN} workshop on Functional art,
music, modeling {\&} design, FARM@ICFP 2013, Boston, MA, USA,
September 25-27, 2013},
pages = {47--58},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505341.2505343},
doi = {10.1145/2505341.2505343},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KoopsMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BransenM13,
author = {Jeroen Bransen and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Generic representations of tree transformations},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {73--84},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502490},
doi = {10.1145/2502488.2502490},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BransenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/MagalhaesMVGC13,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Teofilo Monteiro and
Jos{\'{e}} M. N. Vieira and
Roberto G{\'{o}}mez{-}Garc{\'{\i}}a and
Nuno Borges Carvalho},
title = {Papoulis-Gerchberg Hybrid Filter Bank receiver for cognitive-/Software-Defined
Radio systems},
booktitle = {2013 {IEEE} International Symposium on Circuits and Systems (ISCAS2013),
Beijing, China, May 19-23, 2013},
pages = {69--72},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ISCAS.2013.6571784},
doi = {10.1109/ISCAS.2013.6571784},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/MagalhaesMVGC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rws/MalafaiaMVC13,
author = {Daniel Malafaia and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Jos{\'{e}} M. N. Vieira and
Nuno Borges Carvalho},
title = {Real time front-end for cognitive radio inspired by the human cochlea},
booktitle = {2013 {IEEE} Radio and Wireless Symposium, Austin, TX, USA, January
20-23, 2013},
pages = {16--18},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/RWS.2013.6486626},
doi = {10.1109/RWS.2013.6486626},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rws/MalafaiaMVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Magalhaes12,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {The right kind of generic programming},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {13--24},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364397},
doi = {10.1145/2364394.2364397},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Magalhaes12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJHWM12,
author = {Ralf Hinze and
Daniel W. H. James and
Thomas Harper and
Nicolas Wu and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Sorting with bialgebras and distributive laws},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {69--80},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364405},
doi = {10.1145/2364394.2364405},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HinzeJHWM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VytiniotisJM12,
author = {Dimitrios Vytiniotis and
Simon L. Peyton Jones and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Equality proofs and deferred type errors: a compiler pearl},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {341--352},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364554},
doi = {10.1145/2364527.2364554},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VytiniotisJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Magalhaes12,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Ralf Hinze},
title = {Optimisation of Generic Programs Through Inlining},
booktitle = {Implementation and Application of Functional Languages - 24th International
Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8241},
pages = {104--121},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41582-1\_7},
doi = {10.1007/978-3-642-41582-1\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Magalhaes12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/WuMBS12,
author = {Nicolas Wu and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Jeroen Bransen and
Wouter Swierstra},
editor = {Ralf Hinze},
title = {Pure and Lazy Lambda Mining - An Experience Report},
booktitle = {Implementation and Application of Functional Languages - 24th International
Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8241},
pages = {207--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41582-1\_13},
doi = {10.1007/978-3-642-41582-1\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/WuMBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/Gomez-GarciaVCM12,
author = {Roberto G{\'{o}}mez{-}Garc{\'{\i}}a and
Jos{\'{e}} M. N. Vieira and
Nuno Borges Carvalho and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
title = {Mixed-domain receiver architecture for white space software-defined
radio scenarios},
booktitle = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
2012, Seoul, Korea (South), May 20-23, 2012},
pages = {822--825},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISCAS.2012.6272167},
doi = {10.1109/ISCAS.2012.6272167},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/Gomez-GarciaVCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/HaasMW12,
author = {W. Bas de Haas and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Frans Wiering},
editor = {Fabien Gouyon and
Perfecto Herrera and
Luis Gustavo Martins and
Meinard M{\"{u}}ller},
title = {Improving Audio Chord Transcription by Exploiting Harmonic and Metric
Knowledge},
booktitle = {Proceedings of the 13th International Society for Music Information
Retrieval Conference, {ISMIR} 2012, Mosteiro S.Bento Da Vit{\'{o}}ria,
Porto, Portugal, October 8-12, 2012},
pages = {295--300},
publisher = {{FEUP} Edi{\c{c}}{\~{o}}es},
year = {2012},
url = {http://ismir2012.ismir.net/event/papers/295-ismir-2012.pdf},
timestamp = {Tue, 04 Jan 2022 10:38:10 +0100},
biburl = {https://dblp.org/rec/conf/ismir/HaasMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/YorgeyWCJVM12,
author = {Brent A. Yorgey and
Stephanie Weirich and
Julien Cretin and
Simon L. Peyton Jones and
Dimitrios Vytiniotis and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Benjamin C. Pierce},
title = {Giving Haskell a promotion},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {53--66},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103786.2103795},
doi = {10.1145/2103786.2103795},
timestamp = {Thu, 11 May 2023 14:56:29 +0200},
biburl = {https://dblp.org/rec/conf/tldi/YorgeyWCJVM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2920,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Andres L{\"{o}}h},
editor = {James Chapman and
Paul Blain Levy},
title = {A Formal Comparison of Approaches to Datatype-Generic Programming},
booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {76},
pages = {50--67},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.76.6},
doi = {10.4204/EPTCS.76.6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LohM11,
author = {Andres L{\"{o}}h and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Generic programming with indexed functors},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {1--12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036920},
doi = {10.1145/2036918.2036920},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LohM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MagalhaesJ11,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Johan Jeuring},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Generic programming for indexed datatypes},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {37--46},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036924},
doi = {10.1145/2036918.2036924},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MagalhaesJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MagalhaesH11,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
W. Bas de Haas},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Functional modelling of musical harmony: an experience report},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {156--162},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034797},
doi = {10.1145/2034773.2034797},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MagalhaesH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/HaasMVW11,
author = {W. Bas de Haas and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Remco C. Veltkamp and
Frans Wiering},
editor = {Anssi Klapuri and
Colby Leider},
title = {HarmTrace: Improving Harmonic Similarity Estimation Using Functional
Harmony Analysis},
booktitle = {Proceedings of the 12th International Society for Music Information
Retrieval Conference, {ISMIR} 2011, Miami, Florida, USA, October 24-28,
2011},
pages = {67--72},
publisher = {University of Miami},
year = {2011},
url = {http://ismir2011.ismir.net/papers/PS1-5.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismir/HaasMVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NoortYHJHM10,
author = {Thomas van Noort and
Alexey Rodriguez Yakushev and
Stefan Holdermans and
Johan Jeuring and
Bastiaan Heeren and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
title = {A lightweight approach to datatype-generic rewriting},
journal = {J. Funct. Program.},
volume = {20},
number = {3-4},
pages = {375--413},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000183},
doi = {10.1017/S0956796810000183},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NoortYHJHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MagalhaesDJL10,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Atze Dijkstra and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {Jeremy Gibbons},
title = {A generic deriving mechanism for Haskell},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2010, Baltimore, MD, USA, 30 September 2010},
pages = {37--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863523.1863529},
doi = {10.1145/1863523.1863529},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/haskell/MagalhaesDJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SteenbergenMJ10,
author = {Martijn Van Steenbergen and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Johan Jeuring},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Generic selections of subexpressions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {37--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863501},
doi = {10.1145/1863495.1863501},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SteenbergenMJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MagalhaesHJL10,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Stefan Holdermans and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Optimizing generics is easy!},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {33--42},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706366},
doi = {10.1145/1706356.1706366},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/MagalhaesHJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/JeuringMH09,
author = {Johan Jeuring and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Bastiaan Heeren},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Generic Programming for Domain Reasoners},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {113--128},
publisher = {Intellect},
year = {2009},
timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
biburl = {https://dblp.org/rec/conf/sfp/JeuringMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/JeuringLMY08,
author = {Johan Jeuring and
Sean Leather and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Alexey Rodriguez Yakushev},
editor = {Pieter W. M. Koopman and
Rinus Plasmeijer and
S. Doaitse Swierstra},
title = {Libraries for Generic Programming in Haskell},
booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008,
Heijen, The Netherlands, May 2008, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {5832},
pages = {165--229},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04652-0\_4},
doi = {10.1007/978-3-642-04652-0\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afp/JeuringLMY08.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-23 00:34 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:
