Programming Language Specification and Implementation
Book chapter (October 2018)
Using category theory to design implicit conversions and generic operators
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 18 Transforming denotational semantics into practical attribute grammars
-
Altmetric BadgeChapter 19 Compiler generation from denotational semantics
-
Altmetric BadgeChapter 20 From standard to implementation denotational semantics
-
Altmetric BadgeChapter 21 Specification of compilers as abstract data type representations
-
Altmetric BadgeChapter 22 More on advice on structuring compilers and proving them correct
-
Altmetric BadgeChapter 23 A constructive approach to compiler correctness
-
Altmetric BadgeChapter 24 Using category theory to design implicit conversions and generic operators
-
Altmetric BadgeChapter 25 On defining semantics by means of extended attribute grammars
-
Altmetric BadgeChapter 26 Tree-affix dendrogrammars for languages and compilers
-
Altmetric BadgeChapter 27 An implementation of affix grammars
-
Altmetric BadgeChapter 28 Experiences with the compiler writing system HLP
-
Altmetric BadgeChapter 29 Rule splitting and attribute-directed parsing
-
Altmetric BadgeChapter 30 Attribute-influenced LR parsing
-
Altmetric BadgeChapter 31 On the definition of an attribute grammar
-
Altmetric BadgeChapter 32 State transition machines for lambda-calculus expressions
-
Altmetric BadgeChapter 33 Semantic definitions in REFAL and automatic production of compilers
-
Altmetric BadgeChapter 34 On the formal definition of ADA