AW: slide: useful function?

Markus.Schnell@infineon.com Markus.Schnell@infineon.com
Thu, 28 Nov 2002 15:24:35 +0100


Thanks for the comments. It seems the function is not really needed
(at least not predefined), although I use it fairly often.

> Read more in
>=20
> T Uustalu, V Vene. The dual of substitution is redecoration.=20
> In K Hammond, S Curtis, eds, Trends in Functional Programming=20
> 3, pp 99-110. Intellect,
>       Bristol / Portland, OR, 2002. - .ps.gz, 46K (=A9 Intellect)=20
>=20
> http://www.cs.ioc.ee/~tarmo/papers/sfp01-book.ps.gz ,
>=20
> if you want to be bothered with categorical nonsence ;-)

There's too much mathematics in it, I'm only an engineer... ;-)

Thanks,
Markus

--
Markus Schnell, Infineon Technologies AG