1
Published 2007
Table of Contents: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
View full text
Electronic eBook
2
by Alchin, Marty., Alchin, Marty.
Published 2010
Table of Contents: ...Principles and Philosophy -- Advanced Basics -- Functions -- Classes -- Common Protocols -- Object...
View full text
Electronic eBook