Mercurial > cpdt > repo
comparison latex/cpdt.bib @ 394:cc8d0503619f
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 } |