Siirry suoraan sisältöön
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Tallenna

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Kirjailija:
sidottu, 1998
englanti
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.
Kirjailija
Guy McCusker
ISBN
9783540762553
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
1.6.1998
Sivumäärä
224