- year: "2022"
  pubs:
    - title: "Practical generic programming over a universe of native datatypes"
      slug: generics-agda-2022
      authors:
        - Lucas Escot
        - name: Jesper Cockx
          url: https://jesper.sikanda.be
      file: /papers/generics-agda-icfp22.pdf
      doi: "10.1145/3547644"
      venue:
        name: ICFP 2022
        url: https://icfp22.sigplan.org/

    - title: "Reasonable Agda is correct Haskell: Writing verified Haskell using agda2hs"
      slug: agda2hs-2022
      authors:
        - name: Jesper Cockx
          url: https://jesper.sikanda.be
        - name: Orestis Melkonian
          url: http://omelkonian.github.io/
        - Lucas Escot
        - name: James Chapman
          url: https://jmchapman.io
        - Ulf Norell
      file: /papers/agda2hs-haskell22.pdf
      doi: "10.1145/3546189.3549920"
      venue:
        name: Haskell Symposium 2022
        url: https://www.haskell.org/haskell-symposium/2022/