Skip to main navigation Skip to search Skip to main content

Coinductive soundness of corecursive type class resolution

  • František Farka
  • , Ekaterina Komendantskaya
  • , Kevin Hammond
  • , Peng Fu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results