You are here: irt.org | FOLDOC | 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].
(1996-08-21)
Nearby terms: Haskell B « Haskell Curry « Haskell User's Gofer System « HASL » HASP » has the X nature » hat
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL