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.