Type-checked message-passing between functional processes (1994)

by Malcolm Wallace, Colin Runciman
Venue:In Proc. Glasgow Functional Programming Workshop