Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek. Putting Gradual Types to Work. In José F. Morales, Dominic A. Orchard, editors, Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings. Volume 12548 of Lecture Notes in Computer Science, pages 54-70, Springer, 2021. [doi]
Abstract is missing.