Games and Full Abstraction for a Functional Metalanguage with Recursive Types

1/1
Afbeelding van Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Bol
Prijzen vanaf
46,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].
Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (1)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
46,99
Gratis
46,99
Naar shop
Gratis Shipping Costs
Beschrijving (1)

In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].

Productspecificaties

EAN
  • 9781447111658
  • 9783540762553
Maat

Prijzen voor het laatst bijgewerkt op:

Recursive Data Types in Setl

26,62
Meer informatie Meer info

Bloomsbury Academic

Metalanguage and Identity

116,95
Vergelijk 3 shops 3 shops

Full Abstraction and Semantic Equivalence

15,48
Meer informatie Meer info

Independently Published

Haskell for Beginners: How to Understand Pure Functional Programming with Strong Types

18,15
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
46,99
Naar shop