Brown. D. F. Sort inference in action semantics. Ph.D. Thesis. University of Glasgow, Department of Computing Science, 1996.

Languages mentioned

• ACTRESS {1989}