Entries tagged Pi-calculus

Entries tagged Pi-calculus

 -

"A Formal Approach to Distributed Systems: Implementing a Pi-Calculus Interpreter in Haskell"

Adjoint's Thomas Dietert presentation on new methods for distributed systems at Haskell eXchange 2018

It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions. However, once we have them at the type-level, you often find that GHC's type chec…

 -

"Write Your Own GHC Type Checker Plugins"

Adjoint's Gabe Dijkstra's Presentation on new methods for distributed systems at Haskell eXchange 2018

It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions. However, once we have them at the type-level, you often find that GHC's type chec…