Did you mean: Rob R. Hoogerwoerd
Rob R. Hoogerwoord's 3 research works with 32 citations, including: Functional Pearls A symmetric set of efficient list operations.
List of computer science publications by Rob R. Hoogerwoord.
Publications ; Formality works · Author Picture Rob R. Hoogerwoord · Information Processing Letters, Volume 77, Issue 2-4 ; A Logarithmic ...
Selected Essays ; rh82a, A simple theorem and its applications ; rh89, Two exercises in functional programming ; rh94, On the implementation of virtual storage: a ...
Missing: R. | Show results with:R.
Feb 28, 2001 · Formal calculations can contribute successfully to a better understanding of the structure of a proof, both in programming and in ...
References. − Rob R. Hoogerwoord. A symmetric set of efficient list operations. Journal of. Functional Programming, 2(4):505–513, 1992. − Exercise 5.1 of ...
A Logarithmic Implementation of Flexible Arrays · R. R. Hoogerwoord · Published in International Conference on… 29 June 1992 · Computer Science, Mathematics.
... illustrates this; a more "realistic" example of the same phenomenon. is the well-known merge sort. Eindhoven, 23 october 1991. Rob R. Hoogerwoord.
We present a semi-formal derivation of Huffman's well-known algorithm for the construction of an optimal encoding tree.
Functional Pearls A symmetric set of efficient list operations
www.cambridge.org › journals › article
Rob R. Hoogerwoord. Show author details. Rob R. Hoogerwoord: Affiliation: Department of Mathematics and Computing Science, Eindhoven University of Technology ...