How Austral’s Linear Type Checker Works.
A walkthrough of Austral’s linearity checker algorithm.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.
How Austral’s Linear Type Checker Works.
A walkthrough of Austral’s linearity checker algorithm.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.