×

Found 3 Documents (Results 1–3)

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field