Showing 1 - 3 results of 3 for search 'Tofte, Mads', query time: 0.01s Narrow Search
  1. 1
    Compiler Generators What They Can Do, What They Might Do, and What They Will Probably Never Do
    by Tofte, Mads
    Published 1990
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    The definition of Standard ML
    by Milner, R. (Robin), 1934-2010
    Published 1990
    Other Authors: “…Tofte, Mads…”
    Book
    Save to List
    Saved in:
  3. 3
    Proof, language, and interaction : essays in honour of Robin Milner
    Published 2000
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: