H ?
«
‹
←
→
›
»
Language peer sets for Quty:
Japan↑
Japan/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Quty(ID:1115/qut002)
alternate simple view
Country: Japan
Designed 1984
Published: 1984
Functional plus logic.
Structures:
Related languages
References:
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
|