Update — Video from the event is available here.

I’ll be giving an evening talk on the 16th of August at Skills Matter in London about my encoding of unboxed union types in Scala and the role that the Curry-Howard isomorphism played in deriving it. If you enjoyed the earlier article and would like to quiz me about it in person then please do come along.

If you’d like to know more about the Scala type-level programming techniques involved in the implementation, then you’ll be interested in my Advanced Scala course … please contact us for further details and booking information.

You can find details of the 16th of August event here.