Foundations of Type Inference for Modern Programming Languages

Full project page

Organisations map overview