Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at ESOP 2015

BETTY Papers at ESOP 2015

Three papers by BETTY authors have been accepted for ESOP 2015. Congratulations to all!

Probabilistic Programs as Spreadsheet Queries. Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgstrom, Nicolas Rolland, Thore Graepel and Daniel Tarlow.

A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches. Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn and Véronique Benzaken.

A Semantics for Propositions as Sessions. Sam Lindley and J. Garrett Morris.