|
|||||
|
|
On the algebraic structure of declarative programming languages |
|
| Authors: | Gianluca Amato James Lipton Robert McGrail |
| Affiliation: | 1. Dipartimento di Scienze, Università degli Studi “G. d’Annunzio”, viale Pindaro 42, 65127 Pescara, Italy;2. Department of Mathematics, Wesleyan University, Middletown, CT 06459, USA;3. Reem-Kayden Center 207, 31 Campus Road, Bard College, Annandale-on-Hudson, NY 12504B, USA |
| Abstract: | |
| Keywords: | Categorical logic Indexed categories Logic programming Abstract data types Constraint logic programming |
| 本文献已被 ScienceDirect 等数据库收录！ | |