Beschreibung

The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus,

Rezensionen ( 0 )
Noch keine Rezensionen vorhanden.
Sie können die Erörterung eröffnen.
Zitate (0)
Sie können als Erste ein Zitat veröffentlichen.
Top