Philip Johnson-Freyd

According to our database, Philip Johnson-Freyd authored at least 9 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

A Formalization of Core Why3 in Coq.

Joshua M. Cohen, Philip Johnson-Freyd

Proc. ACM Program. Lang., January, 2024

A Nominal Approach to Probabilistic Separation Logic.

John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2020

Abstracting models of strong normalization for classical calculi.

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

J. Log. Algebraic Methods Program., 2020

2019

Topos Semantics for a Higher-Order Temporal Logic of Actions.

Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette

Proceedings of the Proceedings Applied Category Theory 2019, 2019

2018

Uniform Strong Normalization for Multi-discipline Calculi.

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

2017

Call-by-name extensionality and confluence.

Philip Johnson-Freyd, Paul Downen, Zena M. Ariola

J. Funct. Program., 2017

2016

Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System.

Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

First Class Call Stacks: Exploring Head Reduction.

Philip Johnson-Freyd, Paul Downen, Zena M. Ariola

Proceedings of the Workshop on Continuations, 2015

Structures for structural recursion.

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015