Concurrent typed intermediate language. - L. Miguel Lourenço; João Costa Seco; Francisco Martins (SAC, 2013)