Μπαρμπαγιάννης Πέτρος, Non-Strict Pattern Matching and Delimited Control, 2017,