Gå direkt till innehållet
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Spara

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Lägsta pris på PriceRunner
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].
Författare
Guy McCusker
Upplaga
Softcover reprint of the original 1st ed. 1998
ISBN
9781447111658
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-10-23
Sidor
189