Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 328:cbeccef45f4e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass over Match
author Adam Chlipala <adam@chlipala.net>
date Sun, 25 Sep 2011 13:20:56 -0400
parents 50db9a6e2742
children c7faf3551c5d
comparison
equal deleted inserted replaced
327:5cdfbf56afbe 328:cbeccef45f4e
171 journal = {Information and Control}, 171 journal = {Information and Control},
172 voluem = {22(3)}, 172 voluem = {22(3)},
173 year = {1973}, 173 year = {1973},
174 pages = {257--267} 174 pages = {257--267}
175 } 175 }
176
177 @InBook{TAPLNatDed,
178 author = "Benjamin C. Pierce",
179 title = "Types and Programming Languages",
180 year = "2002",
181 publisher = "MIT Press",
182 chapter = "9.4"
183 }
184
185 @inproceedings{Monads,
186 author = {Wadler, Philip},
187 title = {The essence of functional programming},
188 booktitle = {Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
189 year = {1992},
190 }
191
192 @inproceedings{IO,
193 author = {Peyton Jones, Simon L. and Wadler, Philip},
194 title = {Imperative functional programming},
195 booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
196 year = {1993},
197 }
198
199 @InProceedings{separation,
200 author = {John C. Reynolds},
201 title = {Separation Logic: A Logic for Shared Mutable Data Structures},
202 booktitle = {Proceedings of the IEEE Symposium on Logic in Computer Science},
203 year = {2002}
204 }