Re: Type names vs type structure

Phil Wadler wrote:
> For instance, I know of no paper that describes
> extending Hindley-Milner with unification on rational trees, although
> the idea seems to have been kicking around for a while.

If I recall correctly, there was a paper by Mishra and Reddy in POPL'85
on this. Here's the bib entry:

  author = 	"Prateek Mishra and Uday S. Reddy",
  title = 	"Declaration-free Type Checking",
  pages = 	"7--21",
  booktitle = 	"Conference Record of the Twelfth {ACM} Symposium on
		 Principles of Programming Languages",
  year = 	"1985",
  month = 	"January",
  organization =	{Association for Computing Machinery},
  folder = {   3-18}


 -- Martin