[TYPES] 1995 paper now archived, appears to anticipate graded typing, here's the note
David <[email protected]> Thu, 18 Jun 2026 20:37:27 +1000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQpEZWFyIFR5cGUgVGhlb3Jpc3RzCgpCZXR3ZWVuIDE5ODkgYW5k IDIwMDMgKGRlY2FkZXMgYWdvISkgSSB3YXMgd29ya2luZyBpbiB5b3VyIGFyZWEgYW5kIHB1Ymxp c2hlZCBzb21lIHdvcmtzIHdoaWNoIGFyZSBub3cgbGFyZ2VseSAoSSB0aGluaykgdW5rbm93bi4K CkluIHJldGlyZW1lbnQgZnJvbSBhIGJ1c3kgY2FyZWVyIGluIG90aGVyIGZpZWxkcyBJ4oCZdmUg YmVlbiB0aWR5aW5nIHVwIHNvbWUgbG9vc2UgZW5kcyBhbmQgdGhvdWdodCBJ4oCZZCB3cml0ZSBh IHNob3J0IG5vdGUgY29ubmVjdGluZyB0aGF0IHdvcmsgd2l0aCBtb3JlIG1vZGVybiBkZXZlbG9w bWVudHMuIFB1cmVseSBmb3IgdGhlIGhpc3RvcmljYWwgcmVjb3JkLCBidXQgbWF5YmUgc29tZW9u ZSBoYXMgYW4gaW50ZXJlc3Q/CgpUaGUgd29yayBkb2VzLCB0byBtZSwgc2VlbSB0byBhbnRpY2lw YXRlIHRoZSB3b3JrIGluIGdyYWRlZCB0eXBpbmc/IEhlcmUgaXMgdGhlIG5vdGU6CgpodHRwczov L3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly96ZW5vZG8ub3JnL3JlY29yZHMvMjA3Mzk5NjZf XzshIUlCeldMVXMhUXBxQkk4NEk2eXQ2X3R1Z3JmTlJoWnRSanBfWXdWTG14WjhFb0ljcDF2aWVw emZvY0prLTU0a1NMcmNHRzhsRmZaamtRcTJnOHFRVDNWbFJBVFB0dWpkTXBVTFBCakkkIAoKYW5k IGEgcmVjb3JkIG9mIGEgd29ya2luZyBwYXBlciB0aGF0IG5ldmVyIGdvdCBwdWJsaXNoZWQgKHVu dGlsIG5vdyk6CgpodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly96ZW5vZG8ub3Jn L3JlY29yZHMvMjA3Mzg3MTFfXzshIUlCeldMVXMhUXBxQkk4NEk2eXQ2X3R1Z3JmTlJoWnRSanBf WXdWTG14WjhFb0ljcDF2aWVwemZvY0prLTU0a1NMcmNHRzhsRmZaamtRcTJnOHFRVDNWbFJBVFB0 dWpkTWZ3djVqVTAkIAoKSWYgdGhhdOKAmXMgbm90IHBhcnRpY3VsYXJseSBlYXN5IHRvIGFjY2Vz cyBvciB2aXNpYmxlLCBwbGVhc2UgbGV0IG1lIGtub3cuCgpJdOKAmXMgYmVlbiBncmVhdCB0byAo dmVyeSBicmllZmx5KSB2aWV3IHRoZSBtb2Rlcm4gd29yayEgSWYgdGhlcmUgaXMgYW55IGZvbGxv dyB1cCwgcGxlYXNlIGJlIGdlbnRsZSBhcyBJIGRvbuKAmXQgaGF2ZSB0aGUgZmFtaWxpYXJpdHkg d2l0aCBtb2Rlcm4gZGV2ZWxvcG1lbnRzIHRoYXQgeW91IGFsbCB1bmRvdWJ0ZWRseSBkby4KCktp bmQgcmVnYXJkcwoKRGF2aWQ=