@incollection{Hasegawa:04,
    Author = {Hasegawa, Masahito},
    BookTitle = {Functional and Logic Programming},
    Editor = {Kameyama, Yukiyoshi and Stuckey, PeterJ.},
    File = {Semantics of Linear Continuation-Passing in Call-by-Name - Hasegawa (0) (0) - a - a - c.pdf},
    ISBN = {978-3-540-21402-1},
    Pages = {229-243},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Semantics of Linear Continuation-Passing in Call-by-Name},
    URL = {http://dx.doi.org/10.1007/978-3-540-24754-8\_17},
    Volume = {2998},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24754-8\_17},
    date-added = {2013-07-04 18:15:10 +0000},
    date-modified = {2013-07-04 18:15:10 +0000},
    doi = {10.1007/978-3-540-24754-8_17}
}

@incollection{Hasegawa:04, Author = {Hasegawa, Masahito}, BookTitle = {Functional and Logic Programming}, Editor = {Kameyama, Yukiyoshi and Stuckey, PeterJ.}, File = {Semantics of Linear Continuation-Passing in Call-by-Name - Hasegawa (0) (0) - a - a - c.pdf}, ISBN = {978-3-540-21402-1}, Pages = {229-243}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Semantics of Linear Continuation-Passing in Call-by-Name}, URL = {http://dx.doi.org/10.1007/978-3-540-24754-8_17}, Volume = {2998}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24754-8_17}, date-added = {2013-07-04 18:15:10 +0000}, date-modified = {2013-07-04 18:15:10 +0000}, doi = {10.1007/978-3-540-24754-8_17} }