1 citations · 1 across the 4 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version)
Tiago Soares, Mário Pereira
Algebraic effects and handlers are a powerful abstraction to build non-local control-flow mechanisms such as resumable exceptions, lightweight threads, co-routines, generators, and…
cs.LO2022
Auto-active Verification of Graph Algorithms, Written in OCaml
Daniel Castanho, Mário Pereira
Functional programming offers the perfect ground for building correct-by-construction software. Languages of such paradigm normally feature state-of-the-art type systems, good abst…