source: doc/papers @ 7aa209e7

Name Size Rev Age Author Last Change
../
AMA 27125d0   4 years pabuhr update concurrency paper to address referee comments and generate …
concurrency 17d6214   3 years pabuhr final emails about proof changes
general 6394ac6   2 months pabuhr add SPE PDF for paper Cforall: Adding Modern Programming Language …
IBM_CASCON19 b6c3688   20 months pabuhr rename directory ibm_CASCON19 to IBM_CASCON19
llheap 16c795c   2 months pabuhr update llheap paper
OOPSLA17 484ee53   6 years pabuhr update Makefiles so ${Build} is order only
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.