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

Tübingen Center for Programming Languages

Case Studies

PL Center
Teaching
Research
- Back
- Efficient Compilation
  - Back
  - More...
- Computational Thinking
- Effect Handlers
  - Back
  - Effekt
  - Scala Effekt
  - Java Effekt
  - More...
- Effect Systems
  - Back
  - More...
- Uroboro
  - Back
  - More...
- Publications
  - Back
  - Peer-reviewed
  - Technical Reports
  - Theses
  - Other
  - More...

Efficient Compilation
Computational Thinking
Effect Handlers
Effect Systems
Uroboro
Publications

You are here:

Home
...
PL Center
Research
Effects, Capabilities, and Boxes
Case Studies

Effects, Capabilities, and Boxes

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

Case Studies

Here we report on (additional) examples that illustrate the expressivity of System C.

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

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

Imprint
Data Privacy Statement
Barrierefreiheit
RSS-Feed
Print