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].
| < Previous Terms | Terms Containing HASL | Next Terms > |
| hash table Haskell Haskell B Haskell Curry Haskell User's Gofer System | HASL | HASP has the X nature hat Hayes Hayes-compatible |



