Back to search

Loyola Marymout University

An Argument against Gradual Type Systems in Programming Language Semantics

dc:creator Lau, Natalie

thesis:degree_name Master of Science

Degree

thesis:*

Name thesis:degree_name: Master of Science
Level thesis:degree_level: Thesis

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Lau, Natalie
Contributors dc:contributor: Ray Toal
John David N. Dionisio
Julian Gonzalez

Subjects

dc:subject × 5

Identifiers

dc:identifier.*

Repository record dc:identifier: https://digitalcommons.lmu.edu/etd/1342
OAI identifier oai:identifier: oai:digitalcommons.lmu.edu:etd-2345

Chain of custody

source

Harvested from: Loyola Marymout University
Base URL: digitalcommons.lmu.edu/do/oai/
Last updated: 2026-07-27
Source record: OAI-PMH GetRecord

related terms

citation

Lau, Natalie. An Argument against Gradual Type Systems in Programming Language Semantics. Thesis thesis, https://digitalcommons.lmu.edu/etd/1342

More from Loyola Marymout University