Suchergebnisse - "Programming languages (Electronic computers) Syntax"

Nominal Sets: Names and Symmetry in Computer Science von Pitts, Andrew M.

“… Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics …”
Volltext

Practical Foundations for Programming Languages von Harper, Robert

“… Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective …”
Volltext