Write a Blog >>
Sat 23 Jan 2016 14:45 - 15:10 at Room St Petersburg I - Session Three Chair(s): Limin Jia

Sat 23 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

14:00 - 15:35
Session ThreeOff the Beaten Track at Room St Petersburg I
Chair(s): Limin Jia Carnegie Mellon University
14:00
45m
Talk
Keynote Talk: Generalising Abstraction
Off the Beaten Track
K: Robert Atkey University of Strathclyde
14:45
25m
Talk
The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems
Off the Beaten Track
Pre-print
15:10
25m
Talk
Affine Functional Programs as Higher-order Boolean Circuits
Off the Beaten Track
Pre-print