G'Caml
Edit Page
Report
Scan day: 07 February 2014 UTC
32
Virus safety - good
Description: 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.
G'Caml -- evaluation with types -- G'Caml -- evaluation with types -- G'Caml is a variant of O'Caml compiler which extends ML parametric polymorphism to non-parametric one, called
Size: 199 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | G'Caml -- evaluation with types -- |
| Keywords: | |
| Description: | |
| IP-address: | 49.212.217.173 |