CW715
Ruben P. Pieters and Tom Schrijvers
Faster coroutine pipelines: A reconstruction (Extended version)
November 2018
abstract.html / report.pdf (495K) / email to: R. Pieters

CW714
Willem Penninckx, Amin Timany, and Bart Jacobs
Abstract I/O Specification
May 2018
abstract.html / report.pdf (427K) / email to: B. Jacobs

CW713
Ruben P. Pieters, Tom Schrijvers, Exequiel Rivas
Handlers for non-monadic computations (Extended version)
March 2018
abstract.html / report.pdf (734K) / email to: R. Pieters

CW712
Jafar Hamin, Bart Jacobs
Deadlock-free monitors: Extended version
February 2018
abstract.html / report.pdf (511K) / email to: J. Hamin

CW711
Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
Explicit effect subtyping (Extended version)
February 2018
abstract.html / report.pdf (582K) / email to: A.H. Saleh