Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!cs.utexas.edu!bcm!shell!brazil!robison
From: robison@brazil (Arch D. Robison)
Newsgroups: comp.lang.misc
Subject: Type systems with dimensional units
Message-ID: <1991Jan21.225221.5598@shell.shell.com>
Date: 21 Jan 91 22:52:21 GMT
Sender: usenet@shell.shell.com (USENET News System)
Organization: Shell Development Company
Lines: 12

I am looking for references on languages that incorporate ``units checking''
into their type system.  For example, such languages would allow 
``2 kg + 3 kg'', but should flag ``2 kg + 3 meters'' as a compile-time
error.  References to any type theory supporting such a language would 
also be appreciated.  I know I've seen at least two papers suggesting
the addition of ``units checking'' to languages, but I can't remember
where I saw them.  Please mail responses to me.  I will post a summary
if there is sufficient interest.

Arch D. Robison				robison@shell.com
Bellaire Research Center 		(713)-663-2240
Shell Development Company