Symposium on Practical Aspects of Declarative Languages

• Asynchronous Reactive Programming with Modal Types in Haskell
• Committee Member in Program Committee within the PADL 2024-track