29 lines
827 B
YAML
29 lines
827 B
YAML
- 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 2022
|
|
url: https://www.haskell.org/haskell-symposium/2022/
|