Search results

Research papers/Generics
:Roland Backhouse, Patrik Jansson, Johan Jeuring and Lambert Meertens. Advanced Functional Programming (S. Doaitse Swierstra, editor), L :Lambert Meertens. Proceedings of the International Workshop on Generic Programming

15 KB (1,992 words) - 19:49, 26 May 2022
Research papers/Authors
*[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]

8 KB (1,251 words) - 05:43, 1 September 2022
Pointfree
...ications.html Richard Bird], [http://www.kestrel.edu/home/people/meertens/ Lambert Meertens], and others at Oxford University. [http://web.comlab.ox.ac.uk/ou

10 KB (1,782 words) - 14:44, 5 June 2011
Category theory
* Roland Backhouse, Patrik Jansson, Johan Jeuring and Lambert Mertens. [http://www.cse.chalmers.se/~patrikj/poly/afp98/ Generic Programmi

9 KB (1,379 words) - 04:11, 14 February 2023
Catamorphisms
The name catamorphism appears to have been chosen by Lambert Meertens [1]. The category theoretic machinery behind these was resolved by

9 KB (1,367 words) - 09:34, 17 November 2022
Research papers/Data structures
:Lambert Meertens and Richard Bird. Mathematics of Program Construction, MPC'98 (Joh

14 KB (1,953 words) - 00:54, 5 June 2022
Research papers/Functional pearls
...ing_the_Sieve_of_Eratosthenes.pdf Calculating the Sieve of Eratosthenes] - Lambert Meertens. ([http://web.comlab.ox.ac.uk/people/Jeremy.Gibbons/wg21/meeting57

20 KB (2,961 words) - 16:50, 6 February 2024

Navigation menu