BibTeX records: Jesper Cockx

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Jesper Cockx

download as .bib file

@proceedings{DBLP:conf/tyde/2024,
  editor       = {Sandra Alves and
                  Jesper Cockx},
  title        = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Type-Driven
                  Development, TyDe 2024, Milan, Italy, 6 September 2024},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3678000},
  doi          = {10.1145/3678000},
  isbn         = {979-8-4007-1103-9},
  timestamp    = {Fri, 30 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tyde/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BrouwerCZ23,
  author       = {Jonathan Brouwer and
                  Jesper Cockx and
                  Aron Zwaan},
  editor       = {Ralf L{\"{a}}mmel and
                  Peter D. Mosses and
                  Friedrich Steimann},
  title        = {Dependently Typed Languages in Statix},
  booktitle    = {Eelco Visser Commemorative Symposium, {EVCS} 2023, April 5, 2023,
                  Delft, The Netherlands},
  series       = {OASIcs},
  volume       = {109},
  pages        = {6:1--6:8},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.EVCS.2023.6},
  doi          = {10.4230/OASICS.EVCS.2023.6},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BrouwerCZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/LiesnikovC23,
  author       = {Bohdan Liesnikov and
                  Jesper Cockx},
  title        = {ExEl: Building an Elaborator Using Extensible Constraints},
  booktitle    = {The 35th Symposium on Implementation and Application of Functional
                  Languages, {IFL} 2023, Braga, Portugal, August 29-31, 2023},
  pages        = {4:1--4:13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3652561.3652565},
  doi          = {10.1145/3652561.3652565},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/LiesnikovC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/EscotC22,
  author       = {Lucas Escot and
                  Jesper Cockx},
  title        = {Practical generic programming over a universe of native datatypes},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{ICFP}},
  pages        = {625--649},
  year         = {2022},
  url          = {https://doi.org/10.1145/3547644},
  doi          = {10.1145/3547644},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/EscotC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/CockxME0N22,
  author       = {Jesper Cockx and
                  Orestis Melkonian and
                  Lucas Escot and
                  James Chapman and
                  Ulf Norell},
  editor       = {Nadia Polikarpova},
  title        = {Reasonable Agda is correct Haskell: writing verified Haskell using
                  agda2hs},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {108--122},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549920},
  doi          = {10.1145/3546189.3549920},
  timestamp    = {Thu, 20 Oct 2022 17:38:56 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/CockxME0N22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sle/SmitsHC22,
  author       = {Jeff Smits and
                  Toine Hartman and
                  Jesper Cockx},
  editor       = {Bernd Fischer and
                  Lola Burgue{\~{n}}o and
                  Walter Cazzola},
  title        = {Optimising First-Class Pattern Matching},
  booktitle    = {Proceedings of the 15th {ACM} {SIGPLAN} International Conference on
                  Software Language Engineering, {SLE} 2022, Auckland, New Zealand,
                  December 6-7, 2022},
  pages        = {74--83},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3567512.3567519},
  doi          = {10.1145/3567512.3567519},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/SmitsHC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/types/2021,
  editor       = {Henning Basold and
                  Jesper Cockx and
                  Silvia Ghilezan},
  title        = {27th International Conference on Types for Proofs and Programs, {TYPES}
                  2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {239},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-254-9},
  isbn         = {978-3-95977-254-9},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/CockxTW21,
  author       = {Jesper Cockx and
                  Nicolas Tabareau and
                  Th{\'{e}}o Winterhalter},
  title        = {The taming of the rew: a type theory with computational assumptions},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{POPL}},
  pages        = {1--29},
  year         = {2021},
  url          = {https://doi.org/10.1145/3434341},
  doi          = {10.1145/3434341},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/CockxTW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gpce/SinkarovsC21,
  author       = {Artjoms Sinkarovs and
                  Jesper Cockx},
  editor       = {Eli Tilevich and
                  Coen De Roover},
  title        = {Extracting the power of dependent types},
  booktitle    = {{GPCE} '21: Concepts and Experiences, Chicago, IL, USA, October 17
                  - 18, 2021},
  pages        = {83--95},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3486609.3487201},
  doi          = {10.1145/3486609.3487201},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/SinkarovsC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2105-10819,
  author       = {Artjoms Sinkarovs and
                  Jesper Cockx},
  title        = {Choosing is Losing: How to combine the benefits of shallow and deep
                  embeddings through reflection},
  journal      = {CoRR},
  volume       = {abs/2105.10819},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.10819},
  eprinttype    = {arXiv},
  eprint       = {2105.10819},
  timestamp    = {Mon, 31 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-10819.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/AbelCDTW20,
  author       = {Andreas Abel and
                  Jesper Cockx and
                  Dominique Devriese and
                  Amin Timany and
                  Philip Wadler},
  title        = {Leibniz equality is isomorphic to Martin-L{\"{o}}f identity,
                  parametrically},
  journal      = {J. Funct. Program.},
  volume       = {30},
  pages        = {e17},
  year         = {2020},
  url          = {https://doi.org/10.1017/S0956796820000155},
  doi          = {10.1017/S0956796820000155},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AbelCDTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CockxA20,
  author       = {Jesper Cockx and
                  Andreas Abel},
  title        = {Elaborating dependent (co)pattern matching: No pattern left behind},
  journal      = {J. Funct. Program.},
  volume       = {30},
  pages        = {e2},
  year         = {2020},
  url          = {https://doi.org/10.1017/S0956796819000182},
  doi          = {10.1017/S0956796819000182},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/CockxA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/GilbertCST19,
  author       = {Ga{\"{e}}tan Gilbert and
                  Jesper Cockx and
                  Matthieu Sozeau and
                  Nicolas Tabareau},
  title        = {Definitional proof-irrelevance without {K}},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {3:1--3:28},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290316},
  doi          = {10.1145/3290316},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GilbertCST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Cockx19,
  author       = {Jesper Cockx},
  editor       = {Marc Bezem and
                  Assia Mahboubi},
  title        = {Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules},
  booktitle    = {25th International Conference on Types for Proofs and Programs, {TYPES}
                  2019, June 11-14, 2019, Oslo, Norway},
  series       = {LIPIcs},
  volume       = {175},
  pages        = {2:1--2:27},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2019.2},
  doi          = {10.4230/LIPICS.TYPES.2019.2},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Cockx19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/CockxD18,
  author       = {Jesper Cockx and
                  Dominique Devriese},
  title        = {Proof-relevant unification: Dependent pattern matching with only the
                  axioms of your type theory},
  journal      = {J. Funct. Program.},
  volume       = {28},
  pages        = {e12},
  year         = {2018},
  url          = {https://doi.org/10.1017/S095679681800014X},
  doi          = {10.1017/S095679681800014X},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfp/CockxD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/CockxA18,
  author       = {Jesper Cockx and
                  Andreas Abel},
  title        = {Elaborating dependent (co)pattern matching},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{ICFP}},
  pages        = {75:1--75:30},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236770},
  doi          = {10.1145/3236770},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/CockxA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Cockx17,
  author       = {Jesper Cockx},
  title        = {Dependent Pattern Matching and Proof-Relevant Unification},
  school       = {Katholieke Universiteit Leuven, Belgium},
  year         = {2017},
  url          = {https://lirias.kuleuven.be/handle/123456789/583556},
  timestamp    = {Tue, 27 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Cockx17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/CockxD17,
  author       = {Jesper Cockx and
                  Dominique Devriese},
  editor       = {Yves Bertot and
                  Viktor Vafeiadis},
  title        = {Lifting proof-relevant unification to higher dimensions},
  booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
                  and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  pages        = {173--181},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3018610.3018612},
  doi          = {10.1145/3018610.3018612},
  timestamp    = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/CockxD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/WinantCD17,
  author       = {Thomas Winant and
                  Jesper Cockx and
                  Dominique Devriese},
  editor       = {Wim Vanhoof and
                  Brigitte Pientka},
  title        = {Expressive and strongly type-safe code generation},
  booktitle    = {Proceedings of the 19th International Symposium on Principles and
                  Practice of Declarative Programming, Namur, Belgium, October 09 -
                  11, 2017},
  pages        = {199--210},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3131851.3131872},
  doi          = {10.1145/3131851.3131872},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/WinantCD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@inproceedings{DBLP:conf/icfp/CockxDP16,
  author       = {Jesper Cockx and
                  Dominique Devriese and
                  Frank Piessens},
  editor       = {Jacques Garrigue and
                  Gabriele Keller and
                  Eijiro Sumii},
  title        = {Unifiers as equivalences: proof-relevant unification of dependently
                  typed data},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
                  2016},
  pages        = {270--283},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2951913.2951917},
  doi          = {10.1145/2951913.2951917},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/CockxDP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/CockxPD14,
  author       = {Jesper Cockx and
                  Frank Piessens and
                  Dominique Devriese},
  editor       = {Zhong Shao},
  title        = {Overlapping and Order-Independent Patterns - Definitional Equality
                  for All},
  booktitle    = {Programming Languages and Systems - 23rd European Symposium on Programming,
                  {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
                  2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8410},
  pages        = {87--106},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54833-8\_6},
  doi          = {10.1007/978-3-642-54833-8\_6},
  timestamp    = {Thu, 14 Oct 2021 10:31:33 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/CockxPD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

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.