Search results for “[Subject: programming-compilers]”

• Author(s): Daniel P. Friedman • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Languages - GeneralA new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming langu...

• Author(s): Benjamin C. Pierce • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Programming - Object OrientedA comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatical...

• Author(s): Casey Reas • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Languages - GeneralThe new edition of an introduction to computer programming within the context of the visual arts, using the open-source programming ...

• Author(s): Matthias Felleisen • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Software Development & Engineering - GeneralA completely revised edition, offering new design recipes for interactive programs and support for imag...

• Author(s): Annette Vee • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Programming - GeneralHow the theoretical tools of literacy help us understand programming in its historical, social and conceptual contexts.The message from e...

• Author(s): Daniel P. Friedman • Publisher: Mit Press • Publisher Imprint: Mit Press • BISAC: Programming - GeneralAn introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its be...