greiner93

John Greiner. Standard ML Weak Polymorphism Can Be Sound. Research Report Carnegie Mellon University, School of Computer Science, No 0, September 1993.

Keyword

[ Parametricity ]

Contact

John Greiner

BibTex Reference

@TechReport{greiner93,
   Author = {Greiner, John},
   Title = {Standard ML Weak Polymorphism Can Be Sound},
   Number = {0},
   Institution = {Carnegie Mellon University, School of Computer Science},
   Month = {September},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)