Coeffects

DOI10.1145/2628136.2628160zbMath1345.68069OpenAlexW2137282578WikidataQ59505544 ScholiaQ59505544MaRDI QIDQ2819671

Tomas Petricek, Alan Mycroft, Dominic A. Orchard

Publication date: 29 September 2016

Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2628136.2628160

zbMATH Keywords

typescontextcoeffectsindexed comonads

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50)

Related Items (12)

Comprehending Ringads ⋮ I Got Plenty o’ Nuttin’ ⋮ When programs have to watch paint dry ⋮ Algebraic effects for extensible dynamic semantics ⋮ A framework for substructural type systems ⋮ A dependent dependency calculus ⋮ A Java-like calculus with heterogeneous coeffects ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ Flexible recovery of uniqueness and immutability ⋮ Graded Hoare logic and its categorical semantics ⋮ Graded modal dependent type theory ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

This page was built for publication: Coeffects