SkillsCast

Hands On Idris: State Machines - Verifying Protocols In Types

18th April 2017 in London at CodeNode

This SkillsCast was filmed at Hands On Idris: State Machines - Verifying Protocols In Types

This session was not filmed.

This is the 8th in a series of hands on Idris meetings working through Edwin Brady's new book "Type-Driven Development with Idris". Don't miss it!

The aim is to get everybody coding so please bring a laptop. There will be a short talk to introduce the material and then we will work through as many exercises as we have time for.

This session covers chapter 13: State Machines: Verifying Protocols In Types. Specifying protocols in types. Describing preconditions and post-conditions of operations. Using dependent types in state.

YOU MAY ALSO LIKE:

Thanks to our sponsors

SkillsCast

This session was not filmed.

This is the 8th in a series of hands on Idris meetings working through Edwin Brady's new book "Type-Driven Development with Idris". Don't miss it!

The aim is to get everybody coding so please bring a laptop. There will be a short talk to introduce the material and then we will work through as many exercises as we have time for.

This session covers chapter 13: State Machines: Verifying Protocols In Types. Specifying protocols in types. Describing preconditions and post-conditions of operations. Using dependent types in state.

YOU MAY ALSO LIKE:

Thanks to our sponsors