Travelled to:
1 × USA
Collaborated with:
S.Gilbert R.Guerraoui
Talks about:
hierarchi (1) extens (1) encod (1) type (1)
Person: Hamed Seiied Alavi
DBLP: Alavi:Hamed_Seiied
Contributed to:
Wrote 1 papers:
- POPL-2008-AlaviGG #encoding
- Extensible encoding of type hierarchies (HSA, SG, RG), pp. 349–358.