proof-relevant.systems Open in urlscan Pro
2606:4700:3030::6815:326d  Public Scan

Form analysis
0 forms found in the DOM

Text Content

ALISSA TUNG [ALISSA-0000]




CONTACT INFORMATION [ALISSA-0001]

 * alissatung

GitHub: gh:alissa-tung Email: alissa-tung <at/> outlook <dot/> com


TEACHING MATERIALS [ALISSA-0002]

 * alissatung


INTRODUCTION TO COMPUTER SCIENCE: FUNCTIONAL PROGRAMMING [ICS-FP-0000]

 * 2024
 * alissatung
 * Renmin University of China

此系列课程旨在介绍下列话题：

 * 如何构建可复现的系统：善事利器。 此类技能不仅可以用于配置更先进、更稳定的、用于日常计算机科学探索旅程的操作系统，
   还可以帮助搭建可靠的、兼容性好的作业实验项目与团队软件工程项目。
 * 函数式程序设计：介绍函数式程序设计中一些经典的优美理论，与函数式程序设计生态的现代工程化实践。




ICS-FP: TABLE OF CONTENTS [ICS-FP-0001]

 * alissatung

 1. 善事利器：Nix 与 NixOS


PREFACE [ALISSA-0003]

 * alissatung

> Finally, a note about "we" in this book: "we" will almost always mean the
> reader and the authors together, not the authors alone.

--- Lambda-Calculus and Combinators, an Introduction, J. Roger Hindley, Jonathan
P. Seldin


TABLE OF CONTENTS

 * ■Contact Information
 * ■Teaching Materials
   * ■Introduction To Computer Science: Functional Programming
     * ■ICS-FP: Table of Contents
 * ■Preface