1. Cubical Agda: A dependently typed programming language with univalence and higher inductive types. (6th April 2021) Authors: VEZZOSI, ANDREA; MÖRTBERG, ANDERS; ABEL, ANDREAS Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Elaborating dependent (co)pattern matching: No pattern left behind. (21st January 2020) Authors: COCKX, JESPER; ABEL, ANDREAS Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Elaborating dependent (co)pattern matching: No pattern left behind. (21st January 2020) Authors: COCKX, JESPER; ABEL, ANDREAS Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Interactive programming in Agda – Objects and graphical user interfaces. (2017) Authors: ABEL, ANDREAS; ADELSBERGER, STEPHAN; SETZER, ANTON Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Interactive programming in Agda – Objects and graphical user interfaces. (6th February 2017) Authors: ABEL, ANDREAS; ADELSBERGER, STEPHAN; SETZER, ANTON Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Leibniz equality is isomorphic to Martin-Löf identity, parametrically. (17th June 2020) Authors: ABEL, ANDREAS; COCKX, JESPER; DEVRIESE, DOMINIQUE; TIMANY, AMIN; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. POPLMark reloaded: Mechanizing proofs by logical relations. (2019) Authors: ABEL, ANDREAS; ALLAIS, GUILLAUME; HAMEER, ALIYA; PIENTKA, BRIGITTE; MOMIGLIANO, ALBERTO; SCHÄFER, STEVEN; STARK, KATHRIN Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Well-founded recursion with copatterns and sized types. (2016) Authors: ABEL, ANDREAS; PIENTKA, BRIGITTE Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Well-founded recursion with copatterns and sized types. (3rd March 2016) Authors: ABEL, ANDREAS; PIENTKA, BRIGITTE Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗