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