Lambda Calculus for Engineers

Autor: Hartel, Pieter H., Vree, W.G., Barendsen, E., Capretta, V., Geuvers, H., Niqui, M.

Publikováno v: Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, 125-138
STARTPAGE=125;ENDPAGE=138;TITLE=Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday

In pure functional programming it is awkward to use a stateful sub-computation in a predominantly stateless computation. The problem is that the state of the subcomputation has to be passed around using ugly plumbing. Classical examples of the plumbi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e92ce93a88469f072add120dc0d957b4
https://research.utwente.nl/en/publications/lambda-calculus-for-engineers(6fe4075e-8c3c-40d4-b253-b99925bace8c).html

Computer architecture for parallel data transfer in declarative computer languages

Autor: Milikowsky, R., Vree, W.G.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::6522bbdf0a8b32169b76328b52c1a56d
https://dare.uva.nl/personal/pure/en/publications/computer-architecture-for-parallel-data-transfer-in-declarative-computer-languages(e69c039a-c16a-43c2-84cf-1f0d5812dd19).html

Non homogeneous parallel memory operations in A VLIW machine

Autor: Milikowsky, R., Vree, W.G., Volkert, J., Buchberger, B.

Publikováno v: Parallel Processing: CONPAR 94-VAPP VI, 485-496
STARTPAGE=485;ENDPAGE=496;TITLE=Parallel Processing: CONPAR 94-VAPP VI

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::0c01872c666545efb7ee8d8095686a05
https://dare.uva.nl/personal/pure/en/publications/non-homogeneous-parallel-memory-operations-in-a-vliw-machine(c9cb9873-babe-48f3-aee7-e3a1dbf166a4).html

Arrays in a lazy functional language -- a case study: the fast Fourier transform

Autor: Hains, G., Hartel, Pieter H., Vree, W.G., Mullin, L.M.R.

Publikováno v: STARTPAGE=52;ENDPAGE=66;TITLE=None

The array plays a prominent role in imperative programming languages because the data structure bears a close resemblance to the mathematical notion of a vector and because array operations can be implemented efficiently. Not all lazy functional lang

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::c786a3c004e992daddf1ede1d7aafac4
https://research.utwente.nl/en/publications/arrays-in-a-lazy-functional-language--a-case-study-the-fast-fourier-transform(a6dc89d7-e00c-4a19-9580-3b58abff08fa).html

The paradox between complexity and reliability of computer infrastructures.

Autor: Daskapan, S., Kaart, M., Vree, W.G.

Publikováno v: 2006 IEEE International Conference on Systems, Man & Cybernetics; 2006, p568-574, 7p