Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations - Guy McCusker - Kirjat - Springer London Ltd - 9781447111658 - tiistai 23. lokakuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

Guy McCusker

Hinta
₺ 2.832,50

Tilattu etävarastosta

Arvioitu toimitus pe - ti 13. - 24. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

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

189 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 23. lokakuuta 2012
ISBN13 9781447111658
Tuottaja Springer London Ltd
Sivujen määrä 189
Mitta 155 × 235 × 11 mm   ·   299 g
Kieli English  
Näytä kaikki

Lisää tuotteita Guy McCusker

Katso kaikki joka sisältää Guy McCusker ( Esim. Paperback Book Ja Hardcover Book )