Zur Startseite gehen
0,00 €*
Cover: 9781107180185 | Programming Languages | Norman Ramsey | Buch | Gebunden | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Programming Languages
Build, Prove, and Compare
Buch von Norman Ramsey
Sprache: Englisch

93,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Teaches students about great programming-language ideas and how to use them in programming practice.
Teaches students about great programming-language ideas and how to use them in programming practice.
Über den Autor
Norman Ramsey is Associate Professor of Computer Science at Tufts University. Since earning his Ph.D. at Princeton, he has worked in industry and has taught programming languages, advanced functional programming, programming-language implementation, and technical writing at Purdue, the University of Virginia, and Harvard as well as Tufts. He has received Tufts's Lerman-Neubauer Prize, awarded annually to one outstanding undergraduate teacher. He has also been a Hertz Fellow and an Alfred P. Sloan Research Fellow. His implementation credits include a code generator for the Standard ML of New Jersey compiler and another for the Glasgow Haskell Compiler.
Inhaltsverzeichnis
Preface; Acknowledgments; Credits; Tables of judgment forms, important functions, and concrete syntax; List of symbols and notation; Introduction; Part I. Foundations: 1. An imperative core; 2. Scheme, S-expressions, and first class functions; 3. Control operators and a small-step semantics: ¿Scheme+; 4. Automatic memory management; 5. Interlude: ¿Scheme in ML; 6. Type systems for Impcore and ¿Scheme; 7. ML and type inference; Part II. Programming at Scale: 8. User-defined, algebraic types; 9. Molecule, abstract data types, and modules; 10. Smalltalk and object orientation; Afterword; Bibliography; Key words and phrases; Concept index.
Details
Erscheinungsjahr: 2022
Fachbereich: EDV
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781107180185
ISBN-10: 110718018X
Sprache: Englisch
Einband: Gebunden
Autor: Ramsey, Norman
Hersteller: Cambridge University Press
Maße: 259 x 183 x 43 mm
Von/Mit: Norman Ramsey
Erscheinungsdatum: 27.10.2022
Gewicht: 1,744 kg
Artikel-ID: 123850442
Über den Autor
Norman Ramsey is Associate Professor of Computer Science at Tufts University. Since earning his Ph.D. at Princeton, he has worked in industry and has taught programming languages, advanced functional programming, programming-language implementation, and technical writing at Purdue, the University of Virginia, and Harvard as well as Tufts. He has received Tufts's Lerman-Neubauer Prize, awarded annually to one outstanding undergraduate teacher. He has also been a Hertz Fellow and an Alfred P. Sloan Research Fellow. His implementation credits include a code generator for the Standard ML of New Jersey compiler and another for the Glasgow Haskell Compiler.
Inhaltsverzeichnis
Preface; Acknowledgments; Credits; Tables of judgment forms, important functions, and concrete syntax; List of symbols and notation; Introduction; Part I. Foundations: 1. An imperative core; 2. Scheme, S-expressions, and first class functions; 3. Control operators and a small-step semantics: ¿Scheme+; 4. Automatic memory management; 5. Interlude: ¿Scheme in ML; 6. Type systems for Impcore and ¿Scheme; 7. ML and type inference; Part II. Programming at Scale: 8. User-defined, algebraic types; 9. Molecule, abstract data types, and modules; 10. Smalltalk and object orientation; Afterword; Bibliography; Key words and phrases; Concept index.
Details
Erscheinungsjahr: 2022
Fachbereich: EDV
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781107180185
ISBN-10: 110718018X
Sprache: Englisch
Einband: Gebunden
Autor: Ramsey, Norman
Hersteller: Cambridge University Press
Maße: 259 x 183 x 43 mm
Von/Mit: Norman Ramsey
Erscheinungsdatum: 27.10.2022
Gewicht: 1,744 kg
Artikel-ID: 123850442
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9780470192740 | XSLT 2.0 and XPath 2.0 | Programmer's Reference | Michael Kay | Buch
XSLT 2.0 and XPath 2.0
Programmer's Reference
EAN: 9780470192740
Sprache: Englisch
Von/Mit: Michael Kay

69,90 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781593276669 | How Software Works: The Magic Behind Encryption, Cgi, Search...
How Software Works: The Magic Behind Encryption, Cgi, Search Engines, and Other Everyday Technologies
EAN: 9781593276669
Sprache: Englisch
Von/Mit: V. Anton Spraul

35,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783642624117 | Chatbots in der Kundenkommunikation | Alexander Braun | Taschenbuch
Chatbots in der Kundenkommunikation
EAN: 9783642624117
Sprache: Deutsch
Von/Mit: Alexander Braun

69,99 €*

Lieferzeit 1-2 Werktage

Bundle
Cover: 9783658207045 | Programmierung in Python, m. 1 Buch, m. 1 E-Book | Ralph Steyer | 2018
Programmierung in Python, m. 1 Buch, m. 1 E-Book
Ein kompakter Einstieg für die Praxis. Mit E-Book
EAN: 9783658207045
Sprache: Deutsch
Von/Mit: Ralph Steyer

54,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781484238318 | Complete Guide to Test Automation | Arnon Axelrod | Taschenbuch | 2018
Complete Guide to Test Automation
Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects
EAN: 9781484238318
Sprache: Englisch
Von/Mit: Arnon Axelrod

64,19 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781788833288 | Learn Three.js - Third Edition | Jos Dirksen | Taschenbuch | Paperback
Learn Three.js - Third Edition
EAN: 9781788833288
Sprache: Englisch
Von/Mit: Jos Dirksen

57,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781788292740 | Julia Programming Projects | Adrian Salceanu | Taschenbuch | Paperback
Julia Programming Projects
EAN: 9781788292740
Sprache: Englisch
Von/Mit: Adrian Salceanu

61,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781789342673 | Jira Quick Start Guide | Ravi Sagar | Taschenbuch | Paperback | 2019
Jira Quick Start Guide
EAN: 9781789342673
Sprache: Englisch
Von/Mit: Ravi Sagar

42,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783110702057 | Eingebettete Systeme | Entwurf, Synthese und Edge AI | Taschenbuch
Eingebettete Systeme
Entwurf, Synthese und Edge AI
EAN: 9783110702057
Sprache: Deutsch
Von/Mit: Oliver Bringmann (u. a.)

51,95 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781009181341 | Programming in Ada 2012 with a Preview of Ada 2022 | John Barnes
Programming in Ada 2012 with a Preview of Ada 2022
EAN: 9781009181341
Sprache: Englisch
Von/Mit: John Barnes

120,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781804619070 | Effective Concurrency in Go | Burak Serdar | Taschenbuch | Paperback
Effective Concurrency in Go
Develop, analyze, and troubleshoot high performance concurrent applications with ease
EAN: 9781804619070
Sprache: Englisch
Von/Mit: Burak Serdar

51,75 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...