Help Design Your New ACM Digital Library
We're upgrading the ACM DL, and would like your input. Please sign up to review new features, functionality and page designs.
Leave an email address:
or
Follow @ACMDL
or
[
Not interested
]
SIGN IN
SIGN UP
Check out the beta version of the
next
ACM DL
Relational algebra by way of adjunctions
Full Text:
PDF
see
source materials
below for
more options
Authors:
Jeremy Gibbons
University of Oxford, UK
Fritz Henglein
University of Copenhagen, Denmark
Ralf Hinze
University of Kaiserslautern, Germany
Nicolas Wu
University of Bristol, UK
2018 Article
Open Access
Artifacts
Artifacts Evaluated - Functional
Artifacts Available
Bibliometrics
· Citation Count: 0
· Downloads (cumulative): 537
· Downloads (12 Months): 253
· Downloads (6 Weeks): 36
Published in:
· Journal
Proceedings of the ACM on Programming Languages
archive
Volume 2 Issue ICFP, September 2018
Article No. 86
ACM
New York, NY
, USA
table of contents
doi>
10.1145/3236781
Tools and Resources
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Author Tags
adjunction
categorical semantics
comprehension
graded monad
monad
relational database query languages
semantics
sql
Contact Us
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by