If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.
Customer service
All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com
Sale & Press
If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com
Help
If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.
Customer service
All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com
Sale & Press
If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com
The structure and components of the first programming languages were dictated by the architecture of computers. It was the human mind which had to bend to the peculiarities of the machine. When basic technical problems were solved a reverse current began to get stronger. There began a search for formalisms which would allow to program computers on a high and expressive level of abstraction. One effect of the search was the birth of those programming languages which we call declarative. From the beginning there have been two main streams in the field of declarative programming: functional programming and logic programming. A third stream tried to unify these paradigms and we call this stream functional logic programming. This work presents an approach to implement high level functional logic programming languages by translating them to purely functional ones. The translation fully preserves the laziness of the original declarations and makes use of the sharing provided by the target language. The work provides a proof of soundness for the core concepts as well as demonstrations for the practical relevance of the approach.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer,
birth defects, or other reproductive harm.
For MAP (Minimum Advertised Price) violations and Intellectual Property (IP) or Trademark concerns, please contact:
support@ergodebooks.com
⚠️ California Proposition 65 Warning: Some products sold on this website may expose you to chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm. For more information, visit www.P65Warnings.ca.gov.