Union and intersection types have recently been usedbyPalsberg and Pa vlopoulou[20]and subsequently by Wells, Dimock, Muller, and Turbak[30]inatypesystem involving flow types for ...

Union and intersection types have recently been used by Palsbergand Pa vlopoulou[20]and sub-sequentlybyWells, Dimock, Muller, and Turbak[30]inatypesystem involving flow types for ...

1 Modular Set-Based Analysis from Contracts Philippe Meunier College of Computer and Information Science, Northeastern University meunier@ccs.neu. edu Robert BruceFindler ...

Tridirectional Typechecking Joshua Duneld joshuad@cs.cmu.edu Frank Pfenning fp@cs.cmu.edu Carnegie Mellon University ABSTRACT In prior work we introduced a pure type assignment ...

Modular Set-Based Analysis from Contracts Philippe Meunier College of Computer and Information Science, Northeastern University meunier@ccs.neu. edu Robert BruceFindler Department ...