[ 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&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.
--
----------------------------------------------------------------------
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
----------------------------------------------------------------------
