Phil trinder (77 Ergebnisse)

Hardcover. Zustand: Fine. 1st Edition. Hardcover book in Fine condition. Pages are crisp and completely clean bearing no additional markings whatsoever. NOT an ex-library copy. We ship promptly from the United States and in a box.

Zustand: New.

Paperback or Softback. Zustand: New. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Book.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New. pp. 168.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Zustand: New. pp. 204.

Zustand: New. pp. 244.

Zustand: New. pp. 479.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasília, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques.…

Zustand: New.

Paperback. Zustand: Brand New. 478 pages. 8.75x5.75x1.00 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub eck, Germany, September 8-10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support. Previous IFL workshops were held in the United Kingdom (Southampton, Norwich, London, St Andrews, and Edinburgh), in the Netherlands (Nijmegen and Lochem), in Germany (Aachen and Bonn), in Sweden (B astad and Sto- holm), and in Spain (Madrid). In 2005, the 17th International Workshop on - plementation and Application of Functional Languages will be held in Dublin, Ireland.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Implementation of Functional Languages.- Lazy Assertions.- Interfacing Haskell with Object-Oriented Languages.- A Functional Shell That Dynamically Combines Compiled Code.- Polymorphic Type Reconstruction Using Type Equations.- Correctness of Non-determinism Analyses in a Parallel-Functional Language.- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.- Dynamic Chunking in Eden.- With-Loop Scalarization - Merging Nested Array Operations.- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.- Generic Graphical User Interfaces.- Polytypic Programming in Haskell.…