CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

David McAllester. Inferring Recursive Data Types. http://www.ai.mit.edu/people/dam/rectypes.ps.

D. McAllester, "Inferring Recursive Data Types", draft manuscript, July 1996.

David McAllester. Inferring recursive data types. http://www.ai.mit.edu/people/dam/rectypes.ps.

D. McAllester, "Inferring Recursive Data Types", draft manuscript, July 1996.

David McAllester. Inferring recursive data types. http://www.ai.mit.edu/people/dam/rectypes.ps.

David McAllester. Inferring recursive data types. (http://www.ai.mit.edu/people/dam/rectypes.ps)

D. McAllester. Inferring recursive data types. Unpublished, 1996.

D. McAllester. Inferring recursive data types. Unpublished, 1996.

David McAllester. Inferring recursive data types. Unpublished, 1996.

D. McAllester. Inferring recursive data types. Unpublished, 1996.

David McAllester. Inferring recursive data types. Unpublished, 1996.

David McAllester. Inferring recursive data types. Unpublished, 1996.

D. McAllester, Inferring Recursive Data Types, unpublished manuscript, 1996.

D. McAllester. Inferring recursive data types. Unpublished, 1996.

D. McAllester. Inferring recursive data types. Unpublished, 1996.

David McAllester. Inferring recursive data types. Draft Manuscript, 1996.

David McAllester. Inferring recursive data types. Unpublished, 1996.

D. McAllester. Inferring recursive data types. Unpublished, 1996.

CiteSeer.IST - Copyright Penn State and NEC