Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Lightweight Polymorphic Effects
EPFL, Switzerland.
EPFL, Switzerland.
EPFL, Switzerland.ORCID iD: 0000-0002-2659-5271
2012 (English)In: ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, Springer Berlin/Heidelberg, 2012, Vol. 7313, 258-282 p.Conference paper, Published paper (Refereed)
Abstract [en]

Type-and-effect systems are a well-studied approach for reasoning about the computational behavior of programs. Nevertheless, there is only one example of an effect system that has been adopted in a wide-spread industrial language: Java’s checked exceptions. We believe that the main obstacle to using effect systems in day-to-day programming is their verbosity, especially when writing functions that are polymorphic in the effect of their argument. To overcome this issue, we propose a new syntactically lightweight technique for writing effect-polymorphic functions. We show its independence from a specific kind of side-effect by embedding it into a generic and extensible framework for checking effects of multiple domains. Finally, we verify the expressiveness and practicality of the system by implementing it for the Scala programming language.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. Vol. 7313, 258-282 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7313
Keyword [en]
Effect system, Extensible framework, Multiple domains, Polymorphic effects, Side effect
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-165619DOI: 10.1007/978-3-642-31057-7_13Scopus ID: 2-s2.0-84879707707ISBN: 978-3-642-31056-0 (print)ISBN: 978-3-642-31057-7 (print)OAI: oai:DiVA.org:kth-165619DiVA: diva2:808696
Conference
26th European Conference on Object-Oriented Programming, ECOOP 2012, Beijing, China, 11 June 2012 through 16 June 2012
Note

QC 20150430

Available from: 2015-04-29 Created: 2015-04-29 Last updated: 2015-04-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Haller, Philipp

Search in DiVA

By author/editor
Haller, Philipp
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 13 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf