BrighterTube

Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN

Code Sync15.5K subscribers

977 views

Why it's on BrighterTube

Advanced · From a channel a BrighterTube curator approved in full · 80% confidence

From a channel Lumen includes in full: Code Sync runs and records the BEAM community's conferences (Code BEAM, ElixirConf EU, Lambda Days, MQ Summit): full technical talks on Erlang, Elixir, OTP, distributed systems and functional programming by the language's core contributors and practitioners.

What you'll learn

A 49-minute video from Code Sync's catalogue; the title names its topic.

Programming & CS

Video by Code Sync, played through YouTube's embedded player.

Part of Code Mesh LDN 2019