Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
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.
  • 22. november 2024

Normalpris

  • BLACK NOVEMBER

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.