Physical Sciences and Mathematics Commons^™

Jiapi: A Type Checker Generator For Statically Typed Languages, Benjamin Cisneros Merino

UNLV Theses, Dissertations, Professional Papers, and Capstones

Type systems are a key characteristic in the context of the study of programming languages. They frequently offer a simple, intuitive way of expressing and testing the fundamental structure of programs. This is especially true when types are used to provide formal, machine-checked documentation for an implementation. For example, the absence of type errors in code prior to execution is what type systems for static programming languages are designed to assure, and in the literature, type systems that satisfy this requirement are referred to as sound type systems. Types also define module interfaces, making them essential for achieving and maintaining …