Re: type safetyTo: wadler@research.bell-labs.com Subject: Re: type safety From: Matthias Felleisen <matthias@cs.rice.edu> Date: Wed, 29 Dec 1999 10:12:24 -0600 (CST) CC: types@cis.upenn.edu In-reply-to: <199912290418.XAA07529@localhost.localdomain> (message from Philip Wadler on Tue, 28 Dec 1999 14:15:25 -0500) References: <199912290418.XAA07529@localhost.localdomain> Reply-to: matthias@rice.edu Phil, if you're
