PubPeer
The online Journal club
login
create account
Home
Publications
From Datalog to flix: a declarative language for fixed points on lattices
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (2016) -
Comments
doi: 10.1145/2908080.2908096
Magnus Madsen, Ming-Ho Yee, Ondřej Lhoták
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})