Travelled to:1 × Singapore
Collaborated with:F.Zeyda A.Cavalcanti A.Sampaio
Talks about:modular (1) theori (1) orient (1) object (1) higher (1) order (1) utp (1)
Person: Thiago L. V. L. Santos
DBLP: Santos:Thiago_L=_V=_L=
Contributed to:
2014Wrote 1 papers:
- FM-2014-ZeydaSCS #composition #higher-order #object-oriented
- A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.