Type systems with dimensional units

Article View: comp.lang.misc

Article #2681

#2681

From: Arch D. Robison
Date: Mon, 21 Jan 1991 22:52

12 lines
1068 bytes

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

Technical Details

Message-ID: <1991Jan21.225221.5598@shell.shell.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!cs.utexas.edu!bcm!shell!brazil!robison

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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