Typed Program Analysis

New Issue

We should be able to embed a type system in tricu using the typing rules described by Barry Jay in Typed Program Analysis without Encodings.

2024-02-05
0% Completed

No results

Try adjusting your search filters.