Andrew K. Hirsch - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

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

Contributions

2018

ICFP

Strict and Lazy Semantics for Effects: Layering Monads and Comonads

Show activities from other conferences

ICFP 2018-profile
View general profile