Category Rules Rules Log in

Books
Tag: subtyping

Books — subtyping

EN

Types and Programming Languages

Types and Programming Languages

Benjamin C. Pierce

THELIB

IT book library with translation into 8 languages.

Catalog

Books
Categories
Rules
Agreement

Account

Register
Log in
Support

Info

thelib.cc
v0.1

© 2026 THELIB 8 languages · AI translation on the fly