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
EN

A Design Space Exploration of Async/Await

Abstract: Many modern programming languages include some form of asynchronous programming. In particular, a growing number now have what we call str…

pdfplt
Lobsters