When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.
Proc. ACM Program. Lang., January, 2024
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact).
Dagstuhl Artifacts Ser., 2023
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
Direct Foundations for Compositional Programming (Artifact).
Dagstuhl Artifacts Ser., 2022
Simultaneously exploring multi-scale and asymmetric EEG features for emotion recognition.
Comput. Biol. Medicine, 2022
Simple Extensible Programming through Precisely-Typed Open Recursion.
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022
Direct Foundations for Compositional Programming.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
A Calculus with Recursive Types, Record Concatenation and Subtyping.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022