Browsing Mathematics (Faculty of) by Subject "type safety, dependent object types, mutation"
Now showing items 1-1 of 1
-
κDOT: A DOT Calculus with Mutation and Constructors
(University of Waterloo, 2018-09-26)Scala is a functional and object-oriented programming language which unifies concepts from object and module systems by allowing for objects with type members which are referenced via path-dependent types. The Dependent ...