[TYPES] Mendler's paper - Recursive Types and Type Constraints in Second-Order Lambda Calculus

Aaron Gray <[email protected]> Sun, 20 Mar 2022 03:47:04 +0000

Newsgroups	gmane.comp.science.types
Message-ID	<CANkmNDd7t28jsyoCFMzw0FAbzJ2ki4vYdj4CpEJbsHHmJtEE3Q@mail.gmail.com>

[ 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