VDM semantics of programming languages: Combinators and monads (Q539163)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | VDM semantics of programming languages: Combinators and monads |
scientific article |
Statements
VDM semantics of programming languages: Combinators and monads (English)
0 references
27 May 2011
0 references
programming language semantics
0 references
denotational semantics
0 references
VDM
0 references
combinators
0 references
monads
0 references
