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.