Browsing by Author "7c0080b5-7634-4eb3-92e7-1421a0b38c61"
Now showing items 1-6 of 6
-
(Elsevier, 2020)Gradual typing is an effective approach to integrate static and dynamic typing, which supports the smooth transition between both extremes via the imprecision of type annotations. Gradual typing has been applied in many ...
-
(Cambridge University Press, 2018)Full-spectrum dependent types promise to enable the development of correct-by-construction software. However, even certified software needs to interact with simply-typed or untyped programs, be it to perform system calls, ...
-
(Assoc Computing Machinery, 2016)Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition ...
-
(2016)Effect systems have the potential to help software developers, but their practical adoption has been very limited. We conjecture that this limited adoption is due in part to the difficulty of transitioning from a system ...
-
(2016)Bytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java virtual machine. Aspect weavers and other instrumentations are usually developed ...
-
(Cambridge University Press, 2020)Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015
