Exploring universe polymorphism in Omega


Exploring universe polymorphism in Omega

Show full record

Title: Exploring universe polymorphism in Omega
Author: Brown, Jonathon Daniel
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
Date: 2006-05-05

Files in this work

Download File: Brown_CS_06.pdf
Size: 252.6Kb
Format: application/pdf

This work appears in the following Collection(s)

Show full record

Advanced Search


My Account