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

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 174 of 401 in the submission

Output title

Handlers of Algebraic Effects

Type

E - Conference contribution

DOI

10.1007/978-3-642-00590-9_7

Name of conference/published proceedings

Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Volume number

5502

Issue number

First page of article

ISSN of proceedings

0302-9743

Year of publication

2009

URL

http://www.springerlink.com/content/7582l5285715m533/

Number of additional authors

Additional information

<08> Originality: First method and programming language construct for handling effects in general (not just exceptions) with diverse applications, e.g., pipeline-handling, database rollback, some aspects of concurrency.

Significance: Inspired Bauer and Pretnar's Eff experimental programming language. Part of Plotkin's continuing algebraic effects research programme which has aroused international interest, including a workshop, EWCE Ljubljana, and a special session of MFPS 2012, and is mentioned in Plotkin's SIGPLAN 2010 award citation.

Rigour: A semantics is given to an extension of the CBPV lambda-calculus, with the effect-handling construct understood using homomorphisms from free algebras. A logic for effect handlers is given.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract