History of notes-computer-jasper-jasperIrrelevantNotes

2014-06-28
01:29 UTC Revision 1 . . . . BayleShankshttp://tratt.net/laurie/research/pubs/html/berger_tratt__program_logics_for_homogeneous_meta_programming/ formal proofs of various tradeoffs in . . .