DECLARATIVE COMPUTATION MODEL – KERNEL LANGUAGE VALUE EXPRESSION IN THE DECLARATIVE KERNEL LANGUAGE EXAMPLES OF BASIC OPERATIONS FUNCTION SYNTAX THE DECLARATIVE KERNEL LANGUAGE WITH EXCEPTIONS THE DECLARATIVE KERNEL LANGUAGE WITH SECURE TYPES DECLARATIVE – CONCURRENT COMPUTATION MODEL DATA – DRIVEN CONCURRENT KERNEL LANGUAGE DEMAND – DRIVEN CONCURRENT KERNEL LANGUAGE DECLARATIVE CONCURRENT KERNEL LANGUAGE WITH EXCEPTIONS DECLARATIVE CONCURRENT KERNEL LANGUAGE WITH EXCEPTIONS EXCEPTIONS