Abstract EN: When we talk about programming languages, we mostly talk about their
syntax and semantics in an informal way. In this talk I'll take you on
a sight-seeing tour of formal programming language theory, illustrated
with Perl 6 and the Parrot compiler tools.
Along the way you'll parse through the land of grammars, hear the
leaves of abstract syntax trees rustling in the wind and watch in
wonder as attribute grammars transform them before your eyes. Then you
can tuck into the formal semantics dinner and enjoy a refined type of
wine as you return home through the polymorphic republic of type
theory.
No experience of any of the topics being covered is required.
