2025_08_26

Our paper “On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs” has bee accepted and will appear at OOPSLA’25.