2019

Accepted Papers

• Bidirectional Type Class Instances

• Call-by-Need Is Clairvoyant Call-by-Value

• Selective Applicative Functors

  • slide

• Working with Source Plugins

リソース

• ICFP 2019

• llelf/icfp2019-papers