Talk:Recursive data type

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computer science  
WikiProject icon This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
 ???  This article has not yet received a rating on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.

The theory part of this article is unfortunately rich in technical notation and jargon without references within Wikipedia or citations of references. It would be a significant task to fill in Wikipedia with appropriate information, but it would be very desirable to refer to external sources.

This subject is outside my real competence, but it looks like John Mitchell's book "Foundations for Programming Languages" would be a reasonable reference for some of the concepts and notation including the μ operator.

Hopefully someone with more competence can help fill out this topic to be more helpful to less knowledgeable readers. Crisperdue (talk) 19:09, 19 May 2017 (UTC)