Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Philip Johnson-Freyd
conf.researchr.org general profile
POPL 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Sat 3 Oct 2026
Name:
Philip Johnson-Freyd
Affiliation:
Sandia National Laboratories
Contributions
2026
SSNL
Author of We Can Know, we Must Know within the SSNL 2026-track
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
Fri 9 Oct 15:42