Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 394:cc8d0503619f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Citations for continuations and unification
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Apr 2012 15:51:03 -0400
parents 7ece04e15446
children 3c941750c347
comparison
equal deleted inserted replaced
393:d40b05266306 394:cc8d0503619f
373 url = {http://dl.acm.org/citation.cfm?id=646526.694887}, 373 url = {http://dl.acm.org/citation.cfm?id=646526.694887},
374 acmid = {694887}, 374 acmid = {694887},
375 publisher = {Springer-Verlag}, 375 publisher = {Springer-Verlag},
376 address = {London, UK, UK}, 376 address = {London, UK, UK},
377 } 377 }
378
379 @article{continuations,
380 author = {Reynolds, John C.},
381 title = {The discoveries of continuations},
382 journal = {Lisp Symb. Comput.},
383 issue_date = {Nov. 1993},
384 volume = {6},
385 number = {3-4},
386 month = nov,
387 year = {1993},
388 issn = {0892-4635},
389 pages = {233--248},
390 numpages = {16},
391 url = {http://dx.doi.org/10.1007/BF01019459},
392 doi = {10.1007/BF01019459},
393 acmid = {198114},
394 publisher = {Kluwer Academic Publishers},
395 address = {Hingham, MA, USA},
396 keywords = {continuation, continuation-passing style, semantics},
397 }
398
399 @article{unification,
400 author = {Robinson, J. A.},
401 title = {A Machine-Oriented Logic Based on the Resolution Principle},
402 journal = {J. ACM},
403 issue_date = {Jan. 1965},
404 volume = {12},
405 number = {1},
406 month = jan,
407 year = {1965},
408 issn = {0004-5411},
409 pages = {23--41},
410 numpages = {19},
411 url = {http://doi.acm.org/10.1145/321250.321253},
412 doi = {10.1145/321250.321253},
413 acmid = {321253},
414 publisher = {ACM},
415 address = {New York, NY, USA},
416 }