Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Computer Science   Information Theory

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)


Free Shipping Included! Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) by The MIT Press at Translate This Website. MPN: Ill.. Hurry! Limited time offer. Offer valid only while supplies last. 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


Product Description & Reviews

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.

Features & Highlights

Additional Information

Manufacturer:The MIT Press
Part Number:Ill.
Publisher:The MIT Press
Studio:The MIT Press
MPN:Ill.
EAN:9780262570954
Item Weight:2.06 pounds
Item Size:1.1 x 9 x 9 inches
Package Weight:2.08 pounds
Package Size:7.5 x 1 x 1 inches

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) by The MIT Press

Buy Now:
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)

4.7 out of 5 stars with 172 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$45.00


Quantity:  

 


View More In Information Theory.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Name:
Email Address:
Your Message:

Related Best Sellers


Seven Concurrency Models in Seven Weeks: When Threads Unravel (The Pragmatic Programmers)
By imusti
mpn: black & white illustrations, ean: 9781937785659, isbn: 1937785653,

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
By Davis
ean: 9780122063824, isbn: 9780122063824,

Information Architecture: For the Web and Beyond
By O'Reilly Media
mpn: illustrations, ean: 9781491911686, isbn: 1491911689,

Understanding Context: Environment, Language, and Information Architecture
By O'Reilly Media
mpn: colour illustrations, ean: 9781449323172, isbn: 1449323170,

Computer Systems: Digital Design, Fundamentals of Computer Architecture and Assembly Language
By Springer
ean: 9783319667744, isbn: 9783319667744,



Privacy Policy / Terms of Service / Accessibility Statement
© 2020 - translateth.is. All Rights Reserved.