Re: [TYPES] Types for Units-of-Measure

Clemens Grelck <c.grelck-V/Xpf/[email protected]> Mon, 16 Nov 2020 21:08:20 +0100
Newsgroups	gmane.comp.science.types
Organization	University of Amsterdam
Message-ID	<[email protected]>
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Dear all,

Paul Cockshott's Vector Pascal language might also be of interest:
http://www.dcs.gla.ac.uk/~wpc/reports/compilers/compilerindex/x25.html

(The website looks a bit deprecated though.)

   Clemens

On 09.11.20 15:11, Reuben Rowe wrote:
> [ The Types Forum, 
> http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> Hi,
>
> I am also aware of the CamFort project, which applies this type of
> analysis to Fortran programs.
>
>     https://camfort.github.io/
>
> Reuben
>
> On 09/11/2020 12:56, François Pottier wrote:
>> [ The Types Forum,
>> https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.seas.upenn.edu%2Fmailman%2Flistinfo%2Ftypes-list&amp;data=04%7C01%7Creuben.rowe%40rhul.ac.uk%7C73be036f59174ab9eda508d884b437d9%7C2efd699a19224e69b601108008d28a2e%7C0%7C0%7C637405257139079382%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&amp;sdata=VIHpUoSj5yhUtqcKK4tug7kGMy2eHuNsCX%2FoQrj241c%3D&amp;reserved=0 
>>
>> ]
>>
>>
>> Hello,
>>
>> See also Jacques Garrigue and Dara Ly's work (in French):
>> https://eur03.safelinks.protection.outlook.com/?url=https:%2F%2Fwww.math.nagoya-u.ac.jp%2F~garrigue%2Fpapers%2Focamldim.pdf&amp;data=04%7C01%7Creuben.rowe%40rhul.ac.uk%7C73be036f59174ab9eda508d884b437d9%7C2efd699a19224e69b601108008d28a2e%7C0%7C0%7C637405257139079382%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&amp;sdata=z9WKD6WiseuOUT%2B21LqaYhu0BSMyrbcw%2FmOtdXwn7Dk%3D&amp;reserved=0 
>>
>>
>>
>> Back in the time, type inference with units of measure was
>> investigated by Jean Goubault, concurrently with Kennedy,
>> AFAIK.
>>
>> E.g., also in French:
>> https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.40.2594%26rep%3Drep1%26type%3Dpdf&amp;data=04%7C01%7Creuben.rowe%40rhul.ac.uk%7C73be036f59174ab9eda508d884b437d9%7C2efd699a19224e69b601108008d28a2e%7C0%7C0%7C637405257139079382%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&amp;sdata=CckRSCgPaNxKG%2Fvou%2FfPLM8G4wrIOayVruZIm0qFcQU%3D&amp;reserved=0 
>>
>>
>>
> This email, its contents and any attachments are intended solely for 
> the addressee and may contain confidential information. In certain 
> circumstances, it may also be subject to legal privilege. Any 
> unauthorised use, disclosure, or copying is not permitted. If you have 
> received this email in error, please notify us and immediately and 
> permanently delete it. Any views or opinions expressed in personal 
> emails are solely those of the author and do not necessarily represent 
> those of Royal Holloway, University of London. It is your 
> responsibility to ensure that this email and any attachments are virus 
> free.

-- 
----------------------------------------------------------------------
Dr Clemens Grelck                                     Science Park 904
Associate Professor                                   1098XH Amsterdam
Programme Director MSc Software Engineering                Netherlands

University of Amsterdam
Institute for Informatics                        T +31 (0) 20 525 8683
Systems and Networking Lab                       F +31 (0) 20 525 7490
Parallel Computing Systems Group

Office C3.109                             staff.fnwi.uva.nl/c.u.grelck
----------------------------------------------------------------------