conf.researchr.org / Joachim Breitner
Registered user since Thu 17 Mar 2016
Name:Joachim Breitner
Country:Germany
Affiliation:Lean FRO, LLC
Personal website: https://www.joachim-breitner.de/
X (Twitter): https://x.com/nomeata
GitHub: https://github.com/nomeata
Contributions
2024
2023
Symposium on Practical Aspects of Declarative Languages
ICFP
- Author of The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming within the ICFP Papers and Events-track
- Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
- Author of Functional Pearl: More fixpoints! within the Artifact Evaluation-track
- Author of More Fixpoints! (Functional Pearl) within the ICFP Papers and Events-track