Sato, M. et al, "Quty: A Functional Language Based on Unification", in Conf Fifth Gen Computer Systems, ICOT 1984, pp.157-165.

Languages mentioned

• Quty {1984}