Back to Results
First PageMeta Content
Theoretical computer science / Models of computation / Functional programming / Monad / Logic in computer science / Lambda calculus / Function / Sheaf / Symbol / Mathematics / Adjoint functors / Mathematical logic


Coeffects: The Essence of Context Dependence Submitted draft (October 2012)
Add to Reading List

Document Date: 2012-10-28 21:18:50

Open Document

File Size: 513,25 KB

Share Result on Facebook

Company

idC / C s A / Coeffects / /

/

Facility

Alan Mycroft University of Cambridge / /

IndustryTerm

web browser / client device / declaration site / example coeffect systems / software runs / binary operator / coeffect systems / type systems / call site / effect systems / coeffects systems / /

Organization

Alan Mycroft University of Cambridge / /

Person

Coeffect Calculus / Tomas Petricek / Dominic Orchard / /

Position

General / /

ProgrammingLanguage

ML / /

Technology

caching / /

SocialTag