summaryrefslogtreecommitdiff
path: root/src/reduce_local.sig
Commit message (Collapse)AuthorAge
* Another run of Specialize, using ReduceLocal on datatype parametersGravatar Adam Chlipala2010-06-05
|
* Conversion of functions to CPS, to facilitate ServerCallGravatar Adam Chlipala2009-03-08
|
* Especialize working reasonably well; need to add new closure representation passGravatar Adam Chlipala2008-11-09