Type systems for internet computation models

Lines connect the coordinator with its partners.

Project objective

The context of this project is a larger research project, recently started at the University of Glasgow and led by Dr Richard Connor, entitled Hippo: High- level Internet Programming with Persistent Objects". The aims of Hippo are twofold: firstly, to investigate semantic issues in the design of a language suitable for querying the World-Wide Web, and secondly to integrate existing persistent systems technology into the same domain to support the transfer of high-level typed data using the same widely-available transmission protocols. The project envisaged for this studentship is a starting point for the research fields mentioned above. The project concerns the design of type systems constructs suitable to describe a high-level typed language (Hippo Core Language) which provides an embedded internet semantics and integrates orthogonal persistence and the Web. "

Original text from CORDIS.

Participants

• UNIVERSITY OF STRATHCLYDE · GLASGOWCoordinatorUnited Kingdom

Links

• View on CORDIS