Please enable JavaScript.
Coggle requires JavaScript to display documents.
DEVOXX 2018 - IDRIS (Verify runtime check
at compile time : (Simple…
DEVOXX 2018 - IDRIS
-
Proving protocols
-
-
-
-
Predicates on types can help (for states of a state machine, closed - try with open using typeclasses - methods on types)
-
-
-
-