@inproceedings{Reynolds:1972:DIH:800194.805852,
    Address = {New York, NY, USA},
    Author = {Reynolds, John C.},
    BookTitle = {Proceedings of the ACM annual conference - Volume 2},
    File = {Definitional interpreters for higher-order programming languages - Reynolds (0) (0) - a - a - p.pdf},
    Keywords = {Applicative language, Closure, Continuation, GEDANKEN, Higher-order function, Interpreter, J-operator, LISP, Lambda calculus, Language definition, Order of application, PAL, Programming language, Reference, SECD machine},
    Location = {Boston, Massachusetts, USA},
    Pages = {717--740},
    Publisher = {ACM},
    Series = {ACM '72},
    Title = {Definitional interpreters for higher-order programming languages},
    URL = {http://doi.acm.org/10.1145/800194.805852},
    Year = {1972},
    acmid = {805852},
    bdsk-url-1 = {http://doi.acm.org/10.1145/800194.805852},
    bdsk-url-2 = {http://dx.doi.org/10.1145/800194.805852},
    date-added = {2013-06-18 19:54:06 +0000},
    date-modified = {2013-06-18 19:54:06 +0000},
    file-2 = {reynolds-definitional-interpreters-revisited (0) - a - a - p.pdf},
    numpages = {24},
    doi = {10.1145/800194.805852}
}

@inproceedings{Reynolds:1972:DIH:800194.805852, Address = {New York, NY, USA}, Author = {Reynolds, John C.}, BookTitle = {Proceedings of the ACM annual conference - Volume 2}, File = {Definitional interpreters for higher-order programming languages - Reynolds (0) (0) - a - a - p.pdf}, Keywords = {Applicative language, Closure, Continuation, GEDANKEN, Higher-order function, Interpreter, J-operator, LISP, Lambda calculus, Language definition, Order of application, PAL, Programming language, Reference, SECD machine}, Location = {Boston, Massachusetts, USA}, Pages = {717--740}, Publisher = {ACM}, Series = {ACM '72}, Title = {Definitional interpreters for higher-order programming languages}, URL = {http://doi.acm.org/10.1145/800194.805852}, Year = {1972}, acmid = {805852}, bdsk-url-1 = {http://doi.acm.org/10.1145/800194.805852}, bdsk-url-2 = {http://dx.doi.org/10.1145/800194.805852}, date-added = {2013-06-18 19:54:06 +0000}, date-modified = {2013-06-18 19:54:06 +0000}, file-2 = {reynolds-definitional-interpreters-revisited (0) - a - a - p.pdf}, numpages = {24}, doi = {10.1145/800194.805852} }