1 - 2 toradh á dtaispeáint as 2 toradh san iomlán ar an gcuardach 'Tofte, Mads', am iarratais: 0.01s Beachtaigh na torthaí
  1. 1

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

    Foilsithe / Cruthaithe 2000
    Faigh an téacs iomlán
    Faigh an téacs iomlán
    Electronic Resource

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

    The definition of standard ML de réir Milner, Robin, Harper, Robert, Tofte, Mads

    Foilsithe / Cruthaithe 1997
    Faigh an téacs iomlán
    Faigh an téacs iomlán
    Electronic Resource

    The definition of standard ML

Uirlisí cuardaigh: