Talk:Divergence (computer science)

Latest comment: 12 years ago by Ruud Koot in topic Untitled

Untitled edit

There is a dangling reference labeled simply "Pierce". This is almost certainly a reference to B.C. Pierce's "Types and Programming Languages". It needs to be fixed. The other reverence is also cryptic, pointing to "Baader & Nipkow" without other explanation.

They're both standard works in the field, so I didn't spell them out completely. Will do so soon. —Ruud 12:09, 20 October 2011 (UTC)Reply