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

Aaron Gray aaronngray.lists at gmail.com
Sat Mar 19 23:47:04 EDT 2022

Previous message (by thread): [TYPES] Annotating an AST with (existential) types, with ordered contexts - à la Dunfield Krishnaswami
Next message (by thread): [TYPES] "Type systems for programs respecting dimensions" Re: Types for Units-of-Measure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Trying to find a copy of :-

MENDLER, N. P. 1987. Recursive Types and Type Constraints in
Second-Order Lambda Calculus

--
Aaron Gray

Previous message (by thread): [TYPES] Annotating an AST with (existential) types, with ordered contexts - à la Dunfield Krishnaswami
Next message (by thread): [TYPES] "Type systems for programs respecting dimensions" Re: Types for Units-of-Measure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list