Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers

Research output: Contribution to journalConference articleScientificpeer-review

3 Citations (Scopus)
63 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers'. Together they form a unique fingerprint.

INIS

Computer Science