https://github.com/mgree/dts
Fritz Henglein and Jakob Rehof's '90s investigations into dynamic typing
https://github.com/mgree/dts
Last synced: 6 months ago
JSON representation
Fritz Henglein and Jakob Rehof's '90s investigations into dynamic typing
- Host: GitHub
- URL: https://github.com/mgree/dts
- Owner: mgree
- Created: 2021-07-07T15:44:40.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2021-07-23T20:52:03.000Z (about 5 years ago)
- Last Synced: 2025-05-31T05:19:03.935Z (about 1 year ago)
- Language: Standard ML
- Size: 438 KB
- Stars: 4
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
[Fritz Henglein](http://hjemmesider.diku.dk/~henglein/) and [Jakob
Rehof](https://ls14-www.cs.tu-dortmund.de/cms/en/staff/profs/Rehof)
did foundational work thinking about dynamic type systems back in the
1990s. Fritz's [framework for
coercions](https://www.sciencedirect.com/science/article/pii/0167642394000042)
remains a powerful way to express the runtime checks used in gradual
typing; their [Scheme-to-ML
compiler](https://dl.acm.org/doi/10.1145/224164.224203) implemented
that theory in a very thoroughgoing way.
Fritz has kindly shared the source code with me. I've posted it here
for others to learn from (and to try to get it working!).