"Call-by-name Gradual Type Theory."

Max S. New, Daniel R. Licata (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics