📄 http:^^www.cs.cornell.edu^info^people^crary^papers.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 01-Dec-96 20:34:35 GMT
Content-Type: text/html
Content-Length: 816
Last-Modified: Monday, 18-Nov-96 01:17:04 GMT
<title>Karl Crary's papers</title><h1>Papers</h1><ul><li><cite>A Unified Framework for Modules and Objects and Its Application to Programming Language Design (Extended Abstract)</cite><br><table><td><a href="papers/mod-obj-abstract">Abstract</a></td><td><a href="papers/mod-obj.dvi">DVI</a></td><td><a href="papers/mod-obj.ps.gz">Postscript</a></td></table><li><cite>Foundations for the Implementation of Higher-Order Subtyping (Extended Abstract)</cite><br><table><td><a href="papers/ho-subtype-impl-abstract">Abstract</a></td><td><a href="papers/ho-subtype-impl.dvi">DVI</a></td><td><a href="papers/ho-subtype-impl.ps.gz">Postscript</a></td></table><li>Semantic Reconciliation of Subtyping by Inclusion and Coercion (Preliminary Draft)</cite><br><table><td>Coming soon.</td></table></ul>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -