[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Trying to find a copy of :- MENDLER, N. P. 1987. Recursive Types and Type Constraints in Second-Order Lambda Calculus -- Aaron Gray
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Trying to find a copy of :- MENDLER, N. P. 1987. Recursive Types and Type Constraints in Second-Order Lambda Calculus -- Aaron Gray