Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics

Type-and-effect systems incorporate information about the computational effects, e.g., state mutation, probabilistic choice, or I/O, a program phrase may invoke alongside its return value. A semantics for type-and-effect systems involves a parameterised family of monads whose size is exponential in...

Descrizione completa

Dettagli Bibliografici
Autori principali: Kammar, O, McDermott, D
Natura: Journal article
Pubblicazione: Elsevier 2018

Documenti analoghi