@inproceedings{new_licata_2018_fscd,
 title = {Call-by-name Gradual Type Theory},
 author = {New, Max S. and Licata, Daniel R.},
 year = {2018},
 doi = {10.4230/LIPIcs.FSCD.2018.24},
 url = {http://drops.dagstuhl.de/opus/volltexte/2018/9194/},
 booktitle = {3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)},
 series = {LIPIcs},
 volume = {108},
 publisher = {Schloss Dagstuhl}
}