Cookies on oxfam

We use cookies to ensure that you have the best experience on our website. If you continue browsing, we’ll assume that you are happy to receive all our cookies. You can change your cookie settings at any time. Find out more Close

  • Grows vegetables
  • Fills classrooms
  • Drills wells
  • Empowers women
  • Fights poverty

Semantics of programming languages

£24.99

Product 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 should also prove useful to professionals who want an easily referenced description of fundamental results.;Basic connections between computational behaviour, denotational semantics, and the equational logic of functional programmes 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, types 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.

Good condition hardback. Some light scratches to front cover. No dust jacket.

Item details

Author(s):
Carl A Gunter
Condition:
Used: very good
Format:
Hardback
ISBN-10:
0262071436
ISBN-13:
9780262071437
Number of pages:
0
Publisher:
MIT Press
Title:
Semantics of Programming Languages

Standard UK Delivery (£3.95 per order)

Delivery FAQs

Free returns

within 21 days.
Returns policy

About this item

"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 should also prove useful to professionals who want an easily referenced description of fundamental results.;Basic connections between computational behaviour, denotational semantics, and the equational logic of functional programmes 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, types 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.

Good condition hardback. Some light scratches to front cover. No dust jacket.

Author(s):
Carl A Gunter
Condition:
Used: very good
Format:
Hardback
ISBN-10:
0262071436
ISBN-13:
9780262071437
Number of pages:
0
Publisher:
MIT Press
Title:
Semantics of Programming Languages

Delivery & returns

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is £3.95 per order , so you're only charged once no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

You can find out more about delivery and returns in our help section.

We offer a no quibble returns policy as follows:

Wedding dresses: 14 days

Overseas returns: 31 days

Everything else: 21 days


This item is also available for international delivery by airmail, carrying a mandatory delivery charge of:

Europe: £8.00

Outside Europe: £15.00

Volunteer listed

Wonder how this unique item ended up online?

Most of the second-hand items you see online have been donated, by supporters like you, to our high street stores. Each item is then priced, photographed and listed on this site by our amazing team of volunteers from across the country.

After you have bought your item, our team of volunteers package and dispatch it from the Shop straight to you or your chosen recipient.

All profits from the sales of our goods go towards funding Oxfam's work around the world. We rely on your donations to sell online so please keep the cycle of goodness going!

To find out more about volunteering with Oxfam, please visit our how to volunteer page.

Oxfam Shop Milton Keynes

A really great range for all Oxfam shoppers! We sell a variety of donated clothes and accessories, books, and homewares. We also stock Fairtrade food and greetings cards as well as a range of stationery. Call us for more information!

View Shop