activity
20162026
most citedWhat's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)

2 citations · 7 across the 11 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.PL2017

A Co-contextual Type Checker for Featherweight Java (incl. Proofs)

Edlira Kuci, Sebastian Erdweg, Oliver Bračevac +2

This paper addresses compositional and incremental type checking for object-oriented programming languages. Recent work achieved incremental type checking for structurally typed fu…