Files in this item

FilesDescriptionFormat

application/pdf

application/pdfBAY-THESIS-2016.pdf (340kB)
(no description provided)PDF

Description

Title:A static semantics for labels in OCaml
Author(s):Bay, Michael
Advisor(s):Gunter, Elsa
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:M.S.
Genre:Thesis
Subject(s):OCaml
Abstract:In this thesis, we are proposing a type system and a type inferencer for the label-feature of OCaml. Labels in OCaml allow the naming of arguments to functions and are intended to document the code. We provide a type system that describes whether a derived type for an OCaml expression containing labels is correct or not, a type inference algorithm, and show that OCaml’s function application does not strictly support currying.
Issue Date:2016-07-15
Type:Thesis
URI:http://hdl.handle.net/2142/92854
Rights Information:Copyright 2016 Michael Bay
Date Available in IDEALS:2016-11-10
Date Deposited:2016-08


This item appears in the following Collection(s)

Item Statistics