Gå direkte til innholdet
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Spar

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].
Forfatter
Guy McCusker
Opplag
Softcover reprint of the original 1st ed. 1998
ISBN
9781447111658
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
23.10.2012
Antall sider
189