25 citations · 25 across the 1 of their papers we have counts for
1 paper
Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro
We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs…