Typed Eff

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedBy gptkb:Matija_Pretnar
gptkb:Andrej_Bauer
gptkbp:firstAppearance 2017
gptkbp:hasFeature type inference
algebraic effects and handlers
effect tracking
gptkbp:hasType static typing
https://www.w3.org/2000/01/rdf-schema#label Typed Eff
gptkbp:implementedIn gptkb:OCaml
gptkbp:influencedBy gptkb:OCaml
gptkb:Eff
algebraic effects
gptkbp:openSource true
gptkbp:paradigm functional programming
effectful programming
gptkbp:website https://github.com/effekt-lang/effekt
gptkbp:bfsParent gptkb:system_F
gptkbp:bfsLayer 6