Parameterized extensible effects and session types (extended abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Parameterized monad goes beyond monads in letting us represent type-state. An effect executed by a computation may change the set of effects it may be allowed to do afterwards. We describe how to easily ‘add’ and ‘subtract’ such type-state effects. Parameterized monad is often used to implement session types. We point out that extensible type-state effects are themselves a form of session types.

Original languageEnglish
Title of host publicationTyDe 2016 - Proceedings of the 1st International Workshop on Type-Driven Development, co-located with ICFP 2016
EditorsWouter Swierstra, James Chapman
PublisherAssociation for Computing Machinery, Inc
Pages41-42
Number of pages2
ISBN (Print)9781450344357
DOIs
Publication statusPublished - 2016 Sep 18
Event1st ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2016, co-located with the International Conference on Functional Programming, ICFP 2016 - Nara, Japan
Duration: 2016 Sep 18 → …

Publication series

NameTyDe 2016 - Proceedings of the 1st International Workshop on Type-Driven Development, co-located with ICFP 2016

Other

Other1st ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2016, co-located with the International Conference on Functional Programming, ICFP 2016
Country/TerritoryJapan
CityNara
Period16/9/18 → …

Keywords

  • Freer monad
  • Parameterized monad
  • Session type

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Parameterized extensible effects and session types (extended abstract)'. Together they form a unique fingerprint.

Cite this