Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/18/84 +SENDMAIL+2.11; site dcl-cs.UUCP Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!dcl-cs!craig From: craig@dcl-cs.UUCP (Craig Wylie) Newsgroups: net.lang Subject: Re: Type-System Questions Message-ID: <731@dcl-cs.UUCP> Date: Mon, 28-Oct-85 13:44:28 EST Article-I.D.: dcl-cs.731 Posted: Mon Oct 28 13:44:28 1985 Date-Received: Wed, 30-Oct-85 07:36:50 EST References: <15100005@ada-uts.UUCP> Reply-To: craig@dcl-cs.UUCP (Craig Wylie) Organization: Department of Computing at Lancaster University. Lines: 14 Keywords: Polymorphic languages, dynamic type checking In reference to your question about languages using compile and runtime type checking I believe that POLY developed at the University of Glagow, Scotland, Great Britain - may include facilities such as this. There is a book on the subject :- Polymorphic programming languages Design and implementation publ: Ellis Horwood by David M. Harland Craig.