Author: Association for Computing Machinery
Publisher: Pearson Education
ISBN: 9780897914536
Category : Computer programming
Languages : en
Pages : 380

View

Book Description

Author:
Publisher: Association for Computing Machinery (ACM)
ISBN:
Category : Computers
Languages : en
Pages : 196

View

Book Description

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262162098
Category : Computers
Languages : en
Pages : 656

View

Book Description
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Author: Gilles Barthe
Publisher: Cambridge University Press
ISBN: 110848851X
Category : Computers
Languages : en
Pages : 583

View

Book Description
This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is also available as Open Access on Cambridge Core.

Author: Simon Peyton Jones
Publisher: Cambridge University Press
ISBN: 9780521826143
Category : Computers
Languages : en
Pages : 280

View

Book Description
Haskell is the world's leading lazy functional programming language, widely used for teaching, research, and applications. The language continues to develop rapidly, but in 1998 the community decided to capture a stable snapshot of the language: Haskell 98. All Haskell compilers support Haskell 98, so practitioners and educators alike have a stable base for their work.This book constitutes the agreed definition of Haskell 98, both the language itself and its supporting libraries, and should be a standard reference work for anyone involved in research, teaching, or application of Haskell.

Author: Carl A. Gunter
Publisher: MIT Press
ISBN: 9780262570954
Category : Computers
Languages : en
Pages : 450

View

Book Description
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi. Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.

Author: John C. Mitchell
Publisher: Cambridge University Press
ISBN: 9780521780988
Category : Computers
Languages : en
Pages : 546

View

Book Description
A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

Author: Andrew W. Appel
Publisher: Cambridge University Press
ISBN: 110704801X
Category : Computers
Languages : en
Pages : 469

View

Book Description
This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

Author: Robin Milner
Publisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132

View

Book Description
Software -- Programming Languages.

Author: Stephan Arthur Zdancewic
Publisher:
ISBN:
Category :
Languages : en
Pages : 626

View

Book Description