Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3070294.pdf (11MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Parametricity as a Notion of Uniformity in Reflexive Graphs
Author(s):Dunphy, Brian Patrick
Doctoral Committee Chair(s):Uday Reddy
Department / Program:Mathematics
Discipline:Mathematics
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:The strength of this notion of uniformity can be exhibited by way of "representation results". We show that the possible parametric transformations of certain type correspond to the intuitively uniform families of functions of that type. Thus abstract models of polymorphic programming languages are produced. Some programming language features, such as state and recursion, provide modeling complications when combined with polymorphism. We show that representation results are still obtainable for polymorphic programming languages with state or recursion.
Issue Date:2002
Type:Text
Language:English
Description:265 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2002.
URI:http://hdl.handle.net/2142/86798
Other Identifier(s):(MiAaPQ)AAI3070294
Date Available in IDEALS:2015-09-28
Date Deposited:2002


This item appears in the following Collection(s)

Item Statistics