我々の貢献

• 様々な関数型言語に適用でき、冗長性のない TDPE を提案

• Higher-Order Abstract Syntax を用いたある単純な SDPE から、deforestation で我々の TDPE を導出

  ? より複雑な SDPE からは
  
  より高度な TDPE が得られる

Previous slide

Next slide

Back to first slide

View graphic version