Login / Signup
Markus de Medeiros
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Error Bounds
Pairwise
High Order
Predicate Logic
Top Venues
CoRR
</>
Publications
</>
Philipp G. Haselwarter
,
Kwing Hei Li
,
Markus de Medeiros
,
Simon Oddershede Gregersen
,
Alejandro Aguirre
,
Joseph Tassarotti
,
Lars Birkedal
Tachis: Higher-Order Separation Logic with Credits for Expected Costs.
CoRR
(2024)
Alejandro Aguirre
,
Philipp G. Haselwarter
,
Markus de Medeiros
,
Kwing Hei Li
,
Simon Oddershede Gregersen
,
Joseph Tassarotti
,
Lars Birkedal
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.
CoRR
(2024)