About
My name is Robert Atkey, though most people pronounce the first part “Bob”.
I am interested in programming languages, type theory, category theory and logic, particularly non-classical logics.
Email:
Twitter: @bentnibRecent Blog Posts
See also the index of all blog posts.
- Friday, 29 March 2013: Productive Coprogramming with Guarded Recursion
- Wednesday, 7 November 2012: Theorems for Free
- Wednesday, 7 November 2012: Abstraction and Invariance for Algebraically Indexed Types
- Thursday, 6 September 2012: Interleaving Data and Effects
- Wednesday, 5 September 2012: Relational Parametricity for Higher Kinds
![[RSS Icon]](images/Feed-icon.png){kind=icon}
RSS Feed
.
Publications and Other Documents
My publications and other documents are available online. See also DBLP .