http:^^www.cs.cornell.edu^info^courses^current^cs611^homework.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 99 行

HTML
99 行
字号 
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 22:40:53 GMT
Content-Type: text/html
Content-Length: 4053
Last-Modified: Thursday, 21-Nov-96 17:08:24 GMT

<HEAD><TITLE>CS611:  Homework Assignments</TITLE></HEAD><BODY><h1> <!WA0><!WA0><!WA0><!WA0><img align=center src="http://www.cs.cornell.edu/Info/Courses/Current/CS611/lambdahead.gif">CS611:  Semantics of Programming Languages</h1><h2>Homeworks:</h2><ul><li> <!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/writeup.dvi">Homework 0</a> (dvi file)<ul><li> To solve this homework you need some ML definitions found in      (the misnamed) <!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/hw1defs.sml">hw1defs.sml</a>.     The ML examples from class are also available in      <!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/examples.sml">examples.sml</a>, as well as a      <!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/writeup.ps">PostScript version</a> of the homework.<li> There is now a <!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/sol.sml">solution</a> online, as well     as some <!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw0/test.sml">tests</a>.</ul><li> <!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/writeup.dvi">Homework 1</a> (dvi file)<ul><li> The second homework.  This one features proofs as well as ML hacking.     There is also a <!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/writeup.ps">PostScript version</a>      of the assignment writeup.<li> There is now an <!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/sol.sml">ML solution</a> online, as well     as <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/sol.dvi">solutions (dvi)</a> to the proofs (also     available in <!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/sol.ps">PostScript</a>).<li> <b>NOTE:</b> The <!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw1/test.sml">test cases</a> used to grade     your solutions are also online.</ul><li> <!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/writeup.dvi">Homework 2</a> (dvi file)<ul><li> The third homework.  Proofs and ML hacking again, now with types!     There is also a <!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/writeup.ps">PostScript version</a>. <li> There is now a <!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/sol.dvi">solution (dvi)</a> to the proofs      online (also available in <!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/sol.ps">PostScript</a>).<li> There is also an <!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/sol.sml">ML solution</a> to the programming     part online.<li> Finally there is a <!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/parse.sml">parser and evaluator</a> based     on the solution online.  The <!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/calc.lex">ML-Lex</a> and      <!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw2/calc.grm">ML-Yacc</a> parser source is available for those     interested.</ul><li> <!WA21><!WA21><!WA21><!WA21><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/writeup.dvi">Homework 3</a> (dvi file)<ul><li> The fourth homework.  Now it's only proofs, all exercises from Gunter.     There is also a <!WA22><!WA22><!WA22><!WA22><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/writeup.ps">PostScript version</a>. <li> There is now a <!WA23><!WA23><!WA23><!WA23><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/sol.dvi">solution (dvi)</a>      online (also available in <!WA24><!WA24><!WA24><!WA24><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw3/sol.ps">PostScript</a>).</ul><li> <!WA25><!WA25><!WA25><!WA25><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/writeup.dvi">Homework 4</a> (dvi file)<ul><li> The fifth homework.  Implementing the polymorphic lambda calculus, and     a lemma showing the soundness of the predicative model with respect to     type-beta reduction.<li> For those who don't want to type in the example code there is a      <!WA26><!WA26><!WA26><!WA26><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/writeup.txt">text-only version</a> of the homework.<li> There is now an <!WA27><!WA27><!WA27><!WA27><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/sol.sml">ML solution</a> online, as well     as the <!WA28><!WA28><!WA28><!WA28><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/test.sml">test cases</a> used to grade your     submissions.<li> There is now a proof <!WA29><!WA29><!WA29><!WA29><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/sol.dvi">solution (dvi)</a>      online (also available in <!WA30><!WA30><!WA30><!WA30><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw4/sol.ps">PostScript</a>).</ul><li> <!WA31><!WA31><!WA31><!WA31><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/writeup.dvi">Homework 5</a> (dvi file)<ul><li> The sixth homework.  Implementations and proofs of unification and     type inference.     There is also a <!WA32><!WA32><!WA32><!WA32><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/writeup.ps">PostScript version</a>. <li> For those who don't want to type in the example code there is a      <!WA33><!WA33><!WA33><!WA33><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/writeup.txt">text-only version</a> of the homework.<li> The <!WA34><!WA34><!WA34><!WA34><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/sol.sml">ML solution</a> is online, as well     as the <!WA35><!WA35><!WA35><!WA35><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/test.sml">test cases</a>.<li> The <!WA36><!WA36><!WA36><!WA36><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/sol.dvi">solution (dvi)</a> to the proofs is     online (also in <!WA37><!WA37><!WA37><!WA37><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw5/sol.ps">PostScript</a>).</ul><li> <!WA38><!WA38><!WA38><!WA38><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw6/writeup.dvi">Homework 6</a> (dvi file)<ul><li> The seventh homework.  Proofs on posets, cpos, continuous functions etc.     There is also a <!WA39><!WA39><!WA39><!WA39><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw6/writeup.ps">PostScript version</a>. </ul><li> <!WA40><!WA40><!WA40><!WA40><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/hw7/writeup.ps">Assignment 0</a> (PostScript)<ul><li> The eight homework.  Programming exercises and axiomatic semantics      exercises and proofs.</ul></ul><p>Back to the <!WA41><!WA41><!WA41><!WA41><a href="http://www.cs.cornell.edu/Info/Courses/Current/CS611/home.html">CS611 homepage.</a></BODY>

http:^^www.cs.cornell.edu^info^courses^current^cs611^homework.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.cornell.edu^info^courses^current^cs611^homework.html 源码文件，采用 HTML 编程语言编写，共 99 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?