source: doc/papers @ 7a36848

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   3 months pabuhr add SPE PDF for paper Cforall: Adding Modern Programming Language …
IBM_CASCON19 b6c3688   21 months pabuhr rename directory ibm_CASCON19 to IBM_CASCON19
llheap 16c795c   4 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.