source: doc/papers @ 00f89a6

Name Size Rev Age Author Last Change
../
AMA 27125d0   4 years pabuhr update concurrency paper to address referee comments and generate …
concurrency 17d6214   4 years pabuhr final emails about proof changes
general 6394ac6   8 months pabuhr add SPE PDF for paper Cforall: Adding Modern Programming Language …
IBM_CASCON19 b6c3688   2 years pabuhr rename directory ibm_CASCON19 to IBM_CASCON19
llheap 16c795c   8 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.