Write a Blog >>
Tue 21 Jan 2020 11:30 - 12:00 at St Claude - B

My work consists of denotational semantics for a first-order differentiable programming language which has smooth manifolds as ground types. It supports basic data types, partiality, conditionals, and iteration. The typing judgments also tracks the differentiability class of terms. The semantics uses a family of restriction categories and a kind of lax functor between them. It also validates relations often used by automatic differentiation implementations.

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:30 - 12:30: LAFI (né PPS) - B at St Claude
lafi-202010:30 - 11:00
Carol MakUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
lafi-202011:00 - 11:30
Swaraj DashUniversity of Oxford, Sam StatonUniversity of Oxford
File Attached
lafi-202011:30 - 12:00
Jesse SigalUniversity of Edinburgh
lafi-202012:00 - 12:30
Aloïs BrunelDeepomatic, Damiano MazzaCNRS, Michele PaganiIRIF - Université de Paris