This work focuses on the implementation of some extensions to the original G-machine, in order to make possible pure functional languages to incorporate inclusion polymorphism and special functions, which can be compiled into C language functions. It is also shown how a pure functional language can incorporate the inclusion polymorphism concept, as in traditional object-oriented languages.