Type-Based Complexity Analysis for Fork Processes.

Emmanuel Hainry, Jean-Yves Marion, Romain Pchoux

Browse the full FOSSACS paper archive.