default search action
BibTeX records: Tom Schrijvers
@article{DBLP:journals/pacmpl/XieSH25,
author = {Ruifeng Xie and
Tom Schrijvers and
Zhenjiang Hu},
title = {Biparsers: Exact Printing for Data Synchronisation},
journal = {Proc. {ACM} Program. Lang.},
volume = {9},
number = {{POPL}},
pages = {2205--2231},
year = {2025},
url = {https://doi.org/10.1145/3704910},
doi = {10.1145/3704910},
timestamp = {Fri, 14 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/XieSH25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukicer/HoobergsS25,
author = {Jesse Hoobergs and
Tom Schrijvers},
title = {Source Code Without Implicitness: Explicit Source Prose For Programming
Education},
booktitle = {Proceedings of the 2025 Conference on {UK} and Ireland Computing Education
Research, {UKICER} 2025, Edinburgh, {UK} September 4-5, 2025},
pages = {7:1--7:7},
year = {2025},
crossref = {DBLP:conf/ukicer/2025},
url = {https://doi.org/10.1145/3754508.3754510},
doi = {10.1145/3754508.3754510},
timestamp = {Tue, 14 Oct 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ukicer/HoobergsS25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/11/XieSH25,
author = {Ruifeng Xie and
Tom Schrijvers and
Zhenjiang Hu},
title = {Artifact for {ICFP} '25: Effectful Lenses: There and Back with Different
Monads (Version ICFP-2025-AEC-submission)},
publisher = {Zenodo},
year = {2025},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.15656096}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.15656096},
doi = {10.5281/ZENODO.15656096},
timestamp = {Wed, 05 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/11/XieSH25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TangS24,
author = {Wenhao Tang and
Tom Schrijvers},
title = {From high to low: Simulating nondeterminism and state with state},
journal = {J. Funct. Program.},
volume = {34},
year = {2024},
url = {https://doi.org/10.1017/s0956796824000133},
doi = {10.1017/S0956796824000133},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/TangS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BosmanBTS24,
author = {Roger Bosman and
Birthe van den Berg and
Wenhao Tang and
Tom Schrijvers},
title = {A Calculus for Scoped Effects {\&} Handlers},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {4},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(4:17)2024},
doi = {10.46298/LMCS-20(4:17)2024},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BosmanBTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/LiellCockS24,
author = {Jack Liell{-}Cock and
Tom Schrijvers},
title = {Let a Thousand Flowers Bloom: An Algebraic Representation for Edge
Graphs},
journal = {Art Sci. Eng. Program.},
volume = {8},
number = {3},
year = {2024},
url = {https://doi.org/10.22152/programming-journal.org/2024/8/9},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2024/8/9},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/LiellCockS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergSMV24,
author = {Birthe van den Berg and
Tom Schrijvers and
James McKinna and
Alexander Vandenbroucke},
title = {Forward- or reverse-mode automatic differentiation: What's the difference?},
journal = {Sci. Comput. Program.},
volume = {231},
pages = {103010},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103010},
doi = {10.1016/J.SCICO.2023.103010},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BergSMV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergS24,
author = {Birthe van den Berg and
Tom Schrijvers},
title = {A framework for higher-order effects {\&} handlers},
journal = {Sci. Comput. Program.},
volume = {234},
pages = {103086},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2024.103086},
doi = {10.1016/J.SCICO.2024.103086},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BergS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VandenbrouckeS24,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
title = {Disjunctive Delimited Control},
journal = {Theory Pract. Log. Program.},
volume = {24},
number = {1},
pages = {110--131},
year = {2024},
url = {https://doi.org/10.1017/s1471068423000029},
doi = {10.1017/S1471068423000029},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/VandenbrouckeS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/VandenbrouckeS24,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
title = {Declarative Pearl: Rigged Contracts},
booktitle = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
pages = {99--114},
year = {2024},
crossref = {DBLP:conf/flops/2024},
url = {https://doi.org/10.1007/978-981-97-2300-3\_6},
doi = {10.1007/978-981-97-2300-3\_6},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/VandenbrouckeS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HartmannSG24,
author = {Johannes Hartmann and
Tom Schrijvers and
Jeremy Gibbons},
title = {Towards a More Efficient Selection Monad},
booktitle = {Trends in Functional Programming - 25th International Symposium, {TFP}
2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected
Papers},
pages = {55--74},
year = {2024},
crossref = {DBLP:conf/sfp/2024},
url = {https://doi.org/10.1007/978-3-031-74558-4\_3},
doi = {10.1007/978-3-031-74558-4\_3},
timestamp = {Sat, 31 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HartmannSG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splash/PraetHS24,
author = {Lucas Van Praet and
Jesse Hoobergs and
Tom Schrijvers},
title = {{ASSIST:} Automated Feedback Generation for Syntax and Logical Errors
in Programming Exercises},
booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Symposium on
SPLASH-E, {SPLASH-E} 2024, Pasadena, CA, USA, 24 October 2024},
pages = {66--76},
year = {2024},
crossref = {DBLP:conf/splash/2024e},
url = {https://doi.org/10.1145/3689493.3689981},
doi = {10.1145/3689493.3689981},
timestamp = {Sun, 02 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splash/PraetHS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/11/XieSH24,
author = {Ruifeng Xie and
Tom Schrijvers and
Zhenjiang Hu},
title = {Artifact for POPL'25: Biparsers: Exact Printing for Data Synchronisation
(Version 1)},
publisher = {Zenodo},
year = {2024},
month = oct,
howpublished = {\url{https://doi.org/10.5281/zenodo.13939727}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.13939727},
doi = {10.5281/ZENODO.13939727},
timestamp = {Tue, 05 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/11/XieSH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02273,
author = {Jack Liell{-}Cock and
Tom Schrijvers},
title = {Let a Thousand Flowers Bloom: An Algebraic Representation for Edge
Graphs},
journal = {CoRR},
volume = {abs/2403.02273},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02273},
doi = {10.48550/ARXIV.2403.02273},
eprinttype = {arXiv},
eprint = {2403.02273},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversBR23,
author = {Tom Schrijvers and
Birthe van den Berg and
Fabrizio Riguzzi},
title = {Automatic Differentiation in Prolog},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {900--917},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000145},
doi = {10.1017/S1471068423000145},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/funarch/GibbonsKSW23,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
title = {Phases in Software Architecture},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Functional
Software Architecture, {FUNARCH} 2023, Seattle, WA, USA, 8 September
2023},
pages = {29--33},
year = {2023},
crossref = {DBLP:conf/funarch/2023},
url = {https://doi.org/10.1145/3609025.3609479},
doi = {10.1145/3609025.3609479},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/funarch/GibbonsKSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/HoobergsBS23,
author = {Jesse Hoobergs and
Birthe van den Berg and
Tom Schrijvers},
title = {eTeacher: {A} Pilot in Flemish Secondary Education},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {593--594},
year = {2023},
crossref = {DBLP:conf/iticse/2023-2},
url = {https://doi.org/10.1145/3587103.3594152},
doi = {10.1145/3587103.3594152},
timestamp = {Sun, 02 Nov 2025 21:27:39 +0100},
biburl = {https://dblp.org/rec/conf/iticse/HoobergsBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BosmanKS23,
author = {Roger Bosman and
Georgios Karachalias and
Tom Schrijvers},
title = {No Unification Variable Left Behind: Fully Grounding Type Inference
for the {HDM} System},
booktitle = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
pages = {8:1--8:18},
year = {2023},
crossref = {DBLP:conf/itp/2023},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.8},
doi = {10.4230/LIPICS.ITP.2023.8},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BosmanKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BergSD23,
author = {Birthe van den Berg and
Tom Schrijvers and
Peter Dedecker},
title = {sf Fluo: {A} Domain-Specific Language for Experiments in Fluorescence
Microscopy (Application Paper)},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
pages = {73--82},
year = {2023},
crossref = {DBLP:conf/padl/2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_5},
doi = {10.1007/978-3-031-24841-2\_5},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/BergSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-01415,
author = {Birthe van den Berg and
Tom Schrijvers},
title = {A Framework for Higher-Order Effects {\&} Handlers},
journal = {CoRR},
volume = {abs/2302.01415},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01415},
doi = {10.48550/ARXIV.2302.01415},
eprinttype = {arXiv},
eprint = {2302.01415},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09697,
author = {Roger Bosman and
Birthe van den Berg and
Wenhao Tang and
Tom Schrijvers},
title = {A Calculus for Scoped Effects {\&} Handlers},
journal = {CoRR},
volume = {abs/2304.09697},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.09697},
doi = {10.48550/ARXIV.2304.09697},
eprinttype = {arXiv},
eprint = {2304.09697},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-09697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07878,
author = {Tom Schrijvers and
Birthe van den Berg and
Fabrizio Riguzzi},
title = {Automatic Differentiation in Prolog},
journal = {CoRR},
volume = {abs/2305.07878},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07878},
doi = {10.48550/ARXIV.2305.07878},
eprinttype = {arXiv},
eprint = {2305.07878},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02054,
author = {Wenhao Tang and
Tom Schrijvers},
title = {From High to Low: Simulating Nondeterminism and State with State},
journal = {CoRR},
volume = {abs/2312.02054},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02054},
doi = {10.48550/ARXIV.2312.02054},
eprinttype = {arXiv},
eprint = {2312.02054},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ThomsonRWS22,
author = {Patrick Thomson and
Rob Rix and
Nicolas Wu and
Tom Schrijvers},
title = {Fusing industry and academia at GitHub (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {496--511},
year = {2022},
url = {https://doi.org/10.1145/3547639},
doi = {10.1145/3547639},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ThomsonRWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/YangPWBS22,
author = {Zhixuan Yang and
Marco Paviotti and
Nicolas Wu and
Birthe van den Berg and
Tom Schrijvers},
title = {Structured Handling of Scoped Effects},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
pages = {462--491},
year = {2022},
crossref = {DBLP:conf/esop/2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_17},
doi = {10.1007/978-3-030-99336-8\_17},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/YangPWBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BergS22,
author = {Birthe van den Berg and
Tom Schrijvers},
title = {A Functional Account of Probabilistic Programming with Possible Worlds
- Declarative Pearl},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
pages = {186--204},
year = {2022},
crossref = {DBLP:conf/flops/2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_11},
doi = {10.1007/978-3-030-99461-7\_11},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BergS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WillisWS22,
author = {Jamie Willis and
Nicolas Wu and
Tom Schrijvers},
title = {Oregano: staging regular expressions with Moore Cayley fusion},
booktitle = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
Ljubljana, Slovenia, September 15 - 16, 2022},
pages = {66--80},
year = {2022},
crossref = {DBLP:conf/haskell/2022},
url = {https://doi.org/10.1145/3546189.3549916},
doi = {10.1145/3546189.3549916},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/WillisWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GibbonsKSW22,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
title = {Breadth-First Traversal via Staging},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
pages = {1--33},
year = {2022},
crossref = {DBLP:conf/mpc/2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_1},
doi = {10.1007/978-3-031-16912-0\_1},
timestamp = {Sun, 02 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/GibbonsKSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10287,
author = {Zhixuan Yang and
Marco Paviotti and
Nicolas Wu and
Birthe van den Berg and
Tom Schrijvers},
title = {Structured Handling of Scoped Effects: Extended Version},
journal = {CoRR},
volume = {abs/2201.10287},
year = {2022},
url = {https://arxiv.org/abs/2201.10287},
eprinttype = {arXiv},
eprint = {2201.10287},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-09206,
author = {Patrick Thomson and
Rob Rix and
Nicolas Wu and
Tom Schrijvers},
title = {Fusing Industry and Academia at GitHub (Experience Report)},
journal = {CoRR},
volume = {abs/2206.09206},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.09206},
doi = {10.48550/ARXIV.2206.09206},
eprinttype = {arXiv},
eprint = {2206.09206},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-09206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-11088,
author = {Birthe van den Berg and
Tom Schrijvers and
James McKinna and
Alexander Vandenbroucke},
title = {Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?},
journal = {CoRR},
volume = {abs/2212.11088},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.11088},
doi = {10.48550/ARXIV.2212.11088},
eprinttype = {arXiv},
eprint = {2212.11088},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/BellodiS21,
author = {Elena Bellodi and
Tom Schrijvers},
title = {Special Issue on Probabilistic Logic Programming {(PLP} 2018)},
journal = {Int. J. Approx. Reason.},
volume = {132},
pages = {86--87},
year = {2021},
url = {https://doi.org/10.1016/j.ijar.2020.12.014},
doi = {10.1016/J.IJAR.2020.12.014},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/BellodiS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KarachaliasKPS21,
author = {Georgios Karachalias and
Filip Koprivec and
Matija Pretnar and
Tom Schrijvers},
title = {Efficient compilation of algebraic effect handlers},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3485479},
doi = {10.1145/3485479},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KarachaliasKPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BergSPW21,
author = {Birthe van den Berg and
Tom Schrijvers and
Casper Bach Poulsen and
Nicolas Wu},
title = {Latent Effects for Reusable Language Components},
booktitle = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
pages = {182--201},
year = {2021},
crossref = {DBLP:conf/aplas/2021},
url = {https://doi.org/10.1007/978-3-030-89051-3\_11},
doi = {10.1007/978-3-030-89051-3\_11},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/BergSPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SantosSSN21,
author = {C{\'{e}}sar Augusto Ribeiro dos Santos and
Tom Schrijvers and
Amr Hany Saleh and
Mike Nicolai},
title = {Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures
from Formal Contracts},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
pages = {776--787},
year = {2021},
crossref = {DBLP:conf/fm/2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_45},
doi = {10.1007/978-3-030-90870-6\_45},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SantosSSN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VandenbrouckeS21,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
title = {Disjunctive Delimited Control},
booktitle = {Logic-Based Program Synthesis and Transformation - 31st International
Symposium, {LOPSTR} 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings},
pages = {75--91},
year = {2021},
crossref = {DBLP:conf/lopstr/2021},
url = {https://doi.org/10.1007/978-3-030-98869-2\_5},
doi = {10.1007/978-3-030-98869-2\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VandenbrouckeS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
author = {Richard S. Bird and
Jeremy Gibbons and
Ralf Hinze and
Peter H{\"{o}}fner and
Johan Jeuring and
Lambert G. L. T. Meertens and
Bernhard M{\"{o}}ller and
Carroll Morgan and
Tom Schrijvers and
Wouter Swierstra and
Nicolas Wu},
title = {Algorithmics},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
pages = {59--98},
year = {2021},
crossref = {DBLP:series/ifip/600},
url = {https://doi.org/10.1007/978-3-030-81701-5\_3},
doi = {10.1007/978-3-030-81701-5\_3},
timestamp = {Wed, 21 Dec 2022 15:22:06 +0100},
biburl = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-02972,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
title = {Disjunctive Delimited Control},
journal = {CoRR},
volume = {abs/2108.02972},
year = {2021},
url = {https://arxiv.org/abs/2108.02972},
eprinttype = {arXiv},
eprint = {2108.02972},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-11155,
author = {Birthe van den Berg and
Tom Schrijvers and
Casper Bach Poulsen and
Nicolas Wu},
title = {Latent Effects for Reusable Language Components: Extended Version},
journal = {CoRR},
volume = {abs/2108.11155},
year = {2021},
url = {https://arxiv.org/abs/2108.11155},
eprinttype = {arXiv},
eprint = {2108.11155},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-11155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KarachaliasPSVS20,
author = {Georgios Karachalias and
Matija Pretnar and
Amr Hany Saleh and
Stien Vanderhallen and
Tom Schrijvers},
title = {Explicit effect subtyping},
journal = {J. Funct. Program.},
volume = {30},
pages = {e15},
year = {2020},
url = {https://doi.org/10.1017/S0956796820000131},
doi = {10.1017/S0956796820000131},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KarachaliasPSVS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PietersS20,
author = {Ruben P. Pieters and
Tom Schrijvers},
title = {Faster coroutine pipelines: {A} reconstruction},
journal = {J. Funct. Program.},
volume = {30},
pages = {e22},
year = {2020},
url = {https://doi.org/10.1017/S0956796820000192},
doi = {10.1017/S0956796820000192},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/PietersS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/PietersRS20,
author = {Ruben P. Pieters and
Exequiel Rivas and
Tom Schrijvers},
title = {Generalized monoidal effects and handlers},
journal = {J. Funct. Program.},
volume = {30},
pages = {e23},
year = {2020},
url = {https://doi.org/10.1017/S0956796820000106},
doi = {10.1017/S0956796820000106},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/PietersRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MarntirosianSOK20,
author = {Koar Marntirosian and
Tom Schrijvers and
Bruno C. d. S. Oliveira and
Georgios Karachalias},
title = {Resolution as intersection subtyping via Modus Ponens},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {206:1--206:30},
year = {2020},
url = {https://doi.org/10.1145/3428274},
doi = {10.1145/3428274},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MarntirosianSOK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VandenbrouckeS20,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
title = {P{\(\lambda\)}{\(\omega\)}NK: functional probabilistic NetKAT},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {39:1--39:27},
year = {2020},
url = {https://doi.org/10.1145/3371107},
doi = {10.1145/3371107},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VandenbrouckeS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/XieBOS20,
author = {Ningning Xie and
Xuan Bi and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {Consistent Subtyping for All},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {1},
pages = {2:1--2:79},
year = {2020},
url = {https://doi.org/10.1145/3310339},
doi = {10.1145/3310339},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/XieBOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/XieOBS19,
author = {Ningning Xie and
Bruno C. d. S. Oliveira and
Xuan Bi and
Tom Schrijvers},
title = {Row and Bounded Polymorphism via Disjoint Polymorphism},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
pages = {27:1--27:30},
year = {2020},
crossref = {DBLP:conf/ecoop/2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.27},
doi = {10.4230/LIPICS.ECOOP.2020.27},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/XieOBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/PietersS20,
author = {Ruben P. Pieters and
Tom Schrijvers},
title = {PaSe: An Extensible and Inspectable {DSL} for Micro-Animations},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
pages = {3--24},
year = {2020},
crossref = {DBLP:conf/sfp/2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_1},
doi = {10.1007/978-3-030-57761-2\_1},
timestamp = {Wed, 02 Mar 2022 21:39:36 +0100},
biburl = {https://dblp.org/rec/conf/sfp/PietersS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SeynaevePS20,
author = {Willem Seynaeve and
Koen Pauwels and
Tom Schrijvers},
title = {State Will do},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
pages = {204--225},
year = {2020},
crossref = {DBLP:conf/sfp/2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_10},
doi = {10.1007/978-3-030-57761-2\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SeynaevePS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/20/GibbonsMMS20,
author = {Jeremy Gibbons and
Annabelle McIver and
Carroll Morgan and
Tom Schrijvers},
title = {Quantitative Information Flow with Monads in Haskell},
booktitle = {Foundations of Probabilistic Programming},
pages = {391--448},
year = {2020},
crossref = {DBLP:books/cu/20/BKS2020},
url = {https://doi.org/10.1017/9781108770750.013},
doi = {10.1017/9781108770750.013},
timestamp = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/20/GibbonsMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2020,
editor = {Tom Schrijvers},
title = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406088},
doi = {10.1145/3406088},
isbn = {978-1-4503-8050-8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-02171,
author = {Ruben P. Pieters and
Tom Schrijvers},
title = {PaSe: An Extensible and Inspectable {DSL} for Micro-Animations},
journal = {CoRR},
volume = {abs/2002.02171},
year = {2020},
url = {https://arxiv.org/abs/2002.02171},
eprinttype = {arXiv},
eprint = {2002.02171},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-02171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13814,
author = {Georgios Karachalias and
Matija Pretnar and
Amr Hany Saleh and
Stien Vanderhallen and
Tom Schrijvers},
title = {Explicit Effect Subtyping},
journal = {CoRR},
volume = {abs/2005.13814},
year = {2020},
url = {https://arxiv.org/abs/2005.13814},
eprinttype = {arXiv},
eprint = {2005.13814},
timestamp = {Wed, 03 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-04909,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
title = {Disjunctive Delimited Control},
journal = {CoRR},
volume = {abs/2009.04909},
year = {2020},
url = {https://arxiv.org/abs/2009.04909},
eprinttype = {arXiv},
eprint = {2009.04909},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-04909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06216,
author = {Koar Marntirosian and
Tom Schrijvers and
Bruno C. d. S. Oliveira and
Georgios Karachalias},
title = {Resolution as Intersection Subtyping via Modus Ponens},
journal = {CoRR},
volume = {abs/2010.06216},
year = {2020},
url = {https://arxiv.org/abs/2010.06216},
eprinttype = {arXiv},
eprint = {2010.06216},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06216.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SchrijversOWM19,
author = {Tom Schrijvers and
Bruno C. d. S. Oliveira and
Philip Wadler and
Koar Marntirosian},
title = {{COCHIS:} Stable and coherent implicits},
journal = {J. Funct. Program.},
volume = {29},
pages = {e3},
year = {2019},
url = {https://doi.org/10.1017/S0956796818000242},
doi = {10.1017/S0956796818000242},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SchrijversOWM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BottuXMS19,
author = {Gert{-}Jan Bottu and
Ningning Xie and
Koar Marntirosian and
Tom Schrijvers},
title = {Coherence of type class resolution},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {91:1--91:28},
year = {2019},
url = {https://doi.org/10.1145/3341695},
doi = {10.1145/3341695},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BottuXMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhaoOS19,
author = {Jinxu Zhao and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {A mechanical formalization of higher-ranked polymorphic type inference},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {112:1--112:29},
year = {2019},
url = {https://doi.org/10.1145/3341716},
doi = {10.1145/3341716},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhaoOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/ArndtSRV19,
author = {D{\"{o}}rthe Arndt and
Tom Schrijvers and
Jos De Roo and
Ruben Verborgh},
title = {Implicit quantification made explicit: How to interpret blank nodes
and universal variables in Notation3 Logic},
journal = {J. Web Semant.},
volume = {58},
year = {2019},
url = {https://doi.org/10.1016/j.websem.2019.04.001},
doi = {10.1016/J.WEBSEM.2019.04.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/ArndtSRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BiXOS19,
author = {Xuan Bi and
Ningning Xie and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {Distributive Disjoint Polymorphism for Compositional Programming},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
pages = {381--409},
year = {2019},
crossref = {DBLP:conf/esop/2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_14},
doi = {10.1007/978-3-030-17184-1\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/BiXOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PauwelsKDS19,
author = {Koen Pauwels and
Georgios Karachalias and
Michiel Derhaeg and
Tom Schrijvers},
title = {Bidirectional type class instances},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
pages = {30--43},
year = {2019},
crossref = {DBLP:conf/haskell/2019},
url = {https://doi.org/10.1145/3331545.3342596},
doi = {10.1145/3331545.3342596},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/PauwelsKDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SchrijversPWJ19,
author = {Tom Schrijvers and
Maciej Pir{\'{o}}g and
Nicolas Wu and
Mauro Jaskelioff},
title = {Monad transformers and modular algebraic effects: what binds them
together},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
pages = {98--113},
year = {2019},
crossref = {DBLP:conf/haskell/2019},
url = {https://doi.org/10.1145/3331545.3342595},
doi = {10.1145/3331545.3342595},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/SchrijversPWJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SantosSSN19,
author = {C{\'{e}}sar Augusto Ribeiro dos Santos and
Amr Hany Saleh and
Tom Schrijvers and
Mike Nicolai},
title = {CONDEnSe: Contract Based Design Synthesis},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
pages = {250--260},
year = {2019},
crossref = {DBLP:conf/models/2019},
url = {https://doi.org/10.1109/MODELS.2019.00009},
doi = {10.1109/MODELS.2019.00009},
timestamp = {Tue, 24 Nov 2020 14:44:06 +0100},
biburl = {https://dblp.org/rec/conf/models/SantosSSN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PauwelsSM19,
author = {Koen Pauwels and
Tom Schrijvers and
Shin{-}Cheng Mu},
title = {Handling Local State with Global State},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
pages = {18--44},
year = {2019},
crossref = {DBLP:conf/mpc/2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_2},
doi = {10.1007/978-3-030-33636-3\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/PauwelsSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/PietersS19,
author = {Ruben P. Pieters and
Tom Schrijvers},
title = {Faster Coroutine Pipelines: {A} Reconstruction},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
pages = {133--149},
year = {2019},
crossref = {DBLP:conf/padl/2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_9},
doi = {10.1007/978-3-030-05998-9\_9},
timestamp = {Wed, 29 Oct 2025 17:44:08 +0100},
biburl = {https://dblp.org/rec/conf/padl/PietersS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-11354,
author = {Paul Tarau and
Jan Wielemaker and
Tom Schrijvers},
title = {Lazy Stream Programming in Prolog},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
pages = {224--237},
year = {2019},
crossref = {DBLP:journals/corr/abs-1909-07646},
url = {https://doi.org/10.4204/EPTCS.306.26},
doi = {10.4204/EPTCS.306.26},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-12242,
author = {Koen Pauwels and
Georgios Karachalias and
Michiel Derhaeg and
Tom Schrijvers},
title = {Bidirectional Type Class Instances (Extended Version)},
journal = {CoRR},
volume = {abs/1906.12242},
year = {2019},
url = {http://arxiv.org/abs/1906.12242},
eprinttype = {arXiv},
eprint = {1906.12242},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-12242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00844,
author = {Gert{-}Jan Bottu and
Ningning Xie and
Koar Marntirosian and
Tom Schrijvers},
title = {Coherence of Type Class Resolution},
journal = {CoRR},
volume = {abs/1907.00844},
year = {2019},
url = {http://arxiv.org/abs/1907.00844},
eprinttype = {arXiv},
eprint = {1907.00844},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BiOS18,
author = {Xuan Bi and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {The Essence of Nested Composition (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {05:1--05:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.5},
doi = {10.4230/DARTS.4.3.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BiOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RivasJS18,
author = {Exequiel Rivas and
Mauro Jaskelioff and
Tom Schrijvers},
title = {A unified view of monadic and applicative non-determinism},
journal = {Sci. Comput. Program.},
volume = {152},
pages = {70--98},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.09.007},
doi = {10.1016/J.SCICO.2017.09.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RivasJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BiOS18,
author = {Xuan Bi and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {The Essence of Nested Composition},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
pages = {22:1--22:33},
year = {2018},
crossref = {DBLP:conf/ecoop/2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.22},
doi = {10.4230/LIPICS.ECOOP.2018.22},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BiOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SalehKPS18,
author = {Amr Hany Saleh and
Georgios Karachalias and
Matija Pretnar and
Tom Schrijvers},
title = {Explicit Effect Subtyping},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
pages = {327--354},
year = {2018},
crossref = {DBLP:conf/esop/2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_12},
doi = {10.1007/978-3-319-89884-1\_12},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/SalehKPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ZhaoOS18,
author = {Jinxu Zhao and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {Formalization of a Polymorphic Subtyping Algorithm},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
pages = {604--622},
year = {2018},
crossref = {DBLP:conf/itp/2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_36},
doi = {10.1007/978-3-319-94821-8\_36},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/ZhaoOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PirogSWJ18,
author = {Maciej Pir{\'{o}}g and
Tom Schrijvers and
Nicolas Wu and
Mauro Jaskelioff},
title = {Syntax and Semantics for Operations with Scopes},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {809--818},
year = {2018},
crossref = {DBLP:conf/lics/2018},
url = {https://doi.org/10.1145/3209108.3209166},
doi = {10.1145/3209108.3209166},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PirogSWJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2018plp,
editor = {Elena Bellodi and
Tom Schrijvers},
title = {Proceedings of the 5th International Workshop on Probabilistic Logic
Programming, {PLP} 2018, co-located with the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
1, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2219},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2219},
urn = {urn:nbn:de:0074-2219-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/2018plp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ChandrasekaranL18,
author = {Sivaramakrishnan Krishnamoorthy Chandrasekaran and
Daan Leijen and
Matija Pretnar and
Tom Schrijvers},
title = {Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)},
journal = {Dagstuhl Reports},
volume = {8},
number = {4},
pages = {104--125},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.4.104},
doi = {10.4230/DAGREP.8.4.104},
timestamp = {Wed, 10 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ChandrasekaranL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/KarachaliasS17,
author = {Georgios Karachalias and
Tom Schrijvers},
title = {Elaboration on functional dependencies: functional dependencies are
dead, long live functional dependencies!},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {133--147},
year = {2017},
crossref = {DBLP:conf/haskell/2017},
url = {https://doi.org/10.1145/3122955.3122966},
doi = {10.1145/3122955.3122966},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/KarachaliasS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BottuKSOW17,
author = {Gert{-}Jan Bottu and
Georgios Karachalias and
Tom Schrijvers and
Bruno C. d. S. Oliveira and
Philip Wadler},
title = {Quantified class constraints},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {148--161},
year = {2017},
crossref = {DBLP:conf/haskell/2017},
url = {https://doi.org/10.1145/3122955.3122967},
doi = {10.1145/3122955.3122967},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/BottuKSOW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/PietersSR17,
author = {Ruben P. Pieters and
Tom Schrijvers and
Exequiel Rivas},
title = {Handlers for Non-Monadic Computations},
booktitle = {Proceedings of the 29th Symposium on Implementation and Application
of Functional Programming Languages, {IFL} 2017, Bristol, UK, August
30 - September 01, 2017},
pages = {4:1--4:11},
year = {2017},
crossref = {DBLP:conf/ifl/2017},
url = {https://doi.org/10.1145/3205368.3205372},
doi = {10.1145/3205368.3205372},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/PietersSR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/VandenbrouckeS17,
author = {Alexander Vandenbroucke and
Tom Schrijvers},
title = {From {PRISM} to ProbLog and Back Again},
booktitle = {Proceedings of the Workshop on Probabilistic Logic Programming 2017
co-located with 27th International Conference on Inductive Logic Programming
{(ILP} 2017), Orl{\'{e}}ans, France, September 7, 2017},
pages = {26--40},
year = {2017},
crossref = {DBLP:conf/ilp/2017plp},
url = {https://ceur-ws.org/Vol-1916/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/VandenbrouckeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SalehS16,
author = {Amr Hany Saleh and
Tom Schrijvers},
title = {Efficient algebraic effect handlers for Prolog},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {884--898},
year = {2016},
url = {https://doi.org/10.1017/S147106841600034X},
doi = {10.1017/S147106841600034X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SalehS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/VandenbrouckePD16,
author = {Alexander Vandenbroucke and
Maciej Pir{\'{o}}g and
Benoit Desouter and
Tom Schrijvers},
title = {Tabling with Sound Answer Subsumption},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {933--949},
year = {2016},
url = {https://doi.org/10.1017/S147106841600048X},
doi = {10.1017/S147106841600048X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/VandenbrouckePD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KeuchelWS16,
author = {Steven Keuchel and
Stephanie Weirich and
Tom Schrijvers},
title = {Needle {\&} Knot: Binder Boilerplate Tied Up},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
pages = {419--445},
year = {2016},
crossref = {DBLP:conf/esop/2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_17},
doi = {10.1007/978-3-662-49498-1\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KeuchelWS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/0001KSP16,
author = {Peng Fu and
Ekaterina Komendantskaya and
Tom Schrijvers and
Andrew Pond},
title = {Proof Relevant Corecursive Resolution},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
pages = {126--143},
year = {2016},
crossref = {DBLP:conf/flops/2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_9},
doi = {10.1007/978-3-319-29604-3\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/0001KSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DesouterDSV16,
author = {Benoit Desouter and
Marko van Dooren and
Tom Schrijvers and
Alexander Vandenbroucke},
title = {Tabling as a Library with Delimited Control},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4145--4149},
year = {2016},
crossref = {DBLP:conf/ijcai/2016},
url = {http://www.ijcai.org/Abstract/16/619},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DesouterDSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RobbinsKS16,
author = {Edward Robbins and
Andy King and
Tom Schrijvers},
title = {From MinX to MinC: semantics-driven decompilation of recursive datatypes},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {191--203},
year = {2016},
crossref = {DBLP:conf/popl/2016},
url = {https://doi.org/10.1145/2837614.2837633},
doi = {10.1145/2837614.2837633},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RobbinsKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2016,
editor = {Tom Schrijvers},
title = {Proceedings of the 28th Symposium on the Implementation and Application
of Functional Programming Languages, {IFL} 2016, Leuven, Belgium,
August 31 - September 2, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3064899},
doi = {10.1145/3064899},
isbn = {978-1-4503-4767-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VandenbrouckePD16,
author = {Alexander Vandenbroucke and
Maciej Pir{\'{o}}g and
Benoit Desouter and
Tom Schrijvers},
title = {Tabling with Sound Answer Subsumption},
journal = {CoRR},
volume = {abs/1608.00787},
year = {2016},
url = {http://arxiv.org/abs/1608.00787},
eprinttype = {arXiv},
eprint = {1608.00787},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VandenbrouckePD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SalehS16,
author = {Amr Hany Saleh and
Tom Schrijvers},
title = {Efficient Algebraic Effect Handlers for Prolog},
journal = {CoRR},
volume = {abs/1608.00816},
year = {2016},
url = {http://arxiv.org/abs/1608.00816},
eprinttype = {arXiv},
eprint = {1608.00816},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SalehS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Schrijvers15,
author = {Tom Schrijvers},
title = {Preface for {SCP} special issue on Principles and Practice of Declarative
Programming},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.07.001},
doi = {10.1016/J.SCICO.2015.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Schrijvers15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DesouterDS15,
author = {Benoit Desouter and
Marko van Dooren and
Tom Schrijvers},
title = {Tabling as a library with delimited control},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {419--433},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000137},
doi = {10.1017/S1471068415000137},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DesouterDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KarachaliasSVJ15,
author = {Georgios Karachalias and
Tom Schrijvers and
Dimitrios Vytiniotis and
Simon L. Peyton Jones},
title = {GADTs meet their match: pattern-matching warnings that account for
GADTs, guards, and laziness},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {424--436},
year = {2015},
crossref = {DBLP:conf/icfp/2015},
url = {https://doi.org/10.1145/2784731.2784748},
doi = {10.1145/2784731.2784748},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KarachaliasSVJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/VandenbrouckeSP15,
author = {Alexander Vandenbroucke and
Tom Schrijvers and
Frank Piessens},
title = {Fixing non-determinism},
booktitle = {Proceedings of the 27th Symposium on the Implementation and Application
of Functional Programming Languages, {IFL} '15, Koblenz, Germany,
September 14-16, 2015},
pages = {5:1--5:12},
year = {2015},
crossref = {DBLP:conf/ifl/2015},
url = {https://doi.org/10.1145/2897336.2897342},
doi = {10.1145/2897336.2897342},
timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
biburl = {https://dblp.org/rec/conf/ifl/VandenbrouckeSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WuS15,
author = {Nicolas Wu and
Tom Schrijvers},
title = {Fusion for Free - Efficient Algebraic Effect Handlers},
booktitle = {Mathematics of Program Construction - 12th International Conference,
{MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
Proceedings},
pages = {302--322},
year = {2015},
crossref = {DBLP:conf/mpc/2015},
url = {https://doi.org/10.1007/978-3-319-19797-5\_15},
doi = {10.1007/978-3-319-19797-5\_15},
timestamp = {Sun, 06 Oct 2024 21:12:06 +0200},
biburl = {https://dblp.org/rec/conf/mpc/WuS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/RivasJS15,
author = {Exequiel Rivas and
Mauro Jaskelioff and
Tom Schrijvers},
title = {From monoids to near-semirings: the essence of MonadPlus and alternative},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {196--207},
year = {2015},
crossref = {DBLP:conf/ppdp/2015},
url = {https://doi.org/10.1145/2790449.2790514},
doi = {10.1145/2790449.2790514},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/RivasJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/Schrijvers15,
author = {Tom Schrijvers},
title = {The Future of Programming is Functional},
booktitle = {Proceedings of the Sixth International Symposium on Information and
Communication Technology, Hue City, Vietnam, December 3-4, 2015},
pages = {1},
year = {2015},
crossref = {DBLP:conf/soict/2015},
url = {https://doi.org/10.1145/2833258.2833261},
doi = {10.1145/2833258.2833261},
timestamp = {Mon, 16 Jan 2023 17:00:33 +0100},
biburl = {https://dblp.org/rec/conf/soict/Schrijvers15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TorriniS15,
author = {Paolo Torrini and
Tom Schrijvers},
title = {Reasoning about modular datatypes with Mendler induction},
booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer
Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015},
pages = {143--157},
year = {2015},
crossref = {DBLP:journals/corr/MatthesM15},
url = {https://doi.org/10.4204/EPTCS.191.13},
doi = {10.4204/EPTCS.191.13},
timestamp = {Sun, 02 Oct 2022 15:31:45 +0200},
biburl = {https://dblp.org/rec/journals/corr/TorriniS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DesouterSD15,
author = {Benoit Desouter and
Tom Schrijvers and
Marko van Dooren},
title = {Tabling as a Library with Delimited Control},
journal = {CoRR},
volume = {abs/1507.08087},
year = {2015},
url = {http://arxiv.org/abs/1507.08087},
eprinttype = {arXiv},
eprint = {1507.08087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DesouterSD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001KSP15,
author = {Peng Fu and
Ekaterina Komendantskaya and
Tom Schrijvers and
Andrew Pond},
title = {Proof Relevant Corecursive Resolution},
journal = {CoRR},
volume = {abs/1511.09394},
year = {2015},
url = {http://arxiv.org/abs/1511.09394},
eprinttype = {arXiv},
eprint = {1511.09394},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001KSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchrijversDTD14,
author = {Tom Schrijvers and
Bart Demoen and
Markus Triska and
Benoit Desouter},
title = {Tor: Modular search with hookable disjunction},
journal = {Sci. Comput. Program.},
volume = {84},
pages = {101--120},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.05.008},
doi = {10.1016/J.SCICO.2013.05.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchrijversDTD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeuschelS14,
author = {Michael Leuschel and
Tom Schrijvers},
title = {Introduction to the 30th International Conference on Logic Programming
Special Issue},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {401--414},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000581},
doi = {10.1017/S1471068414000581},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LeuschelS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/FigueroaSTT14,
author = {Ismael Figueroa and
Tom Schrijvers and
Nicolas Tabareau and
{\'{E}}ric Tanter},
title = {Compositional reasoning about aspect interference},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {133--144},
year = {2014},
crossref = {DBLP:conf/aosd/2014},
url = {https://doi.org/10.1145/2577080.2577093},
doi = {10.1145/2577080.2577093},
timestamp = {Tue, 21 Mar 2023 21:01:43 +0100},
biburl = {https://dblp.org/rec/conf/aosd/FigueroaSTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WuSH14,
author = {Nicolas Wu and
Tom Schrijvers and
Ralf Hinze},
title = {Effect handlers in scope},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
pages = {1--12},
year = {2014},
crossref = {DBLP:conf/haskell/2014},
url = {https://doi.org/10.1145/2633357.2633358},
doi = {10.1145/2633357.2633358},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/WuSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/WinantDPS14,
author = {Thomas Winant and
Dominique Devriese and
Frank Piessens and
Tom Schrijvers},
title = {Partial Type Signatures for Haskell},
booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
pages = {17--32},
year = {2014},
crossref = {DBLP:conf/padl/2014},
url = {https://doi.org/10.1007/978-3-319-04132-2\_2},
doi = {10.1007/978-3-319-04132-2\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/WinantDPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchrijversWDD14,
author = {Tom Schrijvers and
Nicolas Wu and
Benoit Desouter and
Bart Demoen},
title = {Heuristics Entwined with Handlers Combined: From Functional Specification
to Logic Programming Implementation},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {259--270},
year = {2014},
crossref = {DBLP:conf/ppdp/2014},
url = {https://doi.org/10.1145/2643135.2643145},
doi = {10.1145/2643135.2643145},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SchrijversWDD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SchrijversTWSS13,
author = {Tom Schrijvers and
Guido Tack and
Pieter Wuille and
Horst Samulowitz and
Peter J. Stuckey},
title = {Search combinators},
journal = {Constraints An Int. J.},
volume = {18},
number = {2},
pages = {269--305},
year = {2013},
url = {https://doi.org/10.1007/s10601-012-9137-8},
doi = {10.1007/S10601-012-9137-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/SchrijversTWSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversDDW13,
author = {Tom Schrijvers and
Bart Demoen and
Benoit Desouter and
Jan Wielemaker},
title = {Delimited continuations for prolog},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {533--546},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000331},
doi = {10.1017/S1471068413000331},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversDDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SabharwalSSST13,
author = {Ashish Sabharwal and
Horst Samulowitz and
Tom Schrijvers and
Peter J. Stuckey and
Guido Tack},
title = {Automated Design of Search with Composability},
booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence,
Bellevue, Washington, USA, July 14-18, 2013},
year = {2013},
crossref = {DBLP:conf/aaai/2013late},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7123},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SabharwalSSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BirdGMVS13,
author = {Richard S. Bird and
Jeremy Gibbons and
Stefan Mehner and
Janis Voigtl{\"{a}}nder and
Tom Schrijvers},
title = {Understanding idiomatic traversals backwards and forwards},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Symposium on Haskell, Boston,
MA, USA, September 23-24, 2013},
pages = {25--36},
year = {2013},
crossref = {DBLP:conf/haskell/2013},
url = {https://doi.org/10.1145/2503778.2503781},
doi = {10.1145/2503778.2503781},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/BirdGMVS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KeuchelS13,
author = {Steven Keuchel and
Tom Schrijvers},
title = {Generic datatypes {\`{a}} la carte},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {13--24},
year = {2013},
crossref = {DBLP:conf/icfp/2013wgp},
url = {https://doi.org/10.1145/2502488.2502491},
doi = {10.1145/2502488.2502491},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KeuchelS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DelawareKSO13,
author = {Benjamin Delaware and
Steven Keuchel and
Tom Schrijvers and
Bruno C. d. S. Oliveira},
title = {Modular monadic meta-theory},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {319--330},
year = {2013},
crossref = {DBLP:conf/icfp/2013},
url = {https://doi.org/10.1145/2500365.2500587},
doi = {10.1145/2500365.2500587},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DelawareKSO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DelawareOS13,
author = {Benjamin Delaware and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {Meta-theory {\`{a}} la carte},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {207--218},
year = {2013},
crossref = {DBLP:conf/popl/2013},
url = {https://doi.org/10.1145/2429069.2429094},
doi = {10.1145/2429069.2429094},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/DelawareOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2013,
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2505879},
isbn = {978-1-4503-2154-9},
timestamp = {Thu, 19 Sep 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DesouterS13,
author = {Benoit Desouter and
Tom Schrijvers},
title = {Integrating Datalog and Constraint Solving},
journal = {CoRR},
volume = {abs/1307.4635},
year = {2013},
url = {http://arxiv.org/abs/1307.4635},
eprinttype = {arXiv},
eprint = {1307.4635},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DesouterS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/OliveiraSC12,
author = {Bruno C. d. S. Oliveira and
Tom Schrijvers and
William R. Cook},
title = {{MRI:} Modular reasoning about interference in incremental programming},
journal = {J. Funct. Program.},
volume = {22},
number = {6},
pages = {797--852},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000354},
doi = {10.1017/S0956796812000354},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/OliveiraSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/WielemakerSTL12,
author = {Jan Wielemaker and
Tom Schrijvers and
Markus Triska and
Torbj{\"{o}}rn Lager},
title = {SWI-Prolog},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {1-2},
pages = {67--96},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000494},
doi = {10.1017/S1471068411000494},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/WielemakerSTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SchrijversTWSS12,
author = {Tom Schrijvers and
Guido Tack and
Pieter Wuille and
Horst Samulowitz and
Peter J. Stuckey},
title = {An Introduction to Search Combinators},
booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International
Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
Revised Selected Papers},
pages = {2--16},
year = {2012},
crossref = {DBLP:conf/lopstr/2012},
url = {https://doi.org/10.1007/978-3-642-38197-3\_2},
doi = {10.1007/978-3-642-38197-3\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SchrijversTWSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CampagnaSS12,
author = {Dario Campagna and
Beata Sarna{-}Starosta and
Tom Schrijvers},
title = {Optimizing Inequality Joins in Datalog with Approximated Constraint
Propagation},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
pages = {108--122},
year = {2012},
crossref = {DBLP:conf/padl/2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_9},
doi = {10.1007/978-3-642-27694-1\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/CampagnaSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OliveiraSCLY12,
author = {Bruno C. d. S. Oliveira and
Tom Schrijvers and
Wontae Choi and
Wonchan Lee and
Kwangkeun Yi},
title = {The implicit calculus: a new foundation for generic programming},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {35--44},
year = {2012},
crossref = {DBLP:conf/pldi/2012},
url = {https://doi.org/10.1145/2254064.2254070},
doi = {10.1145/2254064.2254070},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/OliveiraSCLY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchrijversTD12,
author = {Tom Schrijvers and
Markus Triska and
Bart Demoen},
title = {Tor: extensible search with hookable disjunction},
booktitle = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
Belgium - September 19 - 21, 2012},
pages = {103--114},
year = {2012},
crossref = {DBLP:conf/ppdp/2012},
url = {https://doi.org/10.1145/2370776.2370790},
doi = {10.1145/2370776.2370790},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SchrijversTD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2012,
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6},
doi = {10.1007/978-3-642-29822-6},
isbn = {978-3-642-29821-9},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-1095,
author = {Tom Schrijvers and
Guido Tack and
Pieter Wuille and
Horst Samulowitz and
Peter J. Stuckey},
title = {Search Combinators},
journal = {CoRR},
volume = {abs/1203.1095},
year = {2012},
url = {http://arxiv.org/abs/1203.1095},
eprinttype = {arXiv},
eprint = {1203.1095},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-1095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-4499,
author = {Bruno C. d. S. Oliveira and
Tom Schrijvers and
Wontae Choi and
Wonchan Lee and
Kwangkeun Yi},
title = {Extended Report: The Implicit Calculus},
journal = {CoRR},
volume = {abs/1203.4499},
year = {2012},
url = {http://arxiv.org/abs/1203.4499},
eprinttype = {arXiv},
eprint = {1203.4499},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-4499.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VytiniotisJSS11,
author = {Dimitrios Vytiniotis and
Simon L. Peyton Jones and
Tom Schrijvers and
Martin Sulzmann},
title = {OutsideIn(X) Modular type inference with local assumptions},
journal = {J. Funct. Program.},
volume = {21},
number = {4-5},
pages = {333--412},
year = {2011},
url = {https://doi.org/10.1017/S0956796811000098},
doi = {10.1017/S0956796811000098},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/VytiniotisJSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchrijversTWSS11,
author = {Tom Schrijvers and
Guido Tack and
Pieter Wuille and
Horst Samulowitz and
Peter J. Stuckey},
title = {Search Combinators},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
pages = {774--788},
year = {2011},
crossref = {DBLP:conf/cp/2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_58},
doi = {10.1007/978-3-642-23786-7\_58},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SchrijversTWSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchrijversO11,
author = {Tom Schrijvers and
Bruno C. d. S. Oliveira},
title = {Monads, zippers and views: virtualizing the monad stack},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {32--44},
year = {2011},
crossref = {DBLP:conf/icfp/2011},
url = {https://doi.org/10.1145/2034773.2034781},
doi = {10.1145/2034773.2034781},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchrijversO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/WuilleSSTS11,
author = {Pieter Wuille and
Tom Schrijvers and
Horst Samulowitz and
Guido Tack and
Peter J. Stuckey},
title = {Memoizing a Monadic Mixin {DSL}},
booktitle = {Functional and Constraint Logic Programming - 20th International Workshop,
{WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
pages = {68--85},
year = {2011},
crossref = {DBLP:conf/wflp/2011},
url = {https://doi.org/10.1007/978-3-642-22531-4\_5},
doi = {10.1007/978-3-642-22531-4\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/WuilleSSTS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-3787,
author = {Dario Campagna and
Beata Sarna{-}Starosta and
Tom Schrijvers},
title = {Approximating Constraint Propagation in Datalog},
journal = {CoRR},
volume = {abs/1112.3787},
year = {2011},
url = {http://arxiv.org/abs/1112.3787},
eprinttype = {arXiv},
eprint = {1112.3787},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-3787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SneyersWSK10,
author = {Jon Sneyers and
Peter Van Weert and
Tom Schrijvers and
Leslie De Koninck},
title = {As time goes by: Constraint Handling Rules},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {1},
pages = {1--47},
year = {2010},
url = {https://doi.org/10.1017/S1471068409990123},
doi = {10.1017/S1471068409990123},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SneyersWSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/OliveiraSC10,
author = {Bruno C. d. S. Oliveira and
Tom Schrijvers and
William R. Cook},
title = {EffectiveAdvice: disciplined advice with explicit effects},
booktitle = {Proceedings of the 9th International Conference on Aspect-Oriented
Software Development, {AOSD} 2010, Rennes and Saint-Malo, France,
March 15-19, 2010},
pages = {109--120},
year = {2010},
crossref = {DBLP:conf/aosd/2010},
url = {https://doi.org/10.1145/1739230.1739244},
doi = {10.1145/1739230.1739244},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/OliveiraSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/OrchardS10,
author = {Dominic A. Orchard and
Tom Schrijvers},
title = {Haskell Type Constraints Unleashed},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
pages = {56--71},
year = {2010},
crossref = {DBLP:conf/flops/2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_6},
doi = {10.1007/978-3-642-12251-4\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/OrchardS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchrijversM10,
author = {Tom Schrijvers and
Alan Mycroft},
title = {Strictness Meets Data Flow},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
pages = {439--454},
year = {2010},
crossref = {DBLP:conf/sas/2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_27},
doi = {10.1007/978-3-642-15769-1\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SchrijversM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/VytiniotisJS10,
author = {Dimitrios Vytiniotis and
Simon L. Peyton Jones and
Tom Schrijvers},
title = {Let should not be generalized},
booktitle = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Madrid, Spain, January
23, 2010},
pages = {39--50},
year = {2010},
crossref = {DBLP:conf/tldi/2010},
url = {https://doi.org/10.1145/1708016.1708023},
doi = {10.1145/1708016.1708023},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tldi/VytiniotisJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/WuilleS10,
author = {Pieter Wuille and
Tom Schrijvers},
title = {Parameterized Models for On-Line and Off-Line Use},
booktitle = {Functional and Constraint Logic Programming - 19th International Workshop,
{WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
pages = {101--118},
year = {2010},
crossref = {DBLP:conf/wflp/2010},
url = {https://doi.org/10.1007/978-3-642-20775-4\_6},
doi = {10.1007/978-3-642-20775-4\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/WuilleS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-5332,
author = {Jan Wielemaker and
Tom Schrijvers and
Markus Triska and
Torbj{\"{o}}rn Lager},
title = {SWI-Prolog},
journal = {CoRR},
volume = {abs/1011.5332},
year = {2010},
url = {http://arxiv.org/abs/1011.5332},
eprinttype = {arXiv},
eprint = {1011.5332},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-5332.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SchrijversSW09,
author = {Tom Schrijvers and
Peter J. Stuckey and
Philip Wadler},
title = {Monadic constraint programming},
journal = {J. Funct. Program.},
volume = {19},
number = {6},
pages = {663--697},
year = {2009},
url = {https://doi.org/10.1017/S0956796809990086},
doi = {10.1017/S0956796809990086},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SchrijversSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SneyersSD09,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
title = {The computational power and complexity of constraint handling rules},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {2},
pages = {8:1--8:42},
year = {2009},
url = {https://doi.org/10.1145/1462166.1462169},
doi = {10.1145/1462166.1462169},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SneyersSD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchrijversJSV09,
author = {Tom Schrijvers and
Simon L. Peyton Jones and
Martin Sulzmann and
Dimitrios Vytiniotis},
title = {Complete and decidable type inference for GADTs},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {341--352},
year = {2009},
crossref = {DBLP:conf/icfp/2009},
url = {https://doi.org/10.1145/1596550.1596599},
doi = {10.1145/1596550.1596599},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchrijversJSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Sarna-StarostaS09,
author = {Beata Sarna{-}Starosta and
Tom Schrijvers},
title = {Attributed Data for {CHR} Indexing},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
pages = {357--371},
year = {2009},
crossref = {DBLP:conf/iclp/2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_30},
doi = {10.1007/978-3-642-02846-5\_30},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Sarna-StarostaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PilozziSB09,
author = {Paolo Pilozzi and
Tom Schrijvers and
Maurice Bruynooghe},
title = {A Transformational Approach for Proving Properties of the {CHR} Constraint
Store},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
pages = {22--36},
year = {2009},
crossref = {DBLP:conf/lopstr/2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_3},
doi = {10.1007/978-3-642-12592-8\_3},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PilozziSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DegraveSV09,
author = {Fran{\c{c}}ois Degrave and
Tom Schrijvers and
Wim Vanhoof},
title = {Towards a Framework for Constraint-Based Test Case Generation},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
pages = {128--142},
year = {2009},
crossref = {DBLP:conf/lopstr/2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_10},
doi = {10.1007/978-3-642-12592-8\_10},
timestamp = {Tue, 14 Oct 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DegraveSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/SchrijversGM09,
author = {Tom Schrijvers and
Louis{-}Julien Guillemette and
Stefan Monnier},
title = {Type invariants for Haskell},
booktitle = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
2009},
pages = {39--48},
year = {2009},
crossref = {DBLP:conf/plpv/2009},
url = {https://doi.org/10.1145/1481848.1481855},
doi = {10.1145/1481848.1481855},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/SchrijversGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-4474,
author = {Jon Sneyers and
Peter Van Weert and
Tom Schrijvers and
Leslie De Koninck},
title = {As time goes by: Constraint Handling Rules - {A} survey of {CHR} research
from 1998 to 2007},
journal = {CoRR},
volume = {abs/0906.4474},
year = {2009},
url = {http://arxiv.org/abs/0906.4474},
eprinttype = {arXiv},
eprint = {0906.4474},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-4474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SerebrenikSD08,
author = {Alexander Serebrenik and
Tom Schrijvers and
Bart Demoen},
title = {Improving Prolog programs: Refactoring for Prolog},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {2},
pages = {201--215},
year = {2008},
url = {https://doi.org/10.1017/S1471068407003134},
doi = {10.1017/S1471068407003134},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SerebrenikSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversDW08,
author = {Tom Schrijvers and
Bart Demoen and
David Scott Warren},
title = {{TCHR:} a framework for tabled {CLP}},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {4},
pages = {491--526},
year = {2008},
url = {https://doi.org/10.1017/S147106840800327X},
doi = {10.1017/S147106840800327X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversDW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchrijversJCS08,
author = {Tom Schrijvers and
Simon L. Peyton Jones and
Manuel M. T. Chakravarty and
Martin Sulzmann},
title = {Type checking with open type functions},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {51--62},
year = {2008},
crossref = {DBLP:conf/icfp/2008},
url = {https://doi.org/10.1145/1411204.1411215},
doi = {10.1145/1411204.1411215},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchrijversJCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversD08,
author = {Tom Schrijvers and
Bart Demoen},
title = {Uniting the Prolog Community},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
pages = {7--8},
year = {2008},
crossref = {DBLP:conf/iclp/2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_2},
doi = {10.1007/978-3-540-89982-2\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schrijvers08,
author = {Tom Schrijvers},
title = {Constraint Handling Rules},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
pages = {9--10},
year = {2008},
crossref = {DBLP:conf/iclp/2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_3},
doi = {10.1007/978-3-540-89982-2\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Schrijvers08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversS08,
author = {Tom Schrijvers and
Martin Sulzmann},
title = {Transactions in Constraint Handling Rules},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
pages = {516--530},
year = {2008},
crossref = {DBLP:conf/iclp/2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_44},
doi = {10.1007/978-3-540-89982-2\_44},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversCWD08,
author = {Tom Schrijvers and
V{\'{\i}}tor Santos Costa and
Jan Wielemaker and
Bart Demoen},
title = {Towards Typed Prolog},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
pages = {693--697},
year = {2008},
crossref = {DBLP:conf/iclp/2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_59},
doi = {10.1007/978-3-540-89982-2\_59},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversCWD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/DegraveSV08,
author = {Fran{\c{c}}ois Degrave and
Tom Schrijvers and
Wim Vanhoof},
title = {Automatic Generation of Test Inputs for Mercury},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
pages = {71--86},
year = {2008},
crossref = {DBLP:conf/lopstr/2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_6},
doi = {10.1007/978-3-642-00515-2\_6},
timestamp = {Tue, 14 Oct 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/DegraveSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SchrijversBG08,
author = {Tom Schrijvers and
Maurice Bruynooghe and
John P. Gallagher},
title = {From Monomorphic to Polymorphic Well-Typings and Beyond},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
pages = {152--167},
year = {2008},
crossref = {DBLP:conf/lopstr/2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_11},
doi = {10.1007/978-3-642-00515-2\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/SchrijversBG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SchrijversS08,
author = {Tom Schrijvers and
Martin Sulzmann},
title = {Confluence for Functional Dependencies},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
pages = {49--64},
year = {2008},
crossref = {DBLP:conf/sfp/2008},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SchrijversS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KoninckSD08,
author = {Leslie De Koninck and
Tom Schrijvers and
Bart Demoen},
title = {A Flexible Search Framework for {CHR}},
booktitle = {Constraint Handling Rules, Current Research Topics},
pages = {16--47},
year = {2008},
crossref = {DBLP:series/lncs/5388},
url = {https://doi.org/10.1007/978-3-540-92243-8\_2},
doi = {10.1007/978-3-540-92243-8\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/KoninckSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/WeertWSD08,
author = {Peter Van Weert and
Pieter Wuille and
Tom Schrijvers and
Bart Demoen},
title = {{CHR} for Imperative Host Languages},
booktitle = {Constraint Handling Rules, Current Research Topics},
pages = {161--212},
year = {2008},
crossref = {DBLP:series/lncs/5388},
url = {https://doi.org/10.1007/978-3-540-92243-8\_7},
doi = {10.1007/978-3-540-92243-8\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/WeertWSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SneyersSD08,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
title = {Guard Reasoning in the Refined Operational Semantics of {CHR}},
booktitle = {Constraint Handling Rules, Current Research Topics},
pages = {213--244},
year = {2008},
crossref = {DBLP:series/lncs/5388},
url = {https://doi.org/10.1007/978-3-540-92243-8\_8},
doi = {10.1007/978-3-540-92243-8\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/SneyersSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/5388,
editor = {Tom Schrijvers and
Thom W. Fr{\"{u}}hwirth},
title = {Constraint Handling Rules, Current Research Topics},
series = {Lecture Notes in Computer Science},
volume = {5388},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92243-8},
doi = {10.1007/978-3-540-92243-8},
isbn = {978-3-540-92242-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/5388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KoninckSD07,
author = {Leslie De Koninck and
Tom Schrijvers and
Bart Demoen},
title = {The Correspondence Between the Logical Algorithms Language and {CHR}},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
pages = {209--223},
year = {2007},
crossref = {DBLP:conf/iclp/2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_15},
doi = {10.1007/978-3-540-74610-2\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KoninckSD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SneyersWSD07,
author = {Jon Sneyers and
Peter Van Weert and
Tom Schrijvers and
Bart Demoen},
title = {Aggregates in Constraint Handling Rules},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
pages = {446--448},
year = {2007},
crossref = {DBLP:conf/iclp/2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_39},
doi = {10.1007/978-3-540-74610-2\_39},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SneyersWSD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KoninckSD07,
author = {Leslie De Koninck and
Tom Schrijvers and
Bart Demoen},
title = {User-definable rule priorities for {CHR}},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {25--36},
year = {2007},
crossref = {DBLP:conf/ppdp/2007},
url = {https://doi.org/10.1145/1273920.1273924},
doi = {10.1145/1273920.1273924},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KoninckSD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-3830,
author = {Tom Schrijvers and
Bart Demoen and
David Scott Warren},
title = {{TCHR:} a framework for tabled {CLP}},
journal = {CoRR},
volume = {abs/0712.3830},
year = {2007},
url = {http://arxiv.org/abs/0712.3830},
eprinttype = {arXiv},
eprint = {0712.3830},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-3830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0702083,
author = {Alexander Serebrenik and
Tom Schrijvers and
Bart Demoen},
title = {Improving Prolog programs: Refactoring for Prolog},
journal = {CoRR},
volume = {abs/cs/0702083},
year = {2007},
url = {http://arxiv.org/abs/cs/0702083},
eprinttype = {arXiv},
eprint = {cs/0702083},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0702083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversF06,
author = {Tom Schrijvers and
Thom W. Fr{\"{u}}hwirth},
title = {Optimal union-find in Constraint Handling Rules},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {1-2},
pages = {213--224},
year = {2006},
url = {https://doi.org/10.1017/S1471068405002541},
doi = {10.1017/S1471068405002541},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversDBS06,
author = {Tom Schrijvers and
Bart Demoen and
Maria J. Garc{\'{\i}}a de la Banda and
Peter J. Stuckey},
title = {Improving {PARMA} trailing},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {6},
pages = {609--644},
year = {2006},
url = {https://doi.org/10.1017/S1471068405002620},
doi = {10.1017/S1471068405002620},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversDBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SulzmannSS06,
author = {Martin Sulzmann and
Tom Schrijvers and
Peter J. Stuckey},
title = {Principal Type Inference for GHC-Style Multi-parameter Type Classes},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
pages = {26--43},
year = {2006},
crossref = {DBLP:conf/aplas/2006},
url = {https://doi.org/10.1007/11924661\_2},
doi = {10.1007/11924661\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/SulzmannSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SneyersSD06,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
title = {Memory Reuse for {CHR}},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
pages = {72--86},
year = {2006},
crossref = {DBLP:conf/iclp/2006},
url = {https://doi.org/10.1007/11799573\_8},
doi = {10.1007/11799573\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SneyersSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchrijversB06,
author = {Tom Schrijvers and
Maurice Bruynooghe},
title = {Polymorphic algebraic data type reconstruction},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {85--96},
year = {2006},
crossref = {DBLP:conf/ppdp/2006},
url = {https://doi.org/10.1145/1140335.1140347},
doi = {10.1145/1140335.1140347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SchrijversB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/KoninckSD06,
author = {Leslie De Koninck and
Tom Schrijvers and
Bart Demoen},
title = {{INCLP(R)} - Interval-based Nonlinear Constraint Logic Programming
over the Reals},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
pages = {91--100},
year = {2006},
crossref = {DBLP:conf/wlp/2006},
url = {http://www.kr.tuwien.ac.at/wlp06/13-final.ps.gz},
timestamp = {Thu, 16 Nov 2017 07:57:26 +0100},
biburl = {https://dblp.org/rec/conf/wlp/KoninckSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/SneyersSD06,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
title = {Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description
in {CHR}},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
pages = {182--191},
year = {2006},
crossref = {DBLP:conf/wlp/2006},
url = {http://www.kr.tuwien.ac.at/wlp06/02-final.ps.gz},
timestamp = {Tue, 23 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/SneyersSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SneyersSD05,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
title = {Guard and Continuation Optimization for Occurrence Representations
of {CHR}},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
pages = {83--97},
year = {2005},
crossref = {DBLP:conf/iclp/2005},
url = {https://doi.org/10.1007/11562931\_9},
doi = {10.1007/11562931\_9},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SneyersSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schrijvers05,
author = {Tom Schrijvers},
title = {Analyses, Optimizations and Extensions of Constraint Handling Rules:
Ph.D. Summary},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
pages = {435--436},
year = {2005},
crossref = {DBLP:conf/iclp/2005},
url = {https://doi.org/10.1007/11562931\_44},
doi = {10.1007/11562931\_44},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Schrijvers05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchrijversSD05,
author = {Tom Schrijvers and
Peter J. Stuckey and
Gregory J. Duck},
title = {Abstract interpretation for constraint handling rules},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {218--229},
year = {2005},
crossref = {DBLP:conf/ppdp/2005},
url = {https://doi.org/10.1145/1069774.1069795},
doi = {10.1145/1069774.1069795},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/SchrijversSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/SneyersSD05,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
title = {Guard Simplification in {CHR} programs},
booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
21-23, 2005},
pages = {123--134},
year = {2005},
crossref = {DBLP:conf/wlp/2005},
timestamp = {Fri, 25 Feb 2005 15:14:47 +0100},
biburl = {https://dblp.org/rec/conf/wlp/SneyersSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/SchrijversF05,
author = {Tom Schrijvers and
Thom W. Fr{\"{u}}hwirth},
title = {Analysing the {CHR} Implementation of Union-Find},
booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
21-23, 2005},
pages = {135--146},
year = {2005},
crossref = {DBLP:conf/wlp/2005},
timestamp = {Fri, 25 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wlp/SchrijversF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchrijversDDSF06,
author = {Tom Schrijvers and
Bart Demoen and
Gregory J. Duck and
Peter J. Stuckey and
Thom W. Fr{\"{u}}hwirth},
title = {Automatic Implication Checking for {CHR} Constraints},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
pages = {93--111},
year = {2005},
crossref = {DBLP:conf/rule/2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.039},
doi = {10.1016/J.ENTCS.2005.06.039},
timestamp = {Thu, 15 Dec 2022 15:09:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchrijversDDSF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0501073,
author = {Tom Schrijvers and
Thom W. Fr{\"{u}}hwirth},
title = {Optimal Union-Find in Constraint Handling Rules},
journal = {CoRR},
volume = {abs/cs/0501073},
year = {2005},
url = {http://arxiv.org/abs/cs/0501073},
eprinttype = {arXiv},
eprint = {cs/0501073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0501073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505085,
author = {Tom Schrijvers and
Maria J. Garc{\'{\i}}a de la Banda and
Bart Demoen and
Peter J. Stuckey},
title = {Improving {PARMA} Trailing},
journal = {CoRR},
volume = {abs/cs/0505085},
year = {2005},
url = {http://arxiv.org/abs/cs/0505085},
eprinttype = {arXiv},
eprint = {cs/0505085},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversS04,
author = {Tom Schrijvers and
Alexander Serebrenik},
title = {Improving Prolog Programs: Refactoring for Prolog},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
pages = {58--72},
year = {2004},
crossref = {DBLP:conf/iclp/2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_5},
doi = {10.1007/978-3-540-27775-0\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversW04,
author = {Tom Schrijvers and
David Scott Warren},
title = {Constraint Handling Rules and Tabled Execution},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
pages = {120--136},
year = {2004},
crossref = {DBLP:conf/iclp/2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_9},
doi = {10.1007/978-3-540-27775-0\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schrijvers04,
author = {Tom Schrijvers},
title = {JmmSolve: {A} Generative Java Memory Model Implemented in Prolog and
{CHR}},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
pages = {475--476},
year = {2004},
crossref = {DBLP:conf/iclp/2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_45},
doi = {10.1007/978-3-540-27775-0\_45},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Schrijvers04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0406026,
author = {Tom Schrijvers and
Alexander Serebrenik},
title = {Improving Prolog Programs: Refactoring for Prolog},
journal = {CoRR},
volume = {cs.SE/0406026},
year = {2004},
url = {http://arxiv.org/abs/cs/0406026},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0406026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversBD02,
author = {Tom Schrijvers and
Maria J. Garc{\'{\i}}a de la Banda and
Bart Demoen},
title = {Trailing Analysis for {HAL}},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
pages = {38--53},
year = {2002},
crossref = {DBLP:conf/iclp/2002},
url = {https://doi.org/10.1007/3-540-45619-8\_4},
doi = {10.1007/3-540-45619-8\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchrijversD02,
author = {Tom Schrijvers and
Bart Demoen},
title = {Combining an improvement to {PARMA} trailing with trailing analysis},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {88--98},
year = {2002},
crossref = {DBLP:conf/ppdp/2002},
url = {https://doi.org/10.1145/571157.571167},
doi = {10.1145/571157.571167},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SchrijversD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ukicer/2025,
editor = {Fiona McNeill and
Cristina Adriana Alexandru and
Sue Sentance and
Quintin I. Cutts},
title = {Proceedings of the 2025 Conference on {UK} and Ireland Computing Education
Research, {UKICER} 2025, Edinburgh, {UK} September 4-5, 2025},
publisher = {{ACM}},
year = {2025},
url = {https://doi.org/10.1145/3754508},
doi = {10.1145/3754508},
isbn = {979-8-4007-2078-9},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ukicer/2025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2024,
editor = {Jeremy Gibbons and
Dale Miller},
title = {Functional and Logic Programming - 17th International Symposium, {FLOPS}
2024, Kumamoto, Japan, May 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14659},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-2300-3},
doi = {10.1007/978-981-97-2300-3},
isbn = {978-981-97-2299-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/flops/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2024,
editor = {Jason Hemann and
Stephen Chang},
title = {Trends in Functional Programming - 25th International Symposium, {TFP}
2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14843},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-74558-4},
doi = {10.1007/978-3-031-74558-4},
isbn = {978-3-031-74557-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splash/2024e,
editor = {Felienne Hermans and
Rose Bohrer},
title = {Proceedings of the 2024 {ACM} {SIGPLAN} International Symposium on
SPLASH-E, {SPLASH-E} 2024, Pasadena, CA, USA, 24 October 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3689493},
doi = {10.1145/3689493},
isbn = {979-8-4007-1216-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/splash/2024e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/funarch/2023,
editor = {Michael Sperber and
Graham Hutton},
title = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Functional
Software Architecture, {FUNARCH} 2023, Seattle, WA, USA, 8 September
2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609025},
doi = {10.1145/3609025},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/funarch/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2023-2,
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587103},
doi = {10.1145/3587103},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iticse/2023-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2023,
editor = {Adam Naumowicz and
Ren{\'{e}} Thiemann},
title = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
series = {LIPIcs},
volume = {268},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-284-6},
isbn = {978-3-95977-284-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/itp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2023,
editor = {Michael Hanus and
Daniela Inclezan},
title = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2},
doi = {10.1007/978-3-031-24841-2},
isbn = {978-3-031-24840-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/padl/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2022,
editor = {Ilya Sergey},
title = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8},
doi = {10.1007/978-3-030-99336-8},
isbn = {978-3-030-99335-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/esop/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2022,
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7},
doi = {10.1007/978-3-030-99461-7},
isbn = {978-3-030-99460-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/flops/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2022,
editor = {Nadia Polikarpova},
title = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
Ljubljana, Slovenia, September 15 - 16, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546189},
doi = {10.1145/3546189},
isbn = {978-1-4503-9438-3},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/haskell/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2022,
editor = {Ekaterina Komendantskaya},
title = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0},
doi = {10.1007/978-3-031-16912-0},
isbn = {978-3-031-16911-3},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/mpc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2021,
editor = {Hakjoo Oh},
title = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13008},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89051-3},
doi = {10.1007/978-3-030-89051-3},
isbn = {978-3-030-89050-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/aplas/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2021,
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6},
doi = {10.1007/978-3-030-90870-6},
isbn = {978-3-030-90869-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/fm/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2021,
editor = {Emanuele {De Angelis} and
Wim Vanhoof},
title = {Logic-Based Program Synthesis and Transformation - 31st International
Symposium, {LOPSTR} 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13290},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-98869-2},
doi = {10.1007/978-3-030-98869-2},
isbn = {978-3-030-98868-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/ifip/600,
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5},
doi = {10.1007/978-3-030-81701-5},
isbn = {978-3-030-81700-8},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/series/ifip/600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2020,
editor = {Robert Hirschfeld and
Tobias Pape},
title = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-154-2},
isbn = {978-3-95977-154-2},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2020,
editor = {Aleksander Byrski and
John Hughes},
title = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2},
doi = {10.1007/978-3-030-57761-2},
isbn = {978-3-030-57760-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/20/BKS2020,
editor = {Gilles Barthe and
Joost{-}Pieter Katoen and
Alexandra Silva},
title = {Foundations of Probabilistic Programming},
publisher = {Cambridge University Press},
year = {2020},
url = {https://doi.org/10.1017/9781108770750},
doi = {10.1017/9781108770750},
isbn = {9781108770750},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/books/cu/20/BKS2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2019,
editor = {Lu{\'{\i}}s Caires},
title = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1},
doi = {10.1007/978-3-030-17184-1},
isbn = {978-3-030-17183-4},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/esop/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2019,
editor = {Richard A. Eisenberg},
title = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331545},
doi = {10.1145/3331545},
isbn = {978-1-4503-6813-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/haskell/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2019,
editor = {Marouane Kessentini and
Tao Yue and
Alexander Pretschner and
Sebastian Voss and
Loli Burgue{\~{n}}o},
title = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8894013/proceeding},
isbn = {978-1-7281-2536-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/models/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2019,
editor = {Graham Hutton},
title = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3},
doi = {10.1007/978-3-030-33636-3},
isbn = {978-3-030-33635-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/mpc/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2019,
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9},
doi = {10.1007/978-3-030-05998-9},
isbn = {978-3-030-05997-2},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/padl/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-07646,
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306},
doi = {10.4204/EPTCS.306},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2018,
editor = {Todd D. Millstein},
title = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-079-8},
isbn = {978-3-95977-079-8},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2018,
editor = {Amal Ahmed},
title = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1},
doi = {10.1007/978-3-319-89884-1},
isbn = {978-3-319-89883-4},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/esop/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2018,
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8},
doi = {10.1007/978-3-319-94821-8},
isbn = {978-3-319-94820-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/itp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2018,
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108},
doi = {10.1145/3209108},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/lics/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2017,
editor = {Iavor S. Diatchki},
title = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122955},
doi = {10.1145/3122955},
isbn = {978-1-4503-5182-9},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/haskell/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2017,
editor = {Nicolas Wu},
title = {Proceedings of the 29th Symposium on Implementation and Application
of Functional Programming Languages, {IFL} 2017, Bristol, UK, August
30 - September 01, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3205368},
doi = {10.1145/3205368},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ifl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2017plp,
editor = {Riccardo Zese and
Christian Theil Have},
title = {Proceedings of the Workshop on Probabilistic Logic Programming 2017
co-located with 27th International Conference on Inductive Logic Programming
{(ILP} 2017), Orl{\'{e}}ans, France, September 7, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1916},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1916},
urn = {urn:nbn:de:0074-1916-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ilp/2017plp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2016,
editor = {Peter Thiemann},
title = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1},
doi = {10.1007/978-3-662-49498-1},
isbn = {978-3-662-49497-4},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/esop/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
editor = {Oleg Kiselyov and
Andy King},
title = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3},
doi = {10.1007/978-3-319-29604-3},
isbn = {978-3-319-29603-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/flops/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
editor = {Subbarao Kambhampati},
title = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Proceedings/2016},
isbn = {978-1-57735-770-4},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2016,
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614},
doi = {10.1145/2837614},
isbn = {978-1-4503-3549-2},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/popl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015,
editor = {Kathleen Fisher and
John H. Reppy},
title = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731},
doi = {10.1145/2784731},
isbn = {978-1-4503-3669-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2015.bib},
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 = {https://doi.org/10.1145/2897336},
doi = {10.1145/2897336},
isbn = {978-1-4503-4273-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ifl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2015,
editor = {Ralf Hinze and
Janis Voigtl{\"{a}}nder},
title = {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},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19797-5},
doi = {10.1007/978-3-319-19797-5},
isbn = {978-3-319-19796-8},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/mpc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2015,
editor = {Moreno Falaschi and
Elvira Albert},
title = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2790449},
isbn = {978-1-4503-3516-4},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/soict/2015,
editor = {Huynh Quyet Thang and
Le Anh Phuong and
Luc De Raedt and
Yves Deville and
Marc Bui and
Truong Thi Dieu Linh and
Thi{-}Oanh Nguyen and
Dinh Viet Sang and
Nguyen Ba Ngoc},
title = {Proceedings of the Sixth International Symposium on Information and
Communication Technology, Hue City, Vietnam, December 3-4, 2015},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2833258},
isbn = {978-1-4503-3843-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/soict/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/MatthesM15,
editor = {Ralph Matthes and
Matteo Mio},
title = {Proceedings Tenth International Workshop on Fixed Points in Computer
Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015},
series = {{EPTCS}},
volume = {191},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.191},
doi = {10.4204/EPTCS.191},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/journals/corr/MatthesM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2014,
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080},
doi = {10.1145/2577080},
isbn = {978-1-4503-2772-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/aosd/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2014,
editor = {Wouter Swierstra},
title = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357},
doi = {10.1145/2633357},
isbn = {978-1-4503-3041-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/haskell/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2014,
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {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},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2},
doi = {10.1007/978-3-319-04132-2},
isbn = {978-3-319-04131-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/padl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2014,
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2643135},
isbn = {978-1-4503-2947-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2013late,
title = {Late-Breaking Developments in the Field of Artificial Intelligence,
Bellevue, Washington, USA, July 14-18, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-17}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/Library/Workshops/ws13-17.php},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/aaai/2013late.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2013,
editor = {Chung{-}chieh Shan},
title = {Proceedings of the 2013 {ACM} {SIGPLAN} Symposium on Haskell, Boston,
MA, USA, September 23-24, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503778},
doi = {10.1145/2503778},
isbn = {978-1-4503-2383-3},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/haskell/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013wgp,
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488},
doi = {10.1145/2502488},
isbn = {978-1-4503-2389-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2013wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013,
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365},
doi = {10.1145/2500365},
isbn = {978-1-4503-2326-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2013,
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069},
doi = {10.1145/2429069},
isbn = {978-1-4503-1832-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/popl/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2012,
editor = {Elvira Albert},
title = {Logic-Based Program Synthesis and Transformation, 22nd International
Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7844},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38197-3},
doi = {10.1007/978-3-642-38197-3},
isbn = {978-3-642-38196-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2012,
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1},
doi = {10.1007/978-3-642-27694-1},
isbn = {978-3-642-27693-4},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/padl/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012,
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064},
doi = {10.1145/2254064},
isbn = {978-1-4503-1205-9},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2012,
editor = {Danny De Schreye and
Gerda Janssens and
Andy King},
title = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
Belgium - September 19 - 21, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2370776},
isbn = {978-1-4503-1522-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2011,
editor = {Jimmy Ho{-}Man Lee},
title = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7},
doi = {10.1007/978-3-642-23786-7},
isbn = {978-3-642-23785-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/cp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011,
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773},
doi = {10.1145/2034773},
isbn = {978-1-4503-0865-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2011,
editor = {Herbert Kuchen},
title = {Functional and Constraint Logic Programming - 20th International Workshop,
{WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6816},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22531-4},
doi = {10.1007/978-3-642-22531-4},
isbn = {978-3-642-22530-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/wflp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2010,
editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Mario S{\"{u}}dholt},
title = {Proceedings of the 9th International Conference on Aspect-Oriented
Software Development, {AOSD} 2010, Rennes and Saint-Malo, France,
March 15-19, 2010},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-60558-958-9},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/aosd/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2010,
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4},
doi = {10.1007/978-3-642-12251-4},
isbn = {978-3-642-12250-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/flops/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2010,
editor = {Radhia Cousot and
Matthieu Martel},
title = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1},
doi = {10.1007/978-3-642-15769-1},
isbn = {978-3-642-15768-4},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/sas/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2010,
editor = {Andrew Kennedy and
Nick Benton},
title = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Madrid, Spain, January
23, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1708016},
isbn = {978-1-60558-891-9},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/tldi/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2010,
editor = {Julio Mari{\~{n}}o},
title = {Functional and Constraint Logic Programming - 19th International Workshop,
{WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6559},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20775-4},
doi = {10.1007/978-3-642-20775-4},
isbn = {978-3-642-20774-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/wflp/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009,
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550},
doi = {10.1145/1596550},
isbn = {978-1-60558-332-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2009,
editor = {Patricia M. Hill and
David Scott Warren},
title = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5},
doi = {10.1007/978-3-642-02846-5},
isbn = {978-3-642-02845-8},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2009,
editor = {Danny De Schreye},
title = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12592-8},
doi = {10.1007/978-3-642-12592-8},
isbn = {978-3-642-12591-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2009,
editor = {Thorsten Altenkirch and
Todd D. Millstein},
title = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-330-3},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2008,
editor = {James Hook and
Peter Thiemann},
title = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204},
doi = {10.1145/1411204},
isbn = {978-1-59593-919-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2008,
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2},
doi = {10.1007/978-3-540-89982-2},
isbn = {978-3-540-89981-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2008,
editor = {Michael Hanus},
title = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00515-2},
doi = {10.1007/978-3-642-00515-2},
isbn = {978-3-642-00514-5},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2008,
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
publisher = {Intellect},
year = {2008},
isbn = {978-1-84150-277-9},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/5388,
editor = {Tom Schrijvers and
Thom W. Fr{\"{u}}hwirth},
title = {Constraint Handling Rules, Current Research Topics},
series = {Lecture Notes in Computer Science},
volume = {5388},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92243-8},
doi = {10.1007/978-3-540-92243-8},
isbn = {978-3-540-92242-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/series/lncs/5388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2007,
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2},
doi = {10.1007/978-3-540-74610-2},
isbn = {978-3-540-74608-9},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2007,
editor = {Michael Leuschel and
Andreas Podelski},
title = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-769-8},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2006,
editor = {Naoki Kobayashi},
title = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661},
doi = {10.1007/11924661},
isbn = {3-540-48937-1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/aplas/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2006,
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573},
doi = {10.1007/11799573},
isbn = {3-540-36635-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2006,
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
publisher = {{ACM}},
year = {2006},
isbn = {1-59593-388-3},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2006,
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/proceedings.html},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/wlp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2005,
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931},
doi = {10.1007/11562931},
isbn = {3-540-29208-X},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2005,
editor = {Pedro Barahona and
Amy P. Felty},
title = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
publisher = {{ACM}},
year = {2005},
isbn = {1-59593-090-6},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2005,
editor = {Armin Wolf and
Thom W. Fr{\"{u}}hwirth and
Marc Meister},
title = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
21-23, 2005},
series = {Ulmer Informatik-Berichte},
volume = {2005-01},
publisher = {Universit{\"{a}}t Ulm, Germany},
year = {2005},
url = {http://www.informatik.uni-ulm.de/epin/pw/11541},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/wlp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rule/2005,
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/147/issue/1},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/rule/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2004,
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b99475},
doi = {10.1007/B99475},
isbn = {3-540-22671-0},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2002,
editor = {Peter J. Stuckey},
title = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8},
doi = {10.1007/3-540-45619-8},
isbn = {3-540-43930-7},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2002,
title = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157},
doi = {10.1145/571157},
timestamp = {Sat, 15 Nov 2025 13:11:18 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-11-07 02:04 CET 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: