-
2
-
-
9944245517
-
A parallel structure for static iterative transformation algorithms
-
L Bougé et al., eds., Springer-Verlag
-
Rabhi, F A 'A parallel structure for static iterative transformation algorithms', in L Bougé et al., eds., Parallel Processing: CONPAR 92 - VAPP V, 1992, Springer-Verlag, pp. 509-514.
-
(1992)
Parallel Processing: CONPAR 92 - VAPP V
, pp. 509-514
-
-
Rabhi, F.A.1
-
4
-
-
0018005935
-
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
-
Backus, J 'Can programming be liberated from the von Neumann style? A functional style and its algebra of programs'. Comm. ACM, Vol 21 No 8 (1978) pp 613-641.
-
(1978)
Comm. ACM
, vol.21
, Issue.8
, pp. 613-641
-
-
Backus, J.1
-
5
-
-
0024647596
-
Algebraic identities for program calculation
-
Bird, R S 'Algebraic identities for program calculation', The Computer J., Vol 32 No 2 (1989) pp 122-126.
-
(1989)
The Computer J.
, vol.32
, Issue.2
, pp. 122-126
-
-
Bird, R.S.1
-
7
-
-
9944224248
-
Data-parallel portable software platform: Principles and implementation
-
A Bode et al., eds.
-
Muchnick, V B, Shafarenko, A V and Sutton, C D 'Data-parallel portable software platform: Principles and implementation', in A Bode et al., eds., Lecture Notes in Computer Science 694, 1993, pp. 161-172.
-
(1993)
Lecture Notes in Computer Science
, vol.694
, pp. 161-172
-
-
Muchnick, V.B.1
Shafarenko, A.V.2
Sutton, C.D.3
-
8
-
-
0003048561
-
An introduction to the theory of lists
-
M Broy, ed., Springer-Verlag
-
Bird, R S 'An introduction to the theory of lists', in M Broy, ed., Logic of Programming and Calculi of Discrete Design (NATO ASI Series F), Springer-Verlag, 1987, pp. 3-42.
-
(1987)
Logic of Programming and Calculi of Discrete Design (NATO ASI Series F)
, pp. 3-42
-
-
Bird, R.S.1
-
9
-
-
9944221511
-
Lectures on constructive fucntional programming
-
M Broy, ed., Springer-Verlag
-
Bird, RS 'Lectures on constructive fucntional programming', in M Broy, ed., Logic of Programming and Calculi of Discrete Design (NATO ASI Series F), Springer-Verlag, 1987, pp. 151-218.
-
(1987)
Logic of Programming and Calculi of Discrete Design (NATO ASI Series F)
, pp. 151-218
-
-
Bird, R.S.1
-
10
-
-
0042026317
-
Parallel functional programming with arrays
-
Hains, G and Mullin, LMR 'Parallel functional programming with arrays', The Computer J., Vol 36 No 3 (1993) pp. 238-245.
-
(1993)
The Computer J.
, vol.36
, Issue.3
, pp. 238-245
-
-
Hains, G.1
Mullin, L.M.R.2
-
11
-
-
0025559241
-
Architecture-independent parallel computation
-
Skillicorn, D B 'Architecture-independent parallel computation', IEEE Computer, Vol 12 No 23 (1990) pp. 38-51.
-
(1990)
IEEE Computer
, vol.12
, Issue.23
, pp. 38-51
-
-
Skillicorn, D.B.1
-
12
-
-
84922995178
-
Miranda: A non-strict functional language with polymorphic types
-
Springer-Verlag LNCS 201
-
Turner, DA 'Miranda: a non-strict functional language with polymorphic types', in Functional Programming Languages and Computer Architecture, Springer-Verlag LNCS 201, 1985, pp. 1-16.
-
(1985)
Functional Programming Languages and Computer Architecture
, pp. 1-16
-
-
Turner, D.A.1
-
13
-
-
0009089477
-
-
Technical Report YALE U./DCS/RR656, Department of Computer Science, Yale University
-
Hudak, P and Wadler, P (eds.) Report on the functional programming language Haskell, Technical Report YALE U./DCS/RR656, Department of Computer Science, Yale University, 1988.
-
(1988)
Report on the Functional Programming Language Haskell
-
-
Hudak, P.1
Wadler, P.2
|