HASL

<language>

SASL plus conditional unification.

["A Prological Definition of HASL, A Purely Functional Language with Unification Based Conditional Binding Expressions", H. Abramson in Logic Programming: Functions, Relations and Equations, D. DeGroot et al eds, P-H 1986].

Last updated: 1996-08-21

Nearby terms:

Haskell Curry ♦ Haskell User's Gofer System ♦ HASL ♦ HASP ♦ has the X nature

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading