You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: City University London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Output 38 of 123 in the submission

Output title

Constructive applicative functors

Type

E - Conference contribution

DOI

Name of conference/published proceedings

International Conference on Mathematics of Program Construction

Volume number

7342

Issue number

First page of article

300

ISSN of proceedings

Year of publication

2012

URL

Number of additional authors

Additional information

Interdisciplinary

Cross-referral requested

Research group

A - Software and Systems Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract