Tipų saugus superkompiuteris: didelio našumo skaičiavimo tipų įgyvendinimas | MLOG | MLOG