"Multi-stage programs in context."

Matthew Pickering, Nicolas Wu, Csongor Kiss (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics