Fortell venner om denne varen:
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
Guy McCusker
Pris
R$ 321,90
Bestillingsvarer
Forventes levert 2. - 10. jul
Legg til iMusic ønskeliste
Eller
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
Guy McCusker
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 23. oktober 2012 |
| ISBN13 | 9781447111658 |
| Utgivere | Springer London Ltd |
| Antall sider | 189 |
| Mål | 155 × 235 × 11 mm · 299 g |
| Språk | Engelsk |
