http://www.cs.washington.edu/education/courses/csep505/06sp/
本课程以Caml/Ocaml为蓝本介绍现代程序语言中的诸多特性,虽然这不是编译原理的课程,但是肯定也很合对此感兴趣的人的胃口。网站包括所有讲义pdf, 代码,作业和答案,授课视频和mp3。
课程大纲:
1. Purpose of studying programming languages
2. Functional programming (in Caml)
* Datatypes
* Higher-order functions
* Tail recursion
* Lack of mutation
3. Defining languages
* Concrete vs. abstract syntax
* Introduction/elimination forms
* Semantics via interpretation
* Semantics via translation
4. Induction for Proving Program Properties
5. Program and Programming-Language Equivalence
6. Lambda-Calculus
7. Abstract Machines
8. Exceptions, continuations, continuation-passing style
9. Types
* Soundness vs. completeness
* Type safety
* Type inference
* Static vs. dynamic typing
10. Polymorphism
* Generics
* Parametricity
* Subtyping
* Polymorphic references
11. Laziness (thunks, streams, memoization)
12. Macros
13. Concurrency
* Threads
* Locks
* Message passing (Concurrent ML)
* Atomicity
14. Object-oriented programming
* Dynamic dispatch
* Classes vs. types
* Multimethods
* Classless OOP
* Extensibility: contrast with functional programming
15. Memory management
* Garbage collection
* Regions (a.k.a. arenas)
* Unique pointers
分享到:
相关推荐
Programming and Programming Languages (Brown Univ)
robust optimization_sliders_princeton_univ.pdf
Control of linear systems with regulation and ...Eindhoven Univ. of Technology P.O. Box 513, 5600 MB Eindhoven The Netherlands Fax: +31-40-2442489 E-mail: a.a.stoorvogel@tue.nl Peddapullaiah Sannuti
Los Angles: Univ. of Southern California, 1977, 461 pp., [dollar]10.00 (paper) 810 Psychology in the Schools, October, 1978, Vol. 16, No. 4. TAJRIN, G. I., MAGARY, J. F., & POULSEN, M. K. (EDs.)....
Los Angeles: Univ. of Southern California, 1975, 407 pp., [dollar]8.50 (paper) 810 Psychology in the Schools, October, 1978, Vol. 16, No. 4. TAJRIN, G. I., MAGARY, J. F., & POULSEN, M. K. (EDs.)....
Los Angeles: Univ. of Southern California, 1975, 348 pp., [dollar]7.50 (paper) 810 Psychology in the Schools, October, 1978, Vol. 16, No. 4. TAJRIN, G. I., MAGARY, J. F., & POULSEN, M. K. (EDs.)....
Image encoder/decoder-Useing Matlab-Peking Univ.
% Andy Ganse, Applied Physics Laboratory, Univ of WA, 2006. % aganse@apl.washington.edu, http://staff.washington.edu/aganse % % A demo of basic nonlinear tracking examples 6.1-2 & 6.1-3 from the % ...
//www.phys.univ.kiev.ua/ http://www.razom.org.ua/ http://dorobok.edu.vn.ua/ 为了通过 EMAIL 发送工作,您需要在server/config.js指定 GMail 邮箱的用户名和密码简单介绍一下它是如何工作的:每个 URI 都是一个...
Vim是一个类似于Vi的著名的功能强大、高度可定制的文本编辑器,在Vi的基础上改进和增加了很多特性。
非线性优化的书籍,详细介绍了非线性问题的求解
它是一个基于 node-js 的服务器,它向请求自动完成 android sdk 的客户端提供 android 公共方法列表。 客户端应该通过 nodejs 服务器的“getList”事件为特定的 android 类请求自动完成。 此时,客户端负责将类引用...
Univ. Comenian. (N.S.) Acta Mathematica Universitatis Comenianae. New Series. Comenius Univ. Press, Bratislava. ISSN 0862-9544. §Acta Math. Univ. Ostrav. Acta Mathematica Universitatis Ostraviensis....
Hongik-Univ-PL-Homework:2021年1月1日
matlab精度检验代码视频异常检测 来源 - 该项目工作的主要方面是开发一种适当的分类方法和一种有效的算法,以检测跌倒活动。 异常检测是一种用于识别不符合预期行为的异常模式的技术,称为异常值。...
txt 中提取大学或机构名称列表, 将结果写入文件univ.txt , 每行一个大学或机构名称, 按照大学或机构在data.txt 出现的先后顺序输出, 样例如下. 北京理工大学 北京师范大学 提示: 所有大学名称在data .txt ...
reinforcement leanring Standford Univ. lecture 14 reinforcement leanring Standford Univ. lecture 14reinforcement leanring Standford Univ. lecture 14reinforcement leanring Standford Univ. lecture 14
reinforcement leanring Standford Univ. lecture 11reinforcement leanring Standford Univ. lecture 11reinforcement leanring Standford Univ. lecture 11reinforcement leanring Standford Univ. lecture 11
reinforcement leanring Standford Univ. lecture 7 reinforcement leanring Standford Univ. lecture 7reinforcement leanring Standford Univ. lecture 7reinforcement leanring Standford Univ. lecture 7
reinforcement leanring Standford Univ. lecture 5 reinforcement leanring Standford Univ. lecture 5reinforcement leanring Standford Univ. lecture 5reinforcement leanring Standford Univ. lecture 5