Peter D Mosses {VDM} Semantics of Programming Languages: Combinators and Monads
| Type of publication: | Article |
| Citation: | Mosses2010VSP |
| Journal: | Formal Aspects Comput. |
| Volume: | 23 |
| Year: | 2011 |
| Pages: | 221-238 |
| Note: | Revised and extended version of \cite{Mosses2007VSP} |
| DOI: | 10.1007/s00165-009-0145-4 |
| Keywords: | |
| Authors | |
| Added by: | [PDM] |
| Total mark: | 0 |
|
Attachments
|
|
|
|
|
Notes
|
|
|
|
|
Topics
|
|
|
|
