Zobrazeno 1 - 10
of 179
pro vyhledávání: '"Jeremy Gibbons"'
Autor:
Maciej Piróg, Jeremy Gibbons
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 212, Iss Proc. WoC 2015, Pp 53-62 (2016)
Push/enter and eval/apply are two calling conventions used in implementations of functional languages. In this paper, we explore the following observation: when considering functions with multiple arguments, the stack under the push/enter and eval/ap
Externí odkaz:
https://doaj.org/article/ecbb507a4e7b4ed0b5cb74509d2a0a16
Autor:
Maciej Piróg, Jeremy Gibbons
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 76, Iss Proc. MSFP 2012, Pp 90-111 (2012)
In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping to themselves the means of acquiring it. For various reasons, we sometimes want to reveal the internals of a computation.
Externí odkaz:
https://doaj.org/article/1bf8ad5e355a4718ad0f762992858cfc
Autor:
Jeremy Gibbons
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 66, Iss Proc. DSL 2011, Pp 181-194 (2011)
The maximum segment sum problem is to compute, given a list of integers, the largest of the sums of the contiguous segments of that list. This problem specification maps directly onto a cubic-time algorithm; however, there is a very elegant linear-ti
Externí odkaz:
https://doaj.org/article/5d0b00e46d4f405998a7c95169c56248
Publikováno v:
Engineering Agile Big-Data Systems ISBN: 9781003338123
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adcb8000b2a03255d179aec209372e59
https://doi.org/10.1201/9781003338123-3
https://doi.org/10.1201/9781003338123-3
Autor:
Jeremy Gibbons, Max S. New
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 360
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2afabca5963c4a8fac1c48ffab111df3
https://doi.org/10.4204/eptcs.360.0
https://doi.org/10.4204/eptcs.360.0
Autor:
JEREMY GIBBONS, SHRIRAM KRISHNAMURTHI
Publikováno v:
Journal of Functional Programming. 32
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22287f3043334816e1ee774ea7e5e5e6
https://doi.org/10.1017/s0956796821000265
https://doi.org/10.1017/s0956796821000265
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031169113
An effectful traversal of a data structure iterates over every element, in some predetermined order, collecting computational effects in the process. Depth-first effectful traversal of a tree is straightforward to define compositionally, since it pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21f1ad138cbe48c3747793bb9f079486
https://lirias.kuleuven.be/handle/20.500.12942/706782
https://lirias.kuleuven.be/handle/20.500.12942/706782
Autor:
Jeremy Gibbons
Context: Reynolds showed us how to use continuation-passing style and defunctionalization to transform a recursive interpreter for a language into an abstract machine for programs in that language. The same techniques explain other programming tricks
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1bf9f38a510a3a77c4f77b02b155bdf2
https://doi.org/10.22152/programming-journal.org/2022/6/7
https://doi.org/10.22152/programming-journal.org/2022/6/7
Autor:
Jeremy Gibbons, Dale Miller
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submi
Autor:
Richard Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
Publikováno v:
Advancing Research in Information and Communication Technology
Advancing Research in Information and Communication Technology, AICT-600, pp.59-98, 2021, ⟨10.1007/978-3-030-81701-5_3⟩
IFIP Advances in Information and Communication Technology ISBN: 9783030817008
Advancing Research in Information and Communication Technology, AICT-600, pp.59-98, 2021, ⟨10.1007/978-3-030-81701-5_3⟩
IFIP Advances in Information and Communication Technology ISBN: 9783030817008
TC 2: Software: Theory and Practice; International audience; Algorithmics is the study and practice of taking a high-level description of a program’s purpose and, from it, producing an executable program of acceptable efficiency. Each step in that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3956660967d810a18e7fa6c99ee9c78c
https://hal.inria.fr/hal-03325977
https://hal.inria.fr/hal-03325977