يعرض 1 - 2 نتائج من 2 نتيجة بحث عن 'Tofte, Mads', وقت الاستعلام: 0.01s تنقيح النتائج
  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

أدوات البحث: