The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Introductory computer graphics courses are changing their focus and learning environments. Improvements in hardware and software technology coupled with changes in preparation, in...
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...