Browsing Mathematics (Faculty of) by Subject "polymorphism"

Now showing items 1-3 of 3

C∀ Type System Implementation

Moss, Aaron (University of Waterloo, 2019-04-30)

The C programming language has been an important software development tool for decades. C∀ is a new programming language designed with strong backwards-compatibility to take advantage of widely distributed C programming ...
Implementing Overloading and Polymorphism in Cforall

Bilson, Richard C. (University of Waterloo, 2003)

The programming language Cforall extends the C language with, among other things, overloading, parametric polymorphism, and functions that can return multiple values from a single call. This thesis presents an outline ...
Specializing Scala with Truffle

You, James (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 ...