No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. - Roger Bosman; Georgios Karachalias; Tom Schrijvers (ITP, 2023)

A Calculus for Scoped Effects & Handlers. - Roger Bosman; Birthe van den Berg; Wenhao Tang; Tom Schrijvers (Log. Methods Comput. Sci., 2024)