Trends in functional programming. Vol. 5 /

Mostrar otras versiones (1)

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: International Symposium on Trends in Functional Programming
Otros Autores: Loidl, Hans-Wolfgang
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Bristol, UK ; Portland, OR : Intellect, 2006.
Temas:
Functional programming (Computer science) > Congresses.
Programmation fonctionnelle > Congrès.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Functional programming (Computer science)
COMPUTERS / General
Conference papers and proceedings.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Cover
  • Preliminary Pages
  • Contents
  • 1 Proof Support for General Type Classes
  • 1.1 Introduction
  • 1.2 Sparkle
  • 1.3 Preliminaries
  • 1.4 Structural induction
  • 1.5 Induction on instances
  • 1.6 Multiple class constraints
  • 1.7 Implementation
  • 1.8 Related and future work
  • 1.9 Conclusion
  • References
  • 2 Generic Proofs for Combinator-based Generic Programs
  • 2.1 Introduction
  • 2.2 'Boilerplate' combinators as generic functions
  • 2.3 Generic proofs for 'boilerplate' combinators
  • 2.4 A proof of the fusion law for gmapT
  • 2.5 A theorem about occurs
  • 2.6 A fusion law for everywhere
  • 2.7 Conclusions and further work
  • 2.8 Proof of lemma 2.1
  • 2.9 Proof of lemma 2.2
  • 2.10 Proof of lemma 2.3
  • 2.11 Proof of theorem 2.5 (continued)
  • References
  • 3 Building certified components within focal
  • 3.1 Introduction
  • 3.2 FOCAL requirements and design principles
  • 3.3 Overview of FOCAL
  • 3.4 A complete example
  • 3.5 Compiling
  • 3.6 Applications
  • 3.7 Related work
  • 3.8 Conclusion and future work
  • References
  • 4 Calculating an Exceptional Machine
  • 4.1 Introduction
  • 4.2 Abstract machines
  • 4.3 Arithmetic expressions
  • 4.4 Adding exceptions
  • 4.5 Further work
  • References
  • 5 Generalizing the augment Combinator
  • 5.1 Introduction
  • 5.2 Semantics of fold/build
  • 5.3 The augment of free monads
  • 5.4 A generalized augment combinator
  • 5.5 Conclusion and future work
  • References
  • 6 Alice Through the Looking Glass
  • 6.1 Introduction
  • 6.2 Futures
  • 6.3 Higher-order modules
  • 6.4 Packages
  • 6.5 Components
  • 6.6 Decomposing components
  • 6.7 Distribution
  • 6.8 Implementation
  • 6.9 Related work
  • 6.10 Outlook
  • References
  • 7 Experiments with GHC's Optimiser
  • 7.1 Introduction
  • 7.2 Contributions of the paper
  • 7.3 The setup
  • 7.4 The method
  • 7.5 Evaluation
  • 7.6 Related work
  • 7.7 Conclusions
  • References
  • 8 Disjoint Forms in Graphical User Interfaces
  • 8.1 Introduction
  • 8.2 FunctionalForms summary
  • 8.3 Combinators for disjoint forms
  • 8.4 Implementation
  • 8.5 Safety
  • 8.6 Related work
  • 8.7 Conclusions and future work
  • References
  • 9 A Graphic Functional-Dataflow Language
  • 9.1 Introduction
  • 9.2 Outline of the NiMo language
  • 9.3 The NiMo environment
  • 9.4 Current state and future work
  • 9.5 Concluding remarks
  • References.

Ejemplares similares