Polymorphic sorts and types for concurrent functional programs (1993)

by Bent Thomsen