Narrow your search

Library

ULiège (3)

KU Leuven (2)

KBR (1)

UAntwerpen (1)

UCLouvain (1)


Resource type

book (4)


Language

English (3)

French (1)


Year
From To Submit

1998 (1)

1995 (1)

1986 (1)

1978 (1)

Listing 1 - 4 of 4
Sort by

Book
An algebraic definition for control structures
Author:
Year: 1978 Publisher: Paris Université Paris VII. Uer de mathématiques

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Approche fonctionnelle de la programmation
Authors: ---
ISBN: 2840741148 9782840741145 Year: 1995 Publisher: Paris: Ediscience,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The functional approach to programming
Authors: ---
ISBN: 0521576814 1139173014 Year: 1998 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

A programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.

Combinators and functional programming languages : thirteenth spring school of the LITP, Val d'Ajol, May 6-10, 1985 : proceedings
Authors: --- --- ---
ISBN: 3540171843 0387171843 3540472533 Year: 1986 Publisher: Berlin Heidelberg New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

681.3*D1 --- 681.3*D30 --- 681.3*F0 --- 681.3*I13 --- 681.3*I13 Languages and systems: evaluation strategies nonprocedural languages special-purpose algebraic systems and hardware substitution mechanisms (Algebraic manipulation computing methodologies)--See also {681.3*D32} {681.3*D33} {681.3*F22} --- Languages and systems: evaluation strategies nonprocedural languages special-purpose algebraic systems and hardware substitution mechanisms (Algebraic manipulation computing methodologies)--See also {681.3*D32} {681.3*D33} {681.3*F22} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- Computerwetenschap--?*D30 --- Computerwetenschap--?*F0 --- Computer science --- 681.3*I13 Languages and systems: evaluation strategies; nonprocedural languages; special-purpose algebraic systems and hardware; substitution mechanisms (Algebraic manipulation; computing methodologies)--See also {681.3*D32}; {681.3*D33}; {681.3*F22} --- Languages and systems: evaluation strategies; nonprocedural languages; special-purpose algebraic systems and hardware; substitution mechanisms (Algebraic manipulation; computing methodologies)--See also {681.3*D32}; {681.3*D33}; {681.3*F22} --- Computer science. --- Logic design. --- Programming Techniques. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science

Listing 1 - 4 of 4
Sort by


Copyright ©2025 SemperTool