Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Guy McCusker - Bog

af Guy McCusker

indgår i Distinguished Dissertations serien

Games and Full Abstraction for a Functional Metalanguage with Recursive Types af Guy McCusker
Bag om Games and Full Abstraction for a Functional Metalanguage with Recursive Types

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].

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781447111658
  • Indbinding:
  • Paperback
  • Sideantal:
  • 189
  • Udgivet:
  • 23. oktober 2012
  • Udgave:
  • 11998
  • Størrelse:
  • 234x156x11 mm.
  • Vægt:
  • 326 g.
  • 8-11 hverdage.
  • 10. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Guy McCusker

Vis alle bøger af Guy McCusker

Beskrivelse af Games and Full Abstraction for a Functional Metalanguage with Recursive Types

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].

Brugerbedømmelser af Games and Full Abstraction for a Functional Metalanguage with Recursive Types



Andre købte også..
Find lignende bøger
Bogen Games and Full Abstraction for a Functional Metalanguage with Recursive Types findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.