monomorphization
monomorphization is the alternative spelling of monomorphisation.
Meaning of monomorphisation
Noun
monomorphisation (countable and uncountable, plural monomorphisations)
- 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...
Forms of monomorphization
| plural | monomorphizations |
|---|
Questions about monomorphization
- What is monomorphization the alternative spelling of?
- Monomorphization is the alternative spelling of monomorphisation.
Words near monomorphization in the dictionary
Source and license
Adapted from Wiktionary: monomorphization (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: “monomorphization.” Word.ws, https://word.ws/monomorphization. Based on Wiktionary, CC BY-SA 4.0.
