VDM semantics of programming languages: combinators and monads
| Date first appeared online | 15/01/2010 |
| DOI | 10.1007/s00165-009-0145-4 |
| Authors | Mosses P. |
| Journal Name | Formal Aspects of Computing |
| Volume | 23 |
| Date first appeared online | 15/01/2010 |
| DOI | 10.1007/s00165-009-0145-4 |
| Authors | Mosses P. |
| Journal Name | Formal Aspects of Computing |
| Volume | 23 |