Showing 1 - 5 results of 5 for search 'Appel, Andrew W., 1960-', query time: 0.01s Refine Results
  1. 1
    Modern compiler implementation in ML /

    Modern compiler implementation in ML / by Appel, Andrew W., 1960-

    Published 1998
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  2. 2
    Program logics for certified compilers /

    Program logics for certified compilers / by Appel, Andrew W., 1960-

    Published 2014
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  3. 3
    Compiling with continuations /

    Compiling with continuations / by Appel, Andrew W., 1960-

    Published 1992
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  4. 4
    Modern compiler implementation in C /

    Modern compiler implementation in C / by Appel, Andrew W., 1960-, Ginsburg, Maia

    Published 1998
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  5. 5
    Alan Turing's systems of logic : the Princeton thesis /

    Alan Turing's systems of logic : the Princeton thesis / by Turing, Alan, 1912-1954

    Published 2012
    Other Authors: “…Appel, Andrew W., 1960-…”
    CONNECT
    Electronic eBook

    Save to List
    Saved in:

Search Tools: