History of proj-oot-ootIrrelevantNotes

2014-10-30
22:16 UTC Revision 1 . . . . BayleShanks – http://tratt.net/laurie/research/pubs/html/berger_tratt__program_logics_for_homogeneous_meta_programming/ formal proofs of various tradeoffs in . . .

BayleShanks RecentChanges Bayle Shanks's website
View current revision View all changes View contributors Administration