2 papers
cs.PF2023
Algebraic Reasoning About Timeliness
Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy +5
Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e.…
cs.PL2016
Coinductive Soundness of Corecursive Type Class Resolution
František Farka, Ekaterina Komendantskaya, Kevin Hammond
Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed,…