nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A functional theory of exceptions
|
Spivey, Mike |
|
1990 |
14 |
1 |
p. 25-42 18 p. |
artikel |
2 |
Behavioural correctness of data representations
|
Schoett, Oliver |
|
1990 |
14 |
1 |
p. 43-57 15 p. |
artikel |
3 |
Comparing integrated and external logics of functional programs
|
Dybjer, Peter |
|
1990 |
14 |
1 |
p. 59-79 21 p. |
artikel |
4 |
Editorial Board
|
|
|
1990 |
14 |
1 |
p. ii- 1 p. |
artikel |
5 |
Geometric reasoning
|
Davenport, J.H. |
|
1990 |
14 |
1 |
p. 103-105 3 p. |
artikel |
6 |
Natural language processing in LISP
|
Wood, M.McGee |
|
1990 |
14 |
1 |
p. 110- 1 p. |
artikel |
7 |
Natural language processing in POP-11
|
Wood, M.McGee |
|
1990 |
14 |
1 |
p. 110-112 3 p. |
artikel |
8 |
Natural language processing in Prolog
|
Wood, M.McGee |
|
1990 |
14 |
1 |
p. 110- 1 p. |
artikel |
9 |
Object-oriented analysis.
|
Jackson, M. |
|
1990 |
14 |
1 |
p. 109-110 2 p. |
artikel |
10 |
On the classification of attribute evaluation algorithms
|
Marcelis, A.J.J.M. |
|
1990 |
14 |
1 |
p. 1-24 24 p. |
artikel |
11 |
Prolog and natural-language analysis
|
Wood, M.McGee |
|
1990 |
14 |
1 |
p. 110- 1 p. |
artikel |
12 |
Small programming exercises 24
|
Rem, M. |
|
1990 |
14 |
1 |
p. 97-101 5 p. |
artikel |
13 |
Software design and prototyping using me too
|
Ince, D.C. |
|
1990 |
14 |
1 |
p. 105-106 2 p. |
artikel |
14 |
The (algebraic) congruence of two programming language definitions
|
Baker-Finch, Clement A. |
|
1990 |
14 |
1 |
p. 81-96 16 p. |
artikel |
15 |
The interface description language: definition and use.
|
Feijs, L.M.G. |
|
1990 |
14 |
1 |
p. 106-109 4 p. |
artikel |