Conference item icon

Conference item

Comprehending Ringads

Alternative title:
For Phil Wadler, on the Occasion of his 60th Birthday
Abstract:

List comprehensions are a widely used programming construct, in languages such as Haskell and Python and in technologies such as Microsoft’s Language Integrated Query. They generalize from lists to arbitrary monads, yielding a lightweight idiom of imperative programming in a pure functional language. When the monad has the additional structure of a so-called ringad, corresponding to ‘empty’ and ‘union’ operations, then it can be seen as some kind of collection type, and the comprehension nota...

Expand abstract
Publication status:
Published
Peer review status:
Reviewed (other)

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-30936-1_7

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
Engineering and Physical Sciences Research Council
Grant:
EP/K020919/1
Publisher:
Springer
Host title:
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Series:
Lecture Notes in Computer Science
Journal:
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday More from this journal
Volume:
9600
Pages:
132-151
Publication date:
2016-03-25
Acceptance date:
2015-12-04
DOI:
ISBN:
9783319309354
Pubs id:
pubs:598207
UUID:
uuid:1dc006fd-8896-4979-b3ad-45bc542ea8f0
Local pid:
pubs:598207
Source identifiers:
598207
Deposit date:
2016-01-28

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP