Merge branch 'three-eight' of into three-eight
[packages/hoopl.git] / paper / mkfile
2010-07-27  Norman RamseyMerge branch 'three-eight' of
2010-07-27  Norman RamseyPull the type signature and implementation of 'cat...
2010-07-23  Norman RamseyMerge branch 'three-eight' of
2010-07-23  Norman Ramseyextract 'node' and 'ShapeLifter' from the real code
2010-07-23  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-07-23  Norman Ramseylooking at undefined IDs -- found some nasty bugs in...
2010-07-23  Norman Ramseylink to the index
2010-07-20  Norman Ramseyformatting in mkfile
2010-06-12  Norman Ramseyrevision suitable for a web page
2010-06-12  Norman Ramseysubmission draft
2010-06-10  Norman Ramseymany defined and used identifiers
2010-06-10  Norman RamseyMerge branch 'three-eight' of
2010-06-10  Norman Ramsey'body' and its type, and fixpoint's type, are now extra...
2010-06-10  Norman Ramseyvarious minor revisions
2010-06-10  Norman Ramsey---> Eviscerate the previous treatment of functions...
2010-06-09  Simon Peyton JonesMerge branch 'three-eight' of
2010-06-07  unknownMerge branch 'three-eight' of
2010-06-07  Norman Ramseystarting to describe implementation of 'arfGraph'
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-05-14  Norman Ramseystop building the supplement for the submission to...
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 RamseyConstant-propagation figure is now extracted automatica...
2010-04-10  Norman Ramseynew banner
2010-04-07  Norman RamseyPut more informative timestamp on drafts.
2010-04-05  Norman Ramseybuild whole paper including appendices
2010-04-05  Norman Ramseymove paper files into paper subdirectory