类型系统

2024

[TaPL] 25 An ML Implementation of System F

[TaPL] 24 Existential Types

[TaPL] 23 Universal Types

[TaPL] 22 Type Reconstruction

[TaPL] 21 Metatheory of Recursive Types

[TaPL] 20 Recursive Types

[TaPL] 19 Featherweight Java

[TaPL] 18 Imperative Objects

[TaPL] 17 Subtyping in ML

2023

[TaPL] 16 Metatheory of Subtyping

[TaPL] 15 Subtyping

2021

[TaPL] 14 Exceptions

[TaPL] 13 References

[TaPL] 12 Normalization

Types and Algebra

[TaPL] 11 Simple Extensions

[TaPL] 10 STLC in ML

[TaPL] 09 Simply Typed Lambda-Calculus

[TaPL] 08 Typed Arithmetic Expressions

[TaPL] 07 Lambda-Calculus in ML

[TaPL] 06 Nameless Representation of Terms

[TaPL] 05 The Untyped Lambda-Calculus

[TaPL] 04 Arithmetic Expressions in ML

[TaPL] 03 Untyped Arithmetic Expressions

[The Little Typer] 11 All lists are created equals

[The Little Typer] 10 It also depends on the List

[The Little Typer] 09 Double your Money

[The Little Typer] 08 Pick a Number, any Number

[The Little Typer] 07 It all depends on the Motive

[The Little Typer] 06 Precisely How Many?

[The Little Typer] 05 Lists, Lists, and More Lists

[The Little Typer] 04 Easy as Pie

[The Little Typer] 03 Eliminate All Natural Numbers!

[The Little Typer] 02 Doin' What Comes Naturally

[The Little Typer] 01 The More Things Change, the More They Stay the Same

2020

[TaPL] 01 Introduction