very minor edits
[packages/hoopl.git] / paper /
2010-06-12  Joao Diasvery minor edits
2010-06-12  Joao DiasChronological order is our friend.
2010-06-11  Joao Diastypo
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Joao DiasSome cleanup in 5.0 and 5.1
2010-06-11  Norman RamseyI don't know why we said 15% in our authors' response...
2010-06-11  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-11  Norman Ramseywent over section 4 with a fine-tooth comb; carefully...
2010-06-11  Joao Diasinverted pass direction
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Joao Dias2 typos plus a more accurate equivocation
2010-06-11  Norman RamseyThe official functions of Hoopl are the 'transfer'...
2010-06-11  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-11  Norman Ramseyminor edits in section 3
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Joao DiasTrying to give the last section a little more structure...
2010-06-11  Joao DiasTrying to refocus the last section on the stated goal...
2010-06-11  Norman Ramseywordsmithing section 3
2010-06-11  Norman Ramseythings are open closed 'on' entry/exit, not 'at' entry...
2010-06-11  Norman RamseyTightened and removed self-praise from sections 1 and 2.
2010-06-11  Joao DiasUndoing an earlier mis-edit
2010-06-11  Joao DiasMoved the footnote on the liveness/dead-code interleavi...
2010-06-11  Joao DiasGrammar and consistency in section 2
2010-06-11  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-11  Norman Ramseysmall improvements and consistencies
2010-06-11  Norman RamseyTighter and tighter---got back under page limit.
2010-06-11  Norman RamseyNew concluding section.
2010-06-11  Joao Diasgrammar police in section 1
2010-06-11  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-06-11  Joao DiasSome corrections and tweaks in sections 4 and 5.
2010-06-11  Norman RamseyFirst draft of a short section about performance and...
2010-06-11  Norman RamseyTightening fuel section. Discussion of withFuel was...
2010-06-11  Norman RamseyClarifying (one hopes) some of the new text.
2010-06-11  Simon Peyton JonesFriday's edits from Simon
2010-06-10  Norman Ramseymany defined and used identifiers
2010-06-10  Norman Ramseyrenamed @joinWithTop'@ to @extendJoinDomain@.
2010-06-10  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-10  Norman RamseyReworked section on the rewrite function.
2010-06-10  Norman Ramseyclean up the latex source
2010-06-10  Norman Ramseyresponses to reviewers or promissory notes for same
2010-06-10  Joao DiasMoved the footnote from section 1 to a place where...
2010-06-10  Norman Ramseynotes from reviewer A
2010-06-10  Norman Ramseygetting our fact(s) straight
2010-06-10  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-10  Norman Ramseyignore more derived files
2010-06-10  Norman Ramseywibbles
2010-06-10  Norman Ramsey'body' and its type, and fixpoint's type, are now extra...
2010-06-10  Joao DiasSome small text improvements
2010-06-10  Norman Ramseywibbles and deletions, and a Direction type for fixpoint
2010-06-10  Norman RamseyMAkefile now builds Figure 5
2010-06-10  Norman Ramseymoved fuel stuff into a single subsection of the implem...
2010-06-10  Norman Ramseyrepair and refactor 'labels and successors' and introdu...
2010-06-10  Norman Ramseyretire the type-synonym experiment for extended fact...
2010-06-10  Norman Ramseyrefactor discussion of rewriting functions and combinat...
2010-06-10  Norman RamseyAdd FuelMonad to the API figure
2010-06-10  Norman RamseyExpunge the very idea of an 'inner function'.
2010-06-10  Norman Ramseyaltered Makefile so Simon might get some joy
2010-06-10  Norman Ramseyvarious minor revisions
2010-06-10  Norman Ramsey---> revised description of 'arfGraph'; one hopes it...
2010-06-10  Norman Ramseyremoved verbiage about soundness and termination. ...
2010-06-10  Norman Ramseyintroduce type synonym so that the mapXX functions...
2010-06-10  Norman Ramsey---> Eviscerate the previous treatment of functions...
2010-06-10  Norman RamseyTighten shallow versus deep.
2010-06-10  Norman Ramseywordsmithing the rewrite function
2010-06-10  Norman Ramseytighten the discussion of the transfer function
2010-06-10  Norman RamseyTightened treatment of 'WithTop' a little.
2010-06-09  Norman Ramseytype-class constraint really is 'FuelMonad' not 'HooplM...
2010-06-09  Norman Ramseyadd placeholder to try to restore the polymorphism...
2010-06-09  Joao DiasA bunch of minor edits, plus a start on extracting...
2010-06-09  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-09  Norman Ramseyadd short note about inner functions
2010-06-09  unknownMore edits from Simon.
2010-06-09  Norman RamseyResponses to some but not all \simon's.
2010-06-09  unknownTone down wording
2010-06-09  unknownSimons edits to the paper
2010-06-09  unknownMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-09  Simon Peyton JonesMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-08  Norman Ramseyrefactoring 'fixpoint' and other code for display in...
2010-06-07  unknownMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-06-07  Norman Ramseystarting to describe implementation of 'arfGraph'
2010-06-07  Norman RamseyThe 'Edges' type class is renamed 'NonLocal', and the...
2010-06-07  Norman Ramseyfixed inconsistency; revised note on the fuel monad...
2010-06-07  Norman RamseyRevised treatment of the constant-propagation example.
2010-06-07  Norman Ramseyadded note about WithTop, WithBot, and friends
2010-06-07  Norman RamseyClean up DataFlow lattice to be more readable and more...
2010-06-07  Norman Ramseyadd reviews and response from ICFP 2010
2010-05-14  Norman Ramseystop building the supplement for the submission to...
2010-05-14  Norman RamseyNote that clients, too may want to write functions...
2010-05-12  Norman RamseyCleaned up combinator examples for the paper.
2010-05-12  Norman Ramseyextract thenFwdRewrite from code for paper
2010-05-12  Norman Ramseyfix bug in code example in paper
2010-05-12  Norman RamseyConstant-propagation figure is now extracted automatica...
2010-05-12  Norman Ramseyclarify common usage for client transfer functions.
2010-05-10  Norman Ramseywork on the paper
2010-05-07  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-05-07  Norman Ramseyupdate northeastern notes
2010-05-07  Norman Ramseystart to update paper to reflect 3.8
2010-04-30  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-04-30  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-04-30  Norman Ramseythe Great Monad Generalization. An extra type parameter...
next