README.md

Introduction

• Semantics of System F

  Related Reading 中提到，有關 System F 的介紹。

• A Formulation of the Simple Theory of Types

  Alonzo Church 在 1940 年發表，有關 Types Therory 的論文。

Example Code

書上範例只是一部份的程式碼，完整的程式碼請從下列網址取得。

• Untyped System

  Untyped System 的 example code。

• tapl-Haskell

  用 haskell 實作的 tapl。

Practices

@b4283 的 small-step-eval.rs ：

!CODEFILE "./small-step-eval.rs"

與 big-step-eval.scm ：

!CODEFILE "./big-step-eval.scm"