Functional Software Architecture

Expressive static type systems

A Functional Software Architecture Pattern

TODO