Functional declarative language design and predicate calculus: A practical approach
- Author
- Raymond Boute
- Organization
Downloads
-
2439.pdf
- full text
- |
- open access
- |
- |
- 415.05 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-327805
- MLA
- Boute, Raymond. “Functional Declarative Language Design and Predicate Calculus: A Practical Approach.” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 27, no. 5, ASSOC COMPUTING MACHINERY, 2005, pp. 988–1047, doi:1854/4354.
- APA
- Boute, R. (2005). Functional declarative language design and predicate calculus: A practical approach. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 27(5), 988–1047. https://doi.org/1854/4354
- Chicago author-date
- Boute, Raymond. 2005. “Functional Declarative Language Design and Predicate Calculus: A Practical Approach.” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 27 (5): 988–1047. https://doi.org/1854/4354.
- Chicago author-date (all authors)
- Boute, Raymond. 2005. “Functional Declarative Language Design and Predicate Calculus: A Practical Approach.” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 27 (5): 988–1047. doi:1854/4354.
- Vancouver
- 1.Boute R. Functional declarative language design and predicate calculus: A practical approach. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. 2005;27(5):988–1047.
- IEEE
- [1]R. Boute, “Functional declarative language design and predicate calculus: A practical approach,” ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 27, no. 5, pp. 988–1047, 2005.
@article{327805, author = {{Boute, Raymond}}, issn = {{0164-0925}}, journal = {{ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS}}, language = {{eng}}, number = {{5}}, pages = {{988--1047}}, publisher = {{ASSOC COMPUTING MACHINERY}}, title = {{Functional declarative language design and predicate calculus: A practical approach}}, url = {{http://doi.org/1854/4354}}, volume = {{27}}, year = {{2005}}, }
- Altmetric
- View in Altmetric
- Web of Science
- Times cited: