Gradually typing strategies

Jeff Smits, Eelco Visser. Gradually typing strategies. In Ralf Lämmel, Laurence Tratt, Juan de Lara, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. pages 1-15, ACM, 2020. [doi]


The following are older variants of this publication:


The following are duplicate records for the exact same publication: