History of proj-jasper-jasperIrrelevantNotes
2014-07-12
05:13 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 . . .