Activities per year
Activities
- 10 results
Search results
-
Invited Talk “Resource Constrained Programming with Full Dependent Types”
Bob Atkey (Speaker)
23 Jan 2020Activity: Talk or presentation types › Invited talk
-
Invited talk “Type Theory and Sympathy”
Bob Atkey (Speaker)
9 Dec 2019Activity: Talk or presentation types › Invited talk
-
Invited Talk “Reviews: Writing, Reading, and Responding”
Bob Atkey (Speaker)
22 Jun 2019Activity: Talk or presentation types › Invited talk
-
Invited talk “One monad to the tune of another”
Bob Atkey (Speaker)
23 Jun 2019Activity: Talk or presentation types › Invited talk
-
Invited talk “Syntax and Semantics of Quantitative Type Theory”
Bob Atkey (Speaker)
6 Sept 2018Activity: Talk or presentation types › Invited talk
-
Invited talk “Classical Linear Logic Considered as a Programming Language”
Bob Atkey (Speaker)
29 Jul 2016Activity: Talk or presentation types › Invited talk
-
Invited talk “Generalising Abstraction”
Bob Atkey (Speaker)
23 Jan 2016Activity: Talk or presentation types › Invited talk
-
Invited talk “Productive Coprogramming with Guarded Recursion”
Bob Atkey (Speaker)
5 Nov 2015Activity: Talk or presentation types › Invited talk
-
Invited talk “Relational Parametricity beyond Type Abstraction”
Bob Atkey (Speaker)
12 Apr 2014Activity: Talk or presentation types › Invited talk
-
Invited talk “From Parametricity to Conservation Laws, via Noether’s Theorem”
Bob Atkey (Speaker)
8 Nov 2013Activity: Talk or presentation types › Invited talk