PLEIAD effectcaps
http://pleiad.cl/
2026-04-27T23:41:48+00:00PLEIAD
http://pleiad.cl/
http://pleiad.cl/lib/tpl/pleiad2/images/favicon.icotext/html2013-05-22T20:44:46+00:00Anonymous (anonymous@undisclosed.example.com)effectcaps:delegability
http://pleiad.cl/effectcaps/delegability
[Â Download Code]
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}
module A where
import EffectCapabilities
import GHC.Generics
import {-# SOURCE #-} B
data Cap a = Cap a deriving Generic
instance Capability Cap a
instance Send BChannel Cap ()text/html2015-03-13T19:31:32+00:00Anonymous (anonymous@undisclosed.example.com)effectcaps:sblp14
http://pleiad.cl/effectcaps/sblp14
Brazilian Symposium on Programming Languages
Abstract
Computational effects complicate the tasks of reasoning about and
maintaining software, due to the many kinds of interferences that
can occur. While different proposals have been formulated to
alleviate the fragility and burden of dealing with specific effects,
such as state or exceptions, there is no prevalent robust mechanism
that addresses the general interference issue. Building upon the
idea of capability-based security, we propose eff…