Generalized Algebraic Data Types for MLscript

The Hong Kong University of Science and Technology
Department of Computer Science and Engineering

Final Year Thesis Oral Defense

Title: "Generalized Algebraic Data Types for MLscript"

by

LUO Yicong

Abstract:

Generalized algebraic data types (GADTs) are a simple but powerful 
generalization of the data types of Haskell and ML, which have been proven 
useful for ensuring data invariants and program correctness, among others. In 
this project, we show that the MLscript programming language can extended to 
express GADT definitions and GADT pattern matchings via a simple extension.


Date            : 27 April 2024 (Saturday)

Time            : 10:40 - 11:20

Venue           : Room 3494 (near lifts 25/26), HKUST

Advisor         : Dr. PARREAUX Lionel

2nd Reader      : Prof. ZHANG Charles