Comment by agnishom

I googled that, and I found that it is a sister conference of POPL: https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-...

I was inclined to think that Barry Jay is some kind of crackpot