Inproceedings,

Explaining Type Errors by Finding the Source of a Type Conflict.

.
Scottish Functional Programming Workshop, volume 1 of Trends in Functional Programming, page 59-67. Intellect, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews