Showing 1 - 2 results of 2 for search 'Tofte, Mads', זמן שאילתה: 0.01s Refine Results
  1. 1

    Proof, language, and interaction essays in honour of Robin Milner

    יצא לאור 2000
    קבל טקסט מלא
    קבל טקסט מלא
    Electronic Resource

    Proof, language, and interaction essays in honour of Robin Milner
  2. 2

    The definition of standard ML מאת Milner, Robin, Harper, Robert, Tofte, Mads

    יצא לאור 1997
    קבל טקסט מלא
    קבל טקסט מלא
    Electronic Resource

    The definition of standard ML

כלי חיפוש: