Work

VDM Semantics of Programming Languages: Combinators and Monads

Year: 2007

Type: conference-paper

Source: Springer eBooks

DOI: 10.1007/978-3-540-75221-9_23

Author: Peter D. Mosses

Institution: Swansea University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2884711481

FWCI: 0.651

Cites: 34

Cited by: 3

Related to: 10