Verfasst von:	Jay, Barry
Titel:	Pattern calculus
Titelzusatz:	computing with functions and structures
Verf.angabe:	Barry Jay
Verlagsort:	Berlin ; Heidelberg [u.a.]
Verlag:	Springer
Jahr:	2009
Umfang:	XVII, 213 S.
Format:	235 mm x 155 mm
Fussnoten:	Literaturverz. S. [205] - 209
ISBN:	978-3-540-89184-0
Bestellnr.:	12539451
URL:	Inhaltsverzeichnis ; Verlag: http://www.gbv.de/dms/ilmenau/toc/595540791.PDF
	Inhaltsverzeichnis: http://d-nb.info/99329149X/04
	Cover ; Verlag: http://swbplus.bsz-bw.de/bsz310254213cov.htm
	Inhaltstext: https://zbmath.org/?q=an:1215.68055
Schlagwörter:	(s)Datenstruktur    / (s)Mustervergleich    / (s)Lambda-Kalkül
	(s)Typsystem    / (s)Typisierter Lambda-Kalkül    / (s)Abfrage
	(s)Funktionale Programmierung    / (s)Typisierte Programmiersprache    / (s)Algebraischer Datentyp    / (s)Objektklasse
	(s)Algorithmische Programmierung
Sprache:	eng
Reproduktion:	Online-Ausg.: Pattern Calculus. - Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. - Online-Ressource (XVII, 213 pages with 58 illustrations, digital)
Sonstige Nr.:	Best.-Nr.: 12539451
RVK-Notation:	ST 240
	ST 136
	ST 230
K10plus-PPN:	595540791