https://uwspace.uwaterloo.ca/items/2ae18424-5017-40a6-800c-67dd422e7402
Implementing Overloading and Polymorphism in Cforall
The programming language Cforall extends the C language with, among other things, overloading, parametric polymorphism, and functions that can return multiple...
implementingoverloadingpolymorphism
https://cforall.uwaterloo.ca/
Cforall
https://cforall.uwaterloo.ca/trac/export/834f634542db5bddf3289e88e2f77bc8558c2837/doc/working/glen_conversions/index.html
Conversions for Cforall
conversions