The foundations of program verification
The foundations of program verification
Structure and interpretation of computer programs
Structure and interpretation of computer programs
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Elements of ML programming (ML97 ed.)
Elements of ML programming (ML97 ed.)
Objective ML: an effective object-oriented extension to ML
Theory and Practice of Object Systems - Third workshop on foundations of object-oriented languages (FOOL 3)
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
The Java Programming Language
The Definition of Standard ML
Introduction to Functional Programming
Introduction to Functional Programming
Java How to Program (6th Edition)
Java How to Program (6th Edition)
Hi-index | 0.00 |
Many Computer Science curricula at universities start programming with a functional programming language (for instance, SML, Haskell, Scheme) and later change to the imperative programming paradigm. For the latter usually the object-oriented programming language Java is used. However, this puts a burden on the students, since even the smallest Java program cannot be formulated without the notion of class and static and public method. In this paper we present an approach for changing from functional to object-oriented programming. Using (Standard) ML for the functional programming paradigm, it still prepares the decisive notions of object-orientation by specific constructs of this language. As experience at the University of Kiel has shown, this smoothes the transition and helps the students getting started with programming in the Java language.