1. Home
  2. Computer
  3. Programmin­g
  4. G'Caml

Computer · Programmin­g

G'Caml

Listed in the directory · updated 20 Jul 2022

Find them on

About G'Caml

G'Caml- O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer.

Tags

Where it sits

More in Programmin­g

See all →