Pattern Calculus Computing with Functions and Structures /

Over time, basic research tends to lead to specialization - increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages i...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Jay, Barry (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Temas:
Software engineering.
Machine theory.
Computer science.
Computer programming.
Compilers (Computer programs).
Software Engineering.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Terms
  • Functions
  • Data Structures
  • Static Patterns
  • Dynamic Patterns
  • Objects
  • Types
  • Parametric Polymorphism
  • Functor Polymorphism
  • Path Polymorphism
  • Pattern Polymorphism
  • Inclusion Polymorphism
  • Implicit Typing
  • Programming in bondi
  • Higher-Order Functions
  • Algebraic Data Types
  • Queries
  • Dynamic Linear Patterns
  • State
  • Object-Oriented Classes.

Ejemplares similares