H ? « »

Language peer sets for Quty:
Designed 1984
1980s languages
Fourth generation
Late Cold War


alternate simple view
Country: Japan
Designed 1984
Published: 1984

Functional plus logic.

Related languages
Quty Tiny Quty   Subset

  • Sato, M. et al, (1984) Sato, M. et al, "Quty: A Functional Language Based on Unification", in Conf Fifth Gen Computer Systems, ICOT 1984, pp.157-165.
  • Sato, M., (1985) Sato, M., "Typed Logical Calculus", Technical Report 85-13, Department of Information Science, Faculty of Science, University of Tokyo, 1985
  • Sato, M., (1987) Sato, M., "Quty: A Concurrent Language Based on Logic and Function", Proceedings of the Fourth International Conference on Logic Programming, The MIT Press, 1987
  • Takayama, Yukihide (1990) Takayama, Yukihide "Extended projection?new method to extract efficient programs from constructive proofs" Proceedings of the fourth international conference on Functional Programming Languages and Computer Architecture Imperial College, London, United Kingdom pp299 - 312 DOI Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder