Mercurial > cpdt > repo
diff 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 |
line wrap: on
line diff
--- a/latex/cpdt.bib Sun Apr 22 15:38:11 2012 -0400 +++ b/latex/cpdt.bib Sun Apr 22 15:51:03 2012 -0400 @@ -375,3 +375,42 @@ publisher = {Springer-Verlag}, address = {London, UK, UK}, } + +@article{continuations, + author = {Reynolds, John C.}, + title = {The discoveries of continuations}, + journal = {Lisp Symb. Comput.}, + issue_date = {Nov. 1993}, + volume = {6}, + number = {3-4}, + month = nov, + year = {1993}, + issn = {0892-4635}, + pages = {233--248}, + numpages = {16}, + url = {http://dx.doi.org/10.1007/BF01019459}, + doi = {10.1007/BF01019459}, + acmid = {198114}, + publisher = {Kluwer Academic Publishers}, + address = {Hingham, MA, USA}, + keywords = {continuation, continuation-passing style, semantics}, +} + +@article{unification, + author = {Robinson, J. A.}, + title = {A Machine-Oriented Logic Based on the Resolution Principle}, + journal = {J. ACM}, + issue_date = {Jan. 1965}, + volume = {12}, + number = {1}, + month = jan, + year = {1965}, + issn = {0004-5411}, + pages = {23--41}, + numpages = {19}, + url = {http://doi.acm.org/10.1145/321250.321253}, + doi = {10.1145/321250.321253}, + acmid = {321253}, + publisher = {ACM}, + address = {New York, NY, USA}, +}