H ? « ‹ ← → › »

Language peer sets for HASL:
United Kingdom↑
United Kingdom/1982↑
Designed 1982 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

HASL(ID:1227/has005)

alternate simple view
Country: United Kingdom
Designed 1982
Published: 1983

? For Harvey Abramson's Static Language

SASL plus conditional unification.
Related languages
SASL (2nd version) → HASL   Augmentation of
References:
  • Abramson, Harvey (1982) Abramson, Harvey "Unification-based Conditional Binding Constructs" ICLP 1982 pp182-186
  • Abramson, Harvey (1984) Abramson, Harvey "A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions" New Generation Computing 2(1) pp3-35 1984
  • Abramson, H (1986) Abramson, H "A Prological Definition of HASL, A Purely Functional Language with Unification Based Conditional Binding Expressions"
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder