ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Tue 14 Apr 2015 17:00 - 17:30 at Skeel - Session 3 Chair(s): Dave Sands

XML processing languages can be classified according to whether they extract XML data by paths or pattern matching. The strengths of one category correspond to the weaknesses of the other. In this work, we propose to bridge the gap between these two classes by considering two languages, one in each class: XQuery and CDuce. To this end, we extend CDuce so as it can be seen as a succinct core λ-calculus that captures XQuery3.0. The extensions we consider essentially allow CDuce to implement XPath-like navigational expressions by pattern matching and precisely type them. The elaboration of XQuery 3.0 into the extended CDuce provides a formal semantics and a sound static type system for XQuery 3.0 programs.

Tue 14 Apr
Times are displayed in time zone: Azores change

16:30 - 18:00: Session 3ESOP at Skeel
Chair(s): Dave SandsChalmers University of Technology
16:30 - 17:00
A Theory of Name Resolution
Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology
17:00 - 17:30
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
Giuseppe CastagnaParis Diderot University & CNRS, Hyeonseung ImINRIA Grenoble Rhône-Alpes, Kim NguyễnLRI, Université Paris-Sud, Véronique BenzakenLRI, Université Paris-Sud
17:30 - 18:00
IsoLate: A Type System for Self-Recursion
Ravi ChughUniversity of Chicago