Category
page 11978 in computing
SAP
SAP SE (; ) doing business as SAP, is a German multinational software company based in Walldorf, Baden-Württemberg, Germany that is the world's largest vendor of enterprise software.
communicating sequential processes
formal language for concurrent systems
Hindley–Milner
type system supporting type inference