Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 338:c7faf3551c5d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass over MoreDep
author Adam Chlipala <adam@chlipala.net>
date Mon, 10 Oct 2011 16:01:31 -0400
parents cbeccef45f4e
children 25d60fed2e96
comparison
equal deleted inserted replaced
337:4186722d329b 338:c7faf3551c5d
200 author = {John C. Reynolds}, 200 author = {John C. Reynolds},
201 title = {Separation Logic: A Logic for Shared Mutable Data Structures}, 201 title = {Separation Logic: A Logic for Shared Mutable Data Structures},
202 booktitle = {Proceedings of the IEEE Symposium on Logic in Computer Science}, 202 booktitle = {Proceedings of the IEEE Symposium on Logic in Computer Science},
203 year = {2002} 203 year = {2002}
204 } 204 }
205
206 @article{Okasaki,
207 author = {Okasaki, Chris},
208 title = {Red-black trees in a functional setting},
209 journal = {J. Funct. Program.},
210 volume = {9},
211 issue = {4},
212 year = {1999},
213 pages = {471--477},
214 }