Re: Type theory vs floating-point arithmetic

• To: "Tim Sweeney" <tim@epicgames.com>
• Subject: Re: Type theory vs floating-point arithmetic
• From: "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
• Date: Wed, 20 Aug 2003 17:17:20 EDT
• cc: sweirich@cis
• In-reply-to: Your message of Sun, 17 Aug 2003 01:02:28 -0500. <09ea01c36485$23a99490$9d76a841@TIMDELL>
• Reply-to: bcpierce@cis.upenn.edu

Hi Tim,

Interesting questions -- I'll be glad to forward these along... if you can
re-submit the message in plain ascii format (with no MIME, attachements,
etc.).  

While I'm at it, an excellent early paper responding to your question about
subtyping is John Reynolds's "Using category theory to design implicit
conversions and generic operators."

Thanks,

        Benjamin

• Prev: Job openings in Amsterdam in Programming Languages and Software Engineering
• Next: CFP JLAP: Processes and Security"
• Index(es):
  • Main
  • Thread