56 lines
1.7 KiB
YAML
56 lines
1.7 KiB
YAML
- year: "2023"
|
|
pubs:
|
|
- title: "Crafting Extensible Incremental Parallel Embedded Build Systems"
|
|
slug: achille-ifl23
|
|
authors:
|
|
- Lucas Escot
|
|
file: /papers/achille-ifl23.pdf
|
|
venue:
|
|
name: IFL 2023
|
|
url: https://ifl23.github.io/
|
|
- title: "Read the m̶o̶o̶d̶mode and stay positive"
|
|
slug: polarity-types23
|
|
authors:
|
|
- Lucas Escot
|
|
- name: Josselin Poiret
|
|
url: https://jpoiret.xyz/
|
|
- Joris Ceulemans
|
|
- name: Andreas Nuyts
|
|
url: https://anuyts.github.io/
|
|
- Malin Altenmüller
|
|
file: /papers/polarity-types23.pdf
|
|
venue:
|
|
name: TYPES 2023
|
|
url: https://types2023.webs.upv.es/
|
|
|
|
- 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/
|