Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!ccu.umanitoba.ca!salomon
From: salomon@ccu.umanitoba.ca (Dan Salomon)
Newsgroups: comp.lang.misc
Subject: Re: Type systems with dimensional units
Message-ID: <1991Jan28.210253.24818@ccu.umanitoba.ca>
Date: 28 Jan 91 21:02:53 GMT
References: <1991Jan21.225221.5598@shell.shell.com>
Organization: University of Manitoba, Winnipeg, Canada
Lines: 39

In article <1991Jan21.225221.5598@shell.shell.com> robison@brazil (Arch D. Robison) writes:
>I am looking for references on languages that incorporate ``units checking''
>into their type system.
>

I tried to reply by mail, but it bounced.

Here are my collection of references references (I would be interested
in any additions):

Narain Gehani
Units of Measure as a Data Attribute.
Computer  Languages, Vol 2, No 3
pp 93-111, Pergamon Press, Great Britain 1977

Paul N. Hilfinger
Abstraction Mechanisms and Language Design.
ACM Distinguished Dissertations
MIT Press, Cambridge, Mass. (1983)
(A section of this thesis shows how to use Ada's existing type
mechanism to incorporate units of measure into a program.)

R.T. House
A Proposal for an Extended Form of Type Checking.
The Computer Journal, Vol. 26, No. 4
pp 366-374, Wiley Heyden Ltd. (1983)

Michael Karr and David B. Loveman III
Incorporation of Units Into Programming Languages.
Communications of the ACM, Vol. 21, No. 5, pp 385-391 (May 1978)

R. Manner
Strong Typing and Physical Units.
ACM SIGPLAN Notices, Vol. 21, No. 3, pp 11-20 (Mar 1986)
-- 

Dan Salomon -- salomon@ccu.UManitoba.CA
               Dept. of Computer Science / University of Manitoba
	       Winnipeg, Manitoba, Canada  R3T 2N2 / (204) 275-6682