Formal Theory, Informally

By Jonathan Worthington (‎jnthn‎) from
Date: Sunday, 26 November 2006 11:50
Duration: 40 minutes

You can find more information on the speaker's site:

(cette présentation sera faite en anglais)

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.