H ? « ‹ ← → › »

Language peer sets for UNICORN:
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

UNICORN(ID:2875/uni007)

alternate simple view
Designed 1986
Published: 1986

Constraining-Unification  Language
References:
  • Bandes, Robert G. (1984) Bandes, Robert G. "Constraining-unification and the programming language unicorn" pp106-110 Abstract
          in [POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States
  • Bandes, Robert G. (1986) Bandes, Robert G. "Constraining-Unification and the Programming Language UNICORN" Abstract
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986
    Resources
    • h
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder