[gmane.comp.science.types.announce] Types Considered Harmful

[Jesse Alama]

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


[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Types readers may find some harmless amusement in slides from a talk I  
gave at MFPS recently...

     http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf

Enjoy,

     Benjamin




--
Jesse Alama (alama@...)

[Josef Urban]

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
>
>