[MLton-devel] RE: opus

[Stephen Weeks]

> I was cleaning my office the other week (scary!) and pawing through my
> MLton pile, I came across a physical copy of what might have been an old
> draft of an opus.  Titled "MLton: A Whole-Program Optimizing Compiler for
> Standard ML" by Henry, Suresh, & Steve.  It's got sections on
> defunctorization, monomorphization, SXML, closure conversion & flow
> analysis, and a little on CPS IL.  I don't know its origin (I seem to
> remember getting it sometime during my first couple of weeks at NEC), but
> it seems to have good stuff.

Yeah, I glanced through that.  I've got it online somewhere.  I think
most of the closure conversion & flow analysis is in our ESOP paper.
The defunctorization and monomorphization come from the old hackers
guide, and will come in handy.

> Also, last week I hacked a little on the contification paper.  In that
> project under the journal directory, between macros.tex and figstabs.tex
> are syntax and semantics of the SSA IL (modulo handlers).

Cool.  Hopefully we can add handlers and move it to the opus.

BTW, I'll be out of town through Wednesday night.  I may not be online
again until then.

_______________________________________________________________

Don't miss the 2002 Sprint PCS Application Developer's Conference
August 25-28 in Las Vegas -- http://devcon.sprintpcs.com/adp/index.cfm

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel