EN

Bidirectional Type Slicing

Abstract: Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing that answ…

pdfplt
Lobsters