PowerFuL

(language)   A language combining functional programming and logic programming, using "angelic Powerdomains".

Last updated: 1998-06-30


Loading