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

[Reuben Rowe]

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&data=04%7C01%7Creuben.rowe%40rhul.ac.uk%7C73be036f59174ab9eda508d884b437d9%7C2efd699a19224e69b601108008d28a2e%7C0%7C0%7C637405257139079382%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=VIHpUoSj5yhUtqcKK4tug7kGMy2eHuNsCX%2FoQrj241c%3D&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&data=04%7C01%7Creuben.rowe%40rhul.ac.uk%7C73be036f59174ab9eda508d884b437d9%7C2efd699a19224e69b601108008d28a2e%7C0%7C0%7C637405257139079382%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=z9WKD6WiseuOUT%2B21LqaYhu0BSMyrbcw%2FmOtdXwn7Dk%3D&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&data=04%7C01%7Creuben.rowe%40rhul.ac.uk%7C73be036f59174ab9eda508d884b437d9%7C2efd699a19224e69b601108008d28a2e%7C0%7C0%7C637405257139079382%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=CckRSCgPaNxKG%2Fvou%2FfPLM8G4wrIOayVruZIm0qFcQU%3D&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.