Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398): Difference between revisions

@@ Property / cites work @@
+Gaussian elimination: a case study in efficient genericity with MetaOCaml
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Telescoping languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries
+Normal rank
@@ Property / cites work @@
+In search of a program generator to implement generic transformations for high-performance computing
+Normal rank
@@ Property / cites work @@
+Automated empirical optimizations of software and the ATLAS project
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ Property / cites work @@
+Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
+Normal rank
@@ Property / cites work @@
+Q3165673
@@ Property / cites work: Q3165673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5689624
@@ Property / cites work: Q5689624 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Design and Development of Program Families
@@ Property / cites work: On the Design and Development of Program Families / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Representations with Signatures for Large Expression Management
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995065
@@ Property / cites work: Q3995065 / rank @@
+Normal rank
@@ Property / cites work @@
+Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
+Normal rank
@@ Property / cites work @@
+Implicitly heterogeneous multi-stage programming
@@ Property / cites work: Implicitly heterogeneous multi-stage programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4356835
@@ Property / cites work: Q4356835 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIRAL
@@ Property / describes a project that uses: SPIRAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AXIOM
@@ Property / describes a project that uses: AXIOM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Blitz++ library
@@ Property / describes a project that uses: Blitz++ library / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+POOMA
@@ Property / describes a project that uses: POOMA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Camlp4
@@ Property / describes a project that uses: Camlp4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ATLAS
@@ Property / describes a project that uses: ATLAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Blitz++
@@ Property / describes a project that uses: Blitz++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boost
@@ Property / describes a project that uses: Boost / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MetaOCaml
@@ Property / describes a project that uses: MetaOCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MLton
@@ Property / describes a project that uses: MLton / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BGL
@@ Property / describes a project that uses: BGL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2008.09.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2020217406
@@ Property / OpenAlex ID: W2020217406 / rank @@
+Normal rank