Som rör programmeringsspråk som kan utbyta information genom allmänt överenskomna definitioner och användningsmönster för typer.