TexasScholarWorks
    • Login
    • Submit
    View Item 
    •   Repository Home
    • Student Works
    • Honors Theses
    • View Item
    • Repository Home
    • Student Works
    • Honors Theses
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Exploring universe polymorphism in Omega

    Thumbnail
    View/Open
    Brown_CS_06.pdf (246.7Kb)
    Date
    2006-05-05
    Author
    Brown, Jonathon Daniel
    Share
     Facebook
     Twitter
     LinkedIn
    Metadata
    Show full item record
    Abstract
    Ωmega extends Haskell with novel features for practical functional programming: GADT's, extensible kinds, and type functions. With both extensible types and extensible kinds in place, there is a tendency for redundant datatype definitions; likewise for functions that operate over these structures. Universe polymorphism is a way to abstract over levels in the typing hierarchy, unifying these redundant constructs. In this paper, we use Ωmega's novel features to encode simplified models of Ωmega as an object language, and then use these models to begin exploring the design space for universe polymorphism in Ωmega.
    Department
    Computer Sciences
    Subject
    College of Natural Sciences
    omega
    universe polymorphism
    object language
    programming
    Ωmega
    URI
    http://hdl.handle.net/2152/13342
    Collections
    • Honors Theses

    University of Texas at Austin Libraries
    • facebook
    • twitter
    • instagram
    • youtube
    • CONTACT US
    • MAPS & DIRECTIONS
    • JOB OPPORTUNITIES
    • UT Austin Home
    • Emergency Information
    • Site Policies
    • Web Accessibility Policy
    • Web Privacy Policy
    • Adobe Reader
    Subscribe to our NewsletterGive to the Libraries

    © The University of Texas at Austin

     

     

    Browse

    Entire RepositoryCommunities & CollectionsDate IssuedAuthorsTitlesSubjectsDepartmentsThis CollectionDate IssuedAuthorsTitlesSubjectsDepartments

    My Account

    Login

    Statistics

    View Usage Statistics

    Information

    About Contact Policies Getting Started Glossary Help FAQs

    University of Texas at Austin Libraries
    • facebook
    • twitter
    • instagram
    • youtube
    • CONTACT US
    • MAPS & DIRECTIONS
    • JOB OPPORTUNITIES
    • UT Austin Home
    • Emergency Information
    • Site Policies
    • Web Accessibility Policy
    • Web Privacy Policy
    • Adobe Reader
    Subscribe to our NewsletterGive to the Libraries

    © The University of Texas at Austin