Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.

Luca Padovani

Browse the full FOSSACS paper archive.