2026-09-20T12:41:57Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/92854 2023-07-11 col_2142_5131 com_2142_5130

Gunter, Elsa Bay, Michael 2016-11-10T17:55:15Z 2016-11-10T17:55:15Z 2016-07-15 2016-08 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. Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2016-11-09 without embargo terms The student, Michael Bay, accepted the attached license on 2016-07-15 at 14:18. The student, Michael Bay, submitted this Thesis for approval on 2016-07-15 at 14:29. This Thesis was approved for publication on 2016-07-15 at 17:04. DSpace SAF Submission Ingestion Package generated from Vireo submission #9966 on 2016-11-09 at 10:25:15 Made available in DSpace on 2016-11-10T17:55:15Z (GMT). No. of bitstreams: 2 BAY-THESIS-2016.pdf: 339886 bytes, checksum: f164296d5f8e6dba3e141f6f00c6f409 (MD5) LICENSE.txt: 4208 bytes, checksum: abaa18c488140d7efae484a273ad5086 (MD5) Previous issue date: 2016-07-15 application/pdf http://hdl.handle.net/2142/92854 en Copyright 2016 Michael Bay OCaml A static semantics for labels in OCaml text text Computer Science Computer Science University of Illinois at Urbana-Champaign Thesis M.S.