Ergebnisse für: parametricity

Hier findest Du Bücher, die sich mit parametricity beschäftigen.

Buch Cover A List of Successes That Can Change the World
A List of Successes That Can Change the World

Springer International Publishing
53.49 € · Paperback
functional languages lambda calculus parametricity programming language design type systems dependent object types formal semantics functional programming Haskell Java linear logic monadic second order logic multiparty session types non-deterministic programs programming languages
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the area...
Buch Cover A List of Successes That Can Change the World
A List of Successes That Can Change the World

Springer International Publishing
53.49 € · eBook
functional languages lambda calculus parametricity programming language design type systems dependent object types formal semantics functional programming Haskell Java linear logic monadic second order logic multiparty session types non-deterministic programs programming languages
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the area...
Buch Cover Programming Languages and Systems
Programming Languages and Systems

Springer Berlin
53.49 € · Paperback
Formal language definitions Higher-order logic Logic and verification Program verification Semantics and reasoning Classical logic Compilers Context-specific languages Cryptography Functional programming Language features Linear logic Models of computation Parametricity Probabilistic programs
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 29 papers presented in this volume were ca...
Buch Cover Programming Languages and Systems
Programming Languages and Systems

Springer Berlin
53.49 € · eBook
Formal language definitions Higher-order logic Logic and verification Program verification Semantics and reasoning Classical logic Compilers Context-specific languages Cryptography Functional programming Language features Linear logic Models of computation Parametricity Probabilistic programs
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 29 papers presented in this volume were ca...
Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden