31 citations · 41 across the 7 of their papers we have counts for
3 papers · 1 filter
Total Haskell is Reasonable Coq
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah +1
We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named hs-to-coq, that translates total Haskell p…
Analytic Formulas for Renyi Entropy of Hidden Markov Models
Joachim Breitner, Maciej Skorski
Determining entropy rates of stochastic processes is a fundamental and difficult problem, with closed-form solutions known only for specific cases. This paper pushes the state-of-t…
Lock-step simulation is child's play
Joachim Breitner, Chris Smith
Implementing multi-player networked games by broadcasting the player's input and letting each client calculate the game state - a scheme known as lock-step simulation - is an estab…