01whole.pdf (10.28 MB)
Download file

Combining dependent types with object-oriented programming: a preliminary study

Download (10.28 MB)
posted on 28.03.2022, 13:40 authored by Shaun Muscat
Dependently-typed programming languages allow constraints on the processing of data to be expressed through more expressive types than in standard languages. Although a number of dependently-typed programming languages currently exist, these languages generally follow a functional programming model. The combination of dependent types with the widely used object-oriented programming model has not yet been extensively studied. This project provides the basis for future study of this combination through the development of a type system combining key aspects of the Java language with the concepts of pure type systems. A prototype language implementation based on this new type system is used to evaluate the effectiveness of using more expressive types to improve the safety of typical object-oriented programming.


Table of Contents

1. Introduction -- 2. Background -- 3. Type systems -- 4. System prototype -- 5. Conclusion.


Theoretical thesis. Bibliography: pages 59-60

Awarding Institution

Macquarie University

Degree Type

Thesis MRes


MRes, Macquarie University, Faculty of Science and Engineering, Department of Computing

Department, Centre or School

Department of Computing

Year of Award


Principal Supervisor

Anthony. Sloane


Copyright Shaun Muscat 2015. Copyright disclaimer: http://www.copyright.mq.edu.au




1 online resource (viii, 60 pages)

Former Identifiers

mq:42170 http://hdl.handle.net/1959.14/1051062