User blog:Hreada/Formal Semantics of Programming Languages

I am now learning Formal Semantics of Programming Languages. Members of Centre for Software Engineering are welcomed to discuss with me on this topic.