1. Embedding Functional Logic Programming in Haskell via a Compiler Plugin;Practical Aspects of Declarative Languages;2023
2. Towards a Theory of Conversion Relations for Prefixed Units of Measure;Relational and Algebraic Methods in Computer Science;2023
3. Asynchronous Reactive Programming with Modal Types in Haskell;Practical Aspects of Declarative Languages;2023
4. Constraint-based type inference for FreezeML;Proceedings of the ACM on Programming Languages;2022-08-29
5. An Empirical Study on Type Annotations;ACM Transactions on Software Engineering and Methodology;2021-03