monomorphisation
English
Noun
monomorphisation (plural monomorphisations)
- (mathematics) Conversion to a monomorphism
- 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 Compilation for a Functional Systems Language”, in arXiv:
- 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 monomorphisation.
-