Rodrigo Toniol Lattes. 功刀浩 出身. ベルナルド エキュム パール. Syntax, semantics and pragmatics of programming languages.