🚀 go-pugleaf

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