Cogen Approach to Online SDPE

We are going to:

• Realize a simple & efficient online SDPE by using:

  • Higher-Order Abstract Syntax
  • Deforestation

• See a similarity between the SDPE and our online TDPE

Previous slide

Next slide

Back to first slide

View graphic version