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