Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Andrew K. Hirsch

Registered user since Mon 6 Nov 2017

Name:Andrew K. Hirsch
Affiliation:Cornell University
Personal website:akhirsch.science
Research interests:Categorical Semantics, Logics for Security


ICFP 2018 Strict and Lazy Semantics for Effects: Layering Monads and Comonads
Show activities from other conferences

ICFP 2018-profile
View general profile