Nøkkelbidrag inkluderer abstrakte datatyper, kall ved deling, iteartorer, multiple returverdier (en form for parallell tildeling), typetrygge parametriserte typer og typetrygge varianttyper. Språket er også bemerket for dets bruk av klasser og metoder, men uten arv.