Search results
Jump to navigation
Jump to search
- ....html Richard Bird], [http://www.kestrel.edu/home/people/meertens/ Lambert Meertens], and others at Oxford University. [http://web.comlab.ox.ac.uk/oucl/work/j [http://en.wikipedia.org/wiki/Squiggol Squiggol], and the Bird-Meertens Formalism:10 KB (1,782 words) - 14:44, 5 June 2011
- ;[ftp://ftp.kestrel.edu/pub/papers/meertens/AFP-Portugal.ps.gz Generic Programming -- An Introduction] :Roland Backhouse, Patrik Jansson, Johan Jeuring and Lambert Meertens. Advanced Functional Programming (S. Doaitse Swierstra, editor), LNCS 1608,15 KB (1,992 words) - 19:49, 26 May 2022
- *[http://www.kestrel.edu/home/people/meertens/ Lambert Meertens]8 KB (1,251 words) - 05:43, 1 September 2022
- The name catamorphism appears to have been chosen by Lambert Meertens [1]. The category theoretic machinery behind these was resolved by Grant Ma # L. Meertens. First Steps towards the theory of Rose Trees. Draft Report, CWI, Amsterdam9 KB (1,367 words) - 09:34, 17 November 2022
- ...eertens. ([http://web.comlab.ox.ac.uk/people/Jeremy.Gibbons/wg21/meeting57/meertens-sieve.pdf slides].) ...91084CDC1A348354224F893E2BD1D0C/S0956796897002931a.pdf/meertens_number.pdf Meertens number] - Richard Bird.20 KB (2,961 words) - 16:50, 6 February 2024
- ;[ftp://ftp.kestrel.edu/pub/papers/meertens/nest5.ps Nested Datatypes] :Lambert Meertens and Richard Bird. Mathematics of Program Construction, MPC'98 (Johan Jeurin14 KB (1,953 words) - 00:54, 5 June 2022