Higher-Order Size Checking without Subtyping. - Attila Góbi; Olha Shkaravska; Marko C. J. D. van Eekelen (Trends in Functional Programming, 2012)

Low Level Conditional Move Optimization. - Artyom Antyipin; Attila Góbi; Tamás Kozsik (Acta Cybern., 2013)