Output details
11 - Computer Science and Informatics
Swansea University
Article title
VDM semantics of programming languages: combinators and monads
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
23
Issue number
2
First page of article
221
ISSN of journal
0934-5043
Year of publication
2010
URL
-
Number of additional authors
0
Additional information
<10> When Moggi proposed the use of monads and monad transformers in 1989, it was generally regarded as a breakthrough. This article revealed that Scott and Strachey were using monadic notation already in 1971, and that the VDM semantics of PL/I in 1974 essentially used a monad transformer. The significance concerns the extent to which Moggi's theoretically-motivated approach was foreshadowed by earlier practically-motivated notation.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
