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

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