Write a Blog >>
Sat 25 Jan 2020 12:00 - 12:30 at Orleans - Programming features Chair(s): Giuseppe Castagna

Integrating static typing and dynamic typing has been popular in academia and industry. Gradual typing is one approach to this integration that preserves type soundness by casting values at run-time. For higher order values such as functions and references, a cast typically wraps them in a proxy that performs casts at use sites. This approach suffers from two problems: (1) chains of proxies can grow and consume unbounded space, and (2) statically typed code regions need to check whether the value being used is proxied. Monotonic references [Siek et al. 2015c] solve the latter problem for mutable references by directly casting the heap cell instead of wrapping the reference in a proxy. In this paper we show that monotonic references can also solve the former problem. We present a space-efficient version of the semantics for monotonic references and prove an upper bound on space overhead. Furthermore, the prior semantics for monotonic references involved storing cast expressions (not yet values) on the heap and it is not obvious how to implement this behavior efficiently in a compiler and run-time system. In our new semantics, only values are written to the heap, making the semantics straightforward to implement.

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

wgt-2020-papers
10:30 - 12:30: WGT - Programming features at Orleans
Chair(s): Giuseppe CastagnaCNRS - Université de Paris, France
wgt-2020-papers10:30 - 11:00
Talk
Michael GreenbergPomona College, Stefan MalewskiUniversity of Santiago de Chile, Éric TanterUniversity of Chile
Pre-print File Attached
wgt-2020-papers11:00 - 11:30
Talk
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Pre-print
wgt-2020-papers11:30 - 12:00
Talk
Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Pre-print
wgt-2020-papers12:00 - 12:30
Talk
Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
Pre-print