Linked Data Explorerhttp://worldcat.org/entity/work/id/802300215
Pattern calculus computing with functions and structures
Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming language design, the integration of existing programming styles, or the development of new programming styles.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/lambda_kalkul
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/lambda_calculus
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/funktionale_programmierung_typisierte_programmiersprache_algebraischer_datentyp_objektklasse
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programmation_fonctionnelle_informatique
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/mustervergleich
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/logica
- http://id.worldcat.org/fast/991011
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/mathematische_logica
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/calcul_lambda_programmation_par_fonctions_structure_de_donnees
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programmeertalen
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/estructures_de_dades_informatica
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/structures_de_donnees_informatique
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/theoretische_informatica
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/algebraischer_datentyp
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/funktionale_programmierung
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programacio_funcional_informatica
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/disseny_logic
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programmering
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/datenstruktur_mustervergleich_lambda_kalkul
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/computer_science_it
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/informatica_programacio
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/logic_design
- http://id.worldcat.org/fast/1002045
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/objektklasse
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/mathematical_logic_and_formal_languages
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/typisierte_programmiersprache
- http://id.loc.gov/authorities/subjects/sh87007844
- http://id.loc.gov/authorities/subjects/sh85035862
- http://id.loc.gov/authorities/subjects/sh85078117
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/electronic_books
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/typsystem
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/abfrage
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programmation_fonctionnelle
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/computer_science
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programming_techniques
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/wiskunde
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/typisierter_lambda_kalkul
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programmeren_informatica
- http://id.worldcat.org/fast/936086
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/typsystem_typisierter_lambda_kalkul_abfrage
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/datenstruktur
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/functional_programming_computer_science
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/programming_languages_compilers_interpreters
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/data_structures_computer_science
- http://id.loc.gov/authorities/subjects/sh85074174
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/informatique
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/logics_and_meanings_of_programs
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/computers_data_processing
- http://experiment.worldcat.org/entity/work/data/802300215#Topic/lambda_calcul
- http://id.worldcat.org/fast/887978
http://schema.org/description
- "Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming language design, the integration of existing programming styles, or the development of new programming styles."@en
http://schema.org/genre
- "Electronic books"
- "Electronic books"@en
- "Online-Publikation"
http://schema.org/name
- "Pattern calculus computing with functions and structures"
- "Pattern calculus computing with functions and structures"@en
- "Pattern Calculus : Computing with Functions and Structures"
- "Pattern calculus : computing with functions and structures"
- "Pattern Calculus Computing with Functions and Structures"
- "Pattern calculus"@en
http://schema.org/workExample
- http://www.worldcat.org/oclc/873611156
- http://www.worldcat.org/oclc/804830904
- http://www.worldcat.org/oclc/436275605
- http://www.worldcat.org/oclc/856676854
- http://www.worldcat.org/oclc/458558675
- http://www.worldcat.org/oclc/896254201
- http://www.worldcat.org/oclc/903389075
- http://www.worldcat.org/oclc/690460357
- http://www.worldcat.org/oclc/608441570
- http://www.worldcat.org/oclc/808600293
- http://www.worldcat.org/oclc/901262092
- http://www.worldcat.org/oclc/551402523
- http://www.worldcat.org/oclc/907469090
- http://www.worldcat.org/oclc/456455920
- http://www.worldcat.org/oclc/610002864
- http://www.worldcat.org/oclc/416294701
- http://www.worldcat.org/oclc/902765268
- http://www.worldcat.org/oclc/845517843
- http://www.worldcat.org/oclc/718454661