| R Milner [June 1991], "Computer Science: The Core IT Research Discipline," Lab for the Foundations of Computer Science, Edinburgh. |
....theories that can be used to explain or underpin a variety of particular applications. As an engineering discipline, it constructs substantial artefacts of software and hardware, sees where they fail and where they work, and develops new theory to underpin areas that are inadequately supported. (Milner [1991] eloquently argues for this dual approach in Computer Science. Functional programming is a research area that offers an unusually close interplay between these two aspects (Peyton Jones [1992b] Theory often has immediate practical application, and practice often leads directly to new demands ....
R Milner [June 1991], "Computer Science: The Core IT Research Discipline," Lab for the Foundations of Computer Science, Edinburgh.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC