Toggle navigation
Metatheorem
Author
Metatheorem
POPL Tutorial: Linear and Graded Modal Types for Fine-Grained Program Reasoning
08 November 2018 |
Augusta University is Hiring Computer Scientists!
19 September 2018 |
New Papers and Talks
29 July 2018 |
Linear Categories: A Folklore Simplification
24 July 2018 |
Barr's Diagrams: Thumbnails
19 July 2018 |
Day 1 at the NSF Career Workshop
08 March 2018 |
Rebooting the Blog: What have I been up to?
20 November 2017 |
Coalgebras, Comonads, and Distributive Laws
19 November 2016 |
LL2016 - Linear Logic: interaction, proofs and computation
12 November 2016 |
Trends in Functional Programming 2016
12 June 2016 |
The Collapse: When Matter Meets Antimatter
23 April 2016 |
LFCS16: Topics
06 January 2016 |
Logical Foundations in Computer Science 2016
04 January 2016 |
Resources for Categories in CS
06 December 2015 |
NIST Workshop on Computational Category Theory: Day 1 and Day 2
30 September 2015 |
NIST Workshop on Computational Category Theory: Day 0
28 September 2015 |
On the Categorical Model of Fragmented Y
01 December 2014 |