@inproceedings{Griffin:1989:FNC:96709.96714,
    Address = {New York, NY, USA},
    Author = {Griffin, Timothy G.},
    BookTitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    File = {A formulae-as-type notion of control - Griffin (0) (0) - a - a - l.pdf},
    ISBN = {0-89791-343-4},
    Keywords = {continuation-passing style transformation and lambda calculus and call-with-current-continuation and readme},
    Location = {San Francisco, California, USA},
    Pages = {47--58},
    Publisher = {ACM},
    Series = {POPL '90},
    Title = {A formulae-as-type notion of control},
    URL = {http://doi.acm.org/10.1145/96709.96714},
    Year = {1990},
    acmid = {96714},
    bdsk-url-1 = {http://doi.acm.org/10.1145/96709.96714},
    bdsk-url-2 = {http://dx.doi.org/10.1145/96709.96714},
    date-added = {2013-03-11 16:21:39 +0000},
    date-modified = {2019-04-03 10:32:23 +0200},
    file-2 = {popl90 (0) (0) - a - a - l.pdf},
    numpages = {12},
    doi = {10.1145/96709.96714}
}

@inproceedings{Griffin:1989:FNC:96709.96714, Address = {New York, NY, USA}, Author = {Griffin, Timothy G.}, BookTitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, File = {A formulae-as-type notion of control - Griffin (0) (0) - a - a - l.pdf}, ISBN = {0-89791-343-4}, Keywords = {continuation-passing style transformation and lambda calculus and call-with-current-continuation and readme}, Location = {San Francisco, California, USA}, Pages = {47--58}, Publisher = {ACM}, Series = {POPL '90}, Title = {A formulae-as-type notion of control}, URL = {http://doi.acm.org/10.1145/96709.96714}, Year = {1990}, acmid = {96714}, bdsk-url-1 = {http://doi.acm.org/10.1145/96709.96714}, bdsk-url-2 = {http://dx.doi.org/10.1145/96709.96714}, date-added = {2013-03-11 16:21:39 +0000}, date-modified = {2019-04-03 10:32:23 +0200}, file-2 = {popl90 (0) (0) - a - a - l.pdf}, numpages = {12}, doi = {10.1145/96709.96714} }