Word.ws English Dictionary

monomorphisations

monomorphisations is the plural of monomorphisation.

Meaning of monomorphisation

Noun

monomorphisation (countable and uncountable, plural monomorphisations)

  1. In a compiler, the process of converting a polymorphic function to a monomorphic function, by the creation of a specialised function for each different data type it is called with.
    • We describe the formal verification stages of the compiler, which include automated formal refinement calculi, a switch from imperative update semantics to functional value semantics formally justified by the linear type system, and a number of standard compiler phases such as type checking and...2016, Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby Murray, Gerwin Klein, “COGENT: Certified...

Questions about monomorphisations

What is monomorphisations the plural of?
Monomorphisations is the plural of monomorphisation.

Words near monomorphisations in the dictionary

  1. monomorphemic
  2. monomorphic
  3. monomorphically
  4. monomorphicity
  5. monomorphisation
  6. monomorphisations
  7. monomorphism
  8. monomorphisms
  9. monomorphization
  10. monomorphizations
  11. monomorphize

Source and license

Adapted from Wiktionary: monomorphisations (page history and authors); monomorphisation (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “monomorphisations.” Word.ws, https://word.ws/monomorphisations. Based on Wiktionary, CC BY-SA 4.0.