@incollection{lambda_lifting:85,
    Author = {Johnsson, Thomas},
    BookTitle = {Functional Programming Languages and Computer Architecture},
    Editor = {Jouannaud, Jean-Pierre},
    File = {Lambda lifting Transforming programs to recursive equations - Johnsson (0) (0) - a - a - a.pdf},
    ISBN = {978-3-540-15975-9},
    Keywords = {lambda calculus and lambda-lifting},
    Pages = {190-203},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Lambda lifting: Transforming programs to recursive equations},
    URL = {http://dx.doi.org/10.1007/3-540-15975-4\_37},
    Volume = {201},
    Year = {1985},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-15975-4\_37},
    date-added = {2013-05-02 08:49:25 +0000},
    date-modified = {2013-05-02 08:50:10 +0000},
    file-2 = {Lambda lifting Transforming programs to recursive equations - Johnsson (1) (0) - a - a - a.pdf},
    doi = {10.1007/3-540-15975-4_37}
}

@incollection{lambda_lifting:85, Author = {Johnsson, Thomas}, BookTitle = {Functional Programming Languages and Computer Architecture}, Editor = {Jouannaud, Jean-Pierre}, File = {Lambda lifting Transforming programs to recursive equations - Johnsson (0) (0) - a - a - a.pdf}, ISBN = {978-3-540-15975-9}, Keywords = {lambda calculus and lambda-lifting}, Pages = {190-203}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Lambda lifting: Transforming programs to recursive equations}, URL = {http://dx.doi.org/10.1007/3-540-15975-4_37}, Volume = {201}, Year = {1985}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-15975-4_37}, date-added = {2013-05-02 08:49:25 +0000}, date-modified = {2013-05-02 08:50:10 +0000}, file-2 = {Lambda lifting Transforming programs to recursive equations - Johnsson (1) (0) - a - a - a.pdf}, doi = {10.1007/3-540-15975-4_37} }