|
Journals in DBLP
- N. W. P. van Diepen, Willem P. de Roever
Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1986, v:6, n:3, pp:213-272 [Journal]
- Jon Fairbairn
A New Type-Checker for a Functional Language. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1986, v:6, n:3, pp:273-290 [Journal]
- William Stoye
Message-Based Functional Operating Systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1986, v:6, n:3, pp:291-311 [Journal]
- Martin Rem
Small Programming Exercises 11. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1986, v:6, n:3, pp:313-318 [Journal]
|