31 citations · 47 across the 16 of their papers we have counts for
Showing 2017 · cs.PLShow all
2 papers · 2 filters
cs.PL2017★ 31 cited
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…
cs.PL2017★ 6 cited
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…