Cimini, Matteo; Siek, Jeremy G. Automatically generating the dynamic semantics of gradually typed languages. (English) Zbl 1380.68082 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 789-803 (2017). MSC: 68N15 68N17 68N30 PDFBibTeX XMLCite \textit{M. Cimini} and \textit{J. G. Siek}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 789--803 (2017; Zbl 1380.68082) Full Text: DOI
Cimini, Matteo; Siek, Jeremy G. The Gradualizer: a methodology and algorithm for generating gradual type systems. (English) Zbl 1347.68048 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 443-455 (2016). MSC: 68N18 68N15 68N17 68N20 68Q55 PDFBibTeX XMLCite \textit{M. Cimini} and \textit{J. G. Siek}, in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 443--455 (2016; Zbl 1347.68048) Full Text: DOI
Siek, Jeremy G.; Vitousek, Michael M.; Cimini, Matteo; Tobin-Hochstadt, Sam; Garcia, Ronald Monotonic references for efficient gradual typing. (English) Zbl 1335.68069 Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 432-456 (2015). MSC: 68N30 68N18 68Q55 PDFBibTeX XMLCite \textit{J. G. Siek} et al., Lect. Notes Comput. Sci. 9032, 432--456 (2015; Zbl 1335.68069) Full Text: DOI