Uni A-Z
Contact

Search

Prospective Students
Current Students
Beschäftigte
Teaching Staff
Alumni
Media
Business
Lifelong learning

All Degree Programs
Campus-Portal
Excellence Initiative
Staff Search (EPV)
Student Administration
University Library
Online Course Catalogue
Webmail Uni Tübingen
Advice for International Students

Faculty of Science

Software Engineering

Software Engineering

Group
- Back
- Contact
  - Back
  - More...
- News
  - Back
  - More...
- Team
Teaching
Research
- Back
- Efficient Compilation
  - Back
  - More...
- Effect Handlers
  - Back
  - Effekt
  - Scala Effekt
  - Java Effekt
  - More...
- Effect Systems
  - Back
  - More...
- Publications
  - Back
  - Peer-reviewed
  - Technical Reports
  - Theses
  - Other
  - More...

Efficient Compilation
Effect Handlers
Effect Systems
Publications

You are here:

Home
...
Software Engineering (SE)
Research
Effects, Capabilities, and Boxes
Paper Examples

Effects, Capabilities, and Boxes

Introduction to System C
Capabilities and Effects
Boxing and Unboxing
Paper Examples
Case Studies

Paper Examples

Here we include executable variants of all examples from the paper.

Key services

Disabled access Advice for international students Maps Search for persons at the University (EPV)Semester Dates Jobs Organizing Your Studies University Library Programs available Welcome Center for Scholars

Further services

System status Corporate Design Conference materials Cafeteria menu Newsletter Uni Tübingen aktuell Studium Generale Uni shop Calendar of events

Portals

ALMA Exchange Mail (OWA)Praxis Portal Research information system FIT ILIAS, moodle, BSCW Timms Video Portal Webmail Uni Tübingen

Contact us

University of Tübingen

Geschwister-Scholl-Platz
72074 Tübingen Germany

Phone: +49 7071 29-0
Contact us

Facebook Twitter Youtube Instagram LinkedIn

© 2024 Eberhard Karls Universität Tübingen, Tübingen

Imprint
Data Privacy Statement
Barrierefreiheit
RSS-Feed
Print