1. Live Pattern Matching with Typed Holes;Proceedings of the ACM on Programming Languages;2023-04-06
2. Quantum Programming Taxonomy;2022 Ninth International Conference on Software Defined Systems (SDS);2022-12-12
3. Optimising First-Class Pattern Matching;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
4. Analyzing binding extent in 3CPS;Proceedings of the ACM on Programming Languages;2022-08-29
5. An Interactive Interpreter for Two Dimensional Lucid;IEEE Access;2022