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

Forfatter:
innbundet, 1998
Engelsk
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.
Forfatter
Guy McCusker
ISBN
9783540762553
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
1.6.1998
Antall sider
224