0 present participle of abbreviate
1 to make a word or phrase shorter by using only the first letters of each word:
"Daniel" is often abbreviated to "Dan".
"Chief Executive Officer" is abbreviated as "CEO".
There is a list of abbreviations near the beginning of the book.
What does the abbreviation WHO stand for?
Please use the abbreviation 'cm' for 'centimetres', without any full stop after it.
Sorry - could you explain what some of these abbreviations mean in your letter?
We generally use the abbreviation 'MP' instead of writing out 'Member of Parliament' in full.
In such cases, the proof of the later often refers in some general terms to the former, abbreviating it even further.
A mechanism for abbreviating contexts might make type signatures readable and maintainable, even in this kind of program.
The formalization does not yet include patterns for float constants and for type constructors abbreviating polymorphic variants (# typeconstr).