Translation of "Milner" to Russian language:


  Dictionary English-Russian

  Examples (External sources, not reviewed)

Milner.
1940.
Basic Typechecking paper by Luca Cardelli, describes algorithm, includes implementation in Modula 2 Implementation of Hindley Milner type inference in Scala, by Andrew Forrest (retrieved July 30, 2009) What is Hindley Milner?
Basic Typechecking paper by Luca Cardelli, describes algorithm, includes implementation in Modula 2 Implementation of Hindley Milner type inference in Scala, by Andrew Forrest (retrieved July 30, 2009) What is Hindley Milner?
In the 1950s, Olds and Milner put electrodes into the brain of a rat.
В 1950 х гг. Олдс и Милнер вживляли электроды в мозг крысы,
In the 1970s, ML was created by Robin Milner at the University of Edinburgh, and David Turner initially developed the language SASL at the University of St. Andrews and later the language Miranda at the University of Kent.
В семидесятых в университете Эдинбурга Робин Милнер создал язык ML, а Дэвид Тернер начинал разработку языка SASL в университете Сент Эндрюса и, впоследствии, язык Miranda в университете города Кент.