¹ Source: wiktionary.com
Definition of Typings
1. typing [n] - See also: typing
Lexicographical Neighbors of Typings
Literary usage of Typings
Below you will find example usage of this term as found in modern and/or classical literature:
1. Partial Evaluation and Automatic Program Generation by Neil D. Jones, Carsten K. Gomard, Peter Sestoft (1993)
"All other expressions must have type D, but both a = D and a = D —>• D would give
correct typings. The corresponding completions are respectively ..."
2. Hakluytus Posthumus, Or, Purchas His Pilgrimes: Contayning a History of the by Samuel Purchas (1905)
"... that reach from the Sea, to the bring typings Citie of Saint Saviours, being
one hundred and fiftie miles, of peace? were all cleansed and swept, ..."
3. Hakluytus posthumus: Contayning a History of the World in Sea Voyages and by Samuel Purchas (1905)
"... to the How beautiful And it is an admirable thing to tell you, that all the
bring typings Citie or Saint Saviours, being one hundred and fiftie miles, ..."
Other Resources:
