Static types for logic programming

Links
1

It’s over my head but this looks awesome. Via Haskell Weekly.

https://ntrs.nasa.gov/citations/20240010266

2 Likes
2

Looks interesting, but cannot find a link with the complete implementation. The paper is not self-contained.