|
Journals in DBLP
- A. J. J. M. Marcelis
On the Classification of Attribute Evaluation Algorithms. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1990, v:14, n:1, pp:1-24 [Journal]
- J. Michael Spivey
A Functional Theory of Exceptions. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1990, v:14, n:1, pp:25-42 [Journal]
- Oliver Schoett
Behavioural Correctness of Data Representations. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1990, v:14, n:1, pp:43-57 [Journal]
- Peter Dybjer
Comparing Integrated and External Logics of Functional Programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1990, v:14, n:1, pp:59-79 [Journal]
- Clement A. Baker-Finch
The (Algebraic) Congruence of Two Programming Language Definitions. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1990, v:14, n:1, pp:81-96 [Journal]
- Martin Rem
Small Programming Exercises 24. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1990, v:14, n:1, pp:97-101 [Journal]
|