Re: [mizar] [gmane.comp.science.types.announce] Types Considered Harmful

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Speaking about this, http://www.cs.ucsd.edu/~goguen/pps/utyop.ps is also 
an interesting read with a provocative title (Joseph A. Goguen: Higher 
Order Functions Considered Unnecessary for Higher Order Programming).

Josef


On Mon, 7 Jul 2008, Jesse Alama wrote:

> This is not directly related to mizar, but since mizar's type system can
> cause so much pain and pleasure, the slides linked to in the forwarded
> message might be a fun diversion.
>
> Jesse