Domain-theoretic Foundations Of Functional Programming