… by TIL to improve significantly as we tune the compiler and implement more optimizations. …
TIL uses a type-directed, abstract closure conversion in the style suggested by Minamide, …

… TIL, a type-directed optimizing compiler for Standrad ML, seems to have done a pretty good
job. It was reported that, on DEC Alpha workstations, programs compiled by TIL … to compile …

… because the bulk of compile time in TIL is spent in optimization, we can ship this optimized
code to … These sites can verify the type safety of the low-level, optimized code and then locally …

… In addition to describing new optimization algorithms in the second part of the thesis, I
describe the TIL compiler, which is joint work primarily with Greg Morrisett. Perry Cheng, Chris …

… optimization, which does not scale well to large programs. And perhaps the biggest problem
was that our compiler took an inordinate amount of time to optimize the … , the TIL compiler …

… optimizations yield? In order to support more efficient data representations and gain more
experience about type-directed … end for the Standard ML of New Jersey compiler. We describe …

… compilers (ie, Gallium 16], SML/NJ 29], and TIL 30]): First, type-directed compilation is carried
over to the ML … We use the following techniques to optimize the representations of kinds, …

… ) compiler has been written targeting PCC [CLN+00]. The TILT (TIL Two) compiler is an
optimizing compiler developed at CMU that implements the full Standard ML ’98 definition and …

… with the proposed optimizations, has been implemented in our SML# compiler for the full
set of Standard ML language, … This approach has the same spirit of the TIL compiler [TMC …

… current optimizing ML compilers, … Optimization passes are performed repeatedly until no
change is observed or some fixed small number of passes has been reached. The optimization …