add an FAQ file
[packages/hoopl.git] / paper /
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...
2010-04-28  Norman Ramseyignore
2010-04-28  Norman RamseyType variable for facts should be called 'f' not 'a'.
2010-04-28  Norman RamseyAdded commutative diagram.
2010-04-28  Norman Ramseyadded results of dominator analysis.
2010-04-28  Norman RamseyAdded a somewhat misnamed four-page introduction to...
2010-04-23  Norman RamseyMerge branch 'master' of /home/nr/papers/simon/dfopt...
2010-04-22  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-04-22  Norman RamseyMerge branch 'with-passes' of /home/nr/papers/simon...
2010-04-22  Norman RamseyMerge commit 'local-master/master' into with-passes
2010-04-22  Norman Ramseyadded note about graph construction (to be merged into...
2010-04-22  Norman RamseyMerge branch 'with-passes' of labrador:/home/nr/papers...
2010-04-21  Joao DiasMerge branch 'master' of linux:/r/c--/papers/dfopt
2010-04-21  Norman RamseyMerge commit 'local-master/master' into with-passes
2010-04-21  Norman Ramseyadded note about higher-rank types (to start of paper...
2010-04-10  Norman Ramseyignore hoopl.* symlinks
2010-04-10  Norman Ramseynew banner
2010-04-10  Norman RamseyFixed dfopt.tex to eliminate ALL undefined identifiers and
2010-04-10  Norman RamseyInternally, replaced gCatAny with the very polymorphic...
2010-04-10  Norman Ramseysupport for additional reserved words and additional...
2010-04-07  Norman Ramseychanged interface to shallow/deep as per email from...
2010-04-07  Norman RamseyPut more informative timestamp on drafts.
2010-04-07  Norman Ramseyfix lattice join function so old comes before new,
2010-04-07  Joao DiasAlong with the merge, the name Node was stolen from...
2010-04-07  Norman RamseyForward -> Fwd
2010-04-05  Norman Ramseydeal with more undefined identifiers
2010-04-05  Norman RamseyLabels as in L3, L7, &c are considered 'trivial'
2010-04-05  Norman Ramseyan identifier cannot end in a .
2010-04-05  Norman Ramseybuild whole paper including appendices
2010-04-05  Norman Ramseyresolve some more undefined identifiers
2010-04-05  Norman Ramseymoving paper stuff into paper subdirectory, part II
2010-04-05  Norman Ramseymove paper files into paper subdirectory