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

View: New views
2 Messages — Rating Filter:   Alert me  

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

by Jesse Alama :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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@...)

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

by Josef Urban :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message


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