Inproceedings,

Automatic type inference via partial evaluation.

, and .
PPDP, page 106-116. ACM, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews