Changeset 3439
- Timestamp:
- Feb 14, 2014, 8:17:45 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Papers/fopara2013/fopara13.bib
r3432 r3439 64 64 number = 7, 65 65 pages = {107--115}, 66 url = {http://gallium.inria.fr/~xleroy/publi/compcert-CACM.pdf},66 urlthatwewillskip = {http://gallium.inria.fr/~xleroy/publi/compcert-CACM.pdf}, 67 67 urlpublisher = {http://doi.acm.org/10.1145/1538788.1538814}, 68 68 hal = {http://hal.archives-ouvertes.fr/inria-00415861/}, … … 191 191 September 2005}, 192 192 booktitle = {Trends in Functional Programming}, 193 publisher = {Intellect , UK/The University of Chicago Press, USA},193 publisher = {Intellect / University of Chicago Press}, 194 194 series = {Trends in Functional Programming}, 195 195 volume = {6},
Note: See TracChangeset
for help on using the changeset viewer.