Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
From MaRDI portal
Publication:532398
DOI10.1016/j.scico.2008.09.008zbMath1215.68059OpenAlexW2020217406WikidataQ60712732 ScholiaQ60712732MaRDI QIDQ532398
Jacques Carette, Oleg Kiselyov
Publication date: 4 May 2011
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2008.09.008
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Theory Presentation Combinators ⋮ Shifting the stage ⋮ Reasoning about multi-stage programs ⋮ Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code ⋮ Partial evaluation of Maple ⋮ MathScheme: Project Description ⋮ High-Level Theories
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- SPIRAL
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
- Notions of computation and monads
- MetaML and multi-stage programming with explicit annotations
- Telescoping languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries
- Implicitly heterogeneous multi-stage programming
- Gaussian elimination: a case study in efficient genericity with MetaOCaml
- In search of a program generator to implement generic transformations for high-performance computing
- Environment classifiers
- On the Design and Development of Program Families
- Hierarchical Representations with Signatures for Large Expression Management
- Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
- Automated empirical optimizations of software and the ATLAS project
