Home
Schedule
Abstract Template
Masters Attendance

Programming With Rectangles Triangles And Circles

Stc

ComputingScienceColloquium



Date: November 4

Time: 10.30-11.30am

Room: Transitorium I, Room C

----+++ Speaker:  Erik Meijer

----+++ Title:     Programming with Rectangles, Triangles, and Circles


----+++ Abstract


We will argue that by properly generalizing the type system and
expression syntax, it is possible for any modern object oriented language to provide first class support for manipulating both relational
and hierarchical data in a sound and statically typed manner. The type system extensions, however, are not based on XML Schemas. We show that XSDs and the XML data model do not fit well with the class-based nominal type system and object graph representation of our target languages.Instead we propose to extend object-oriented type system with new structural types that model XSD sequences, choices, and all-groups. We demonstrate our language and type system by translating a selection of the XQuery use cases.