Quizlet APK android 安装包， 5.15.1 版本 用于抽认卡，语言和学习的顶级学习应用程序。Quizlet是练习和掌握所学内容的最简单方法。创建自己的抽认卡和学习集，或从其他学生创建的数百万个中选择-由您决定。每月有超过5000万学生在Quizlet中学习，因为Quizlet是领先的教育和抽认卡应用程序，它使学习语言，历史，词汇和科学变得简单而有效。 Quizlet是练习和掌握所学内容的最简单方法。创建自己的抽认卡和学习集，或从其他学生创建的数百万个中选择-由您决定。每月有超过3000万学生在Quizlet中学习，因为Quizlet是领先的教育和抽认卡应用程序，它使学习语言，历史，词汇和科学变得简单而有效。而且是免费的！ 使用Quizlet

《类型与编程语言》 学FP的同学可能需要这本书

Principles of programming languages by Gilles Dowek (auth.) (z-lib.org).pdf

Paperback: 1200 pages Publisher: The MIT Press (August 31, 2008) Language: English ISBN-10: 0262201755 ISBN-13: 978-0262201759 Description: Hundreds of programming languages are in use today—scripting languages for Internet commerce, user interface programming tools, spreadsheet macros, page format specification languages, and many others. Designing a programming language is a metaprogramming activity that bears certain similarities to programming in a regular language, with clarity and simplicity even more important than in ordinary programming. This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book's unique approach is based on a family of syntactically simple pedagogical languages that allow students to explore programming language concepts systematically. It takes as its premise and starting point the idea that when language behaviors become incredibly complex, the description of the behaviors must be incredibly simple. The book presents a set of tools (a mathematical metalanguage, abstract syntax, operational and denotational semantics) and uses it to explore a comprehensive set of programming language design dimensions, including dynamic semantics (naming, state, control, data), static semantics (types, type reconstruction, polymporphism, effects), and pragmatics (compilation, garbage collection). The many examples and exercises offer students opportunities to apply the foundational ideas explained in the text. Specialized topics and code that implements many of the algorithms and compilation methods in the book can be found on the book's Web site, along with such additional material as a section on concurrency and proofs of the theorems in the text. The book is suitable as a text for an introductory graduate or advanced undergraduate programming languages course; it can also serve as a reference for researchers and practitioners.

Advanced Topics in Types and Programming Languages.pdf

mysql管理客户端

语言:English 通过翻译您访问的网站上的单词和短语来帮助您学习语言 Gloss通过自动使用Google翻译将您访问的网站上的一些单词和短语翻译成您选择的语言，从而教您使用外语。 每次您在Chrome中加载新网页或新内容时，页面上的某些单词都会被翻译成您正在学习的语言，并用鲜红色标记。 这使您可以在浏览Internet的同时学习上下文中的单词。 您可以通过单击Chrome工具栏中的图标来禁用或启用特定网站或所有网页的翻译。 如果您想稍事休息，也可以单击贪睡按钮。 您可以将鼠标悬停在翻译上，以阅读原始的未翻译文本或听到短语的发音。 Gloss选择性地选择了对学习特别有用的常见名词，动词，形容词和文章的组合。 它包括前面的文章和具有语法意义的单词，以帮助您学习动词变位和时态，形容词形式和名词性别。 它还确保每次您重新访问网页时都选择相同的短语进行翻译，以便您可以多次增强相同的单词和短语。 与更传统的语言学习工具（如书籍和课程）一起使用时，这是学习新术语并增强现有词汇量的绝佳方法。 我们完全免费支持30多种语言，包括西班牙语，法语，德语，拉丁语，意大利语，日语，中文和俄语。 我们一直在努

Programming Languages Application and Interpretation 中文版

CSC240-AB介绍不同的语言

这是关于自动机理论的电子书，扫描版，经典著作，英文版