Bidirectional Type Slicing

A research paper develops bidirectional type slicing, a way for programmers to ask why an expression has particular type information. It returns a well-formed partial program that preserves the queried type information while folding away irrelevant parts.

1 source Published Updated

Coverage 1 publisher

  1. Lobsters

    Bidirectional Type Slicing

Articles stay on their publishers’ sites; each link opens the original.