Browsing Mathematics (Faculty of) by Author "Kabir, Ifaz"
Now showing items 1-1 of 1
-
κDOT: A DOT Calculus with Mutation and Constructors
Kabir, Ifaz (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 ...