Browsing Computer Science by Subject "java"
Now showing items 1-2 of 2
-
Gradual Pluggable Typing in Java
(University of Waterloo, 2016-04-27)Gradual typing provides the ability to safely mix untyped or dynamically typed code with statically typed code while maintaining, within the statically typed portion, the guarantees claimed by the static typing. It is ... -
Specializing Scala with Truffle
(University of Waterloo, 2022-11-24)Scala is a generic object-oriented programming language with higher-order abstractions. Programming abstractions in Scala exemplify reusability and extensibility in the context of type safety. In particular, generic ...