Informative Types and Effects for Hybrid Migration Control.

Ana Almeida Matos, Jan Cederquist

Browse the full RV paper archive.