We present λCIL, a typed λ-calculus which serves as the foundation for a typed intermediate
language for optimizing compilers for higher-order polymorphic programming languages …

Although systems with intersection types have many unique capabilities, there has never
been a fully satisfactory explicitly typed system with intersection types. We introduce λ B with …

Intensional type analysis provides the ability to analyze abstracted types at run time. In this
paper, we extend that ability to higherorder and kind-polymorphic type constructors. The …

Modular control-flow analysis with rank 2 intersection types Page 1 Math. Struct. in Comp.
Science (2003), vol. 13, pp. 87–124. c 2003 Cambridge University Press DOI: 10.1017/S0960129502003845 …

The CIL compiler for core Standard ML compiles whole ML programs using a novel typed
intermediate language that supports the generation of type-safe customized data …

Images are programs. They are usually simple instructions to a very specialized interpreter
that renders them on screen. Image formats therefore correspond to different programming …

• Where known, I have included the acceptance rate of refereed conference and workshop
papers, and the estimated “impact rating” of journals and conferences as reported by the …