TY  - RPRT
TI  - Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
AU  - Vasco T. Vasconcelos
AU  - Francisco Martins
AU  - Tiago Cogumbreiro
PY  - 2010
DO  - 10.4204/eptcs.17.8
UR  - https://arxiv.org/abs/1002.0942
ID  - 1002.0942
ER  -