Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Philip Johnson-Freyd
conf.researchr.org general profile
POPL 2024 profile
Not registered as user
Name:
Philip Johnson-Freyd
Affiliation:
Sandia National Laboratories
Contributions
2024
POPL
Author of A Formalization of Core Why3 in Coq within the POPL-track
LAFI
Author of Towards a Categorical Model of the Lilac Separation Logic within the LAFI 2024-track
Share
x
Thu 19 Dec 09:05