System F with type equality coercions

  • Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly
  • January 2007, ACM (Association for Computing Machinery)
  • DOI: 10.1145/1190315.1190324

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1145/1190315.1190324

In partnership with:

Link to ACM (Association for Computing Machinery) showcase