CCE Theses and Dissertations


The Mapping and Integration of The Haskell Language to The Common Object Request Broker Architecture

Date of Award


Document Type


Degree Name

Doctor of Philosophy (PhD)


Graduate School of Computer and Information Sciences


S. Rollins Guild

Committee Member

Marlyn Kemper Littman

Committee Member

Michael J. Laszlo


This dissertation is about the mapping and integration of the pure functional language Haskell to the Object Management Group's (OMG) Common Object Request Broker Architecture (CORBA). The purpose of this work is to create the definitions necessary for programs written in the Haskell language to successfully interoperate with programs written in any other programming languages operating within the OMG/CORBA environment. This work extended prior work in the areas of language integration into distributed environments, and language mappings to the OMG/CORBA environment. It also extended and synthesized the prior theoretical and applied research to integrate imperative and object-oriented characteristics into the Haskell programming language.

In order to accomplish this objective, a language mapping from the OMG Interface Definition Language to Haskell was created. Specific extensions were created in Haskell to support the semantics of this interface definition language. These extensions also respected Haskell's pure functional, non-strict semantics as well. It is expected that the results of this work are sufficient so that object brokerage systems can be implemented to support the mapping and integration definitions defined in this dissertation. In addition, it is expected that the extensions and techniques defined in this work may have further utility in similar theoretical and applied problem domains.

This document is currently not available here.

  Link to NovaCat