↓ Skip to main content
What is this page? Embed badge

Using category theory to design implicit conversions and generic operators

Overview of attention for book
Cover of 'Using category theory to design implicit conversions and generic operators'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 18 Transforming denotational semantics into practical attribute grammars
  3. Altmetric Badge
    Chapter 19 Compiler generation from denotational semantics
  4. Altmetric Badge
    Chapter 20 From standard to implementation denotational semantics
  5. Altmetric Badge
    Chapter 21 Specification of compilers as abstract data type representations
  6. Altmetric Badge
    Chapter 22 More on advice on structuring compilers and proving them correct
  7. Altmetric Badge
    Chapter 23 A constructive approach to compiler correctness
  8. Altmetric Badge
    Chapter 24 Using category theory to design implicit conversions and generic operators
  9. Altmetric Badge
    Chapter 25 On defining semantics by means of extended attribute grammars
  10. Altmetric Badge
    Chapter 26 Tree-affix dendrogrammars for languages and compilers
  11. Altmetric Badge
    Chapter 27 An implementation of affix grammars
  12. Altmetric Badge
    Chapter 28 Experiences with the compiler writing system HLP
  13. Altmetric Badge
    Chapter 29 Rule splitting and attribute-directed parsing
  14. Altmetric Badge
    Chapter 30 Attribute-influenced LR parsing
  15. Altmetric Badge
    Chapter 31 On the definition of an attribute grammar
  16. Altmetric Badge
    Chapter 32 State transition machines for lambda-calculus expressions
  17. Altmetric Badge
    Chapter 33 Semantic definitions in REFAL and automatic production of compilers
  18. Altmetric Badge
    Chapter 34 On the formal definition of ADA
Attention for Chapter 24: Using category theory to design implicit conversions and generic operators
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
27 Dimensions

Readers on

mendeley
48 Mendeley
citeulike
6 CiteULike
Summary X Wikipedia Dimensions citations

This page is provided by Altmetric.