Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

DOI10.1016/j.scico.2008.09.008zbMath1215.68059WikidataQ60712732 ScholiaQ60712732MaRDI QIDQ532398

Oleg Kiselyov, Jacques Carette

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

zbMATH Keywords

functor; linear algebra; genericity; MetaOCaml; staging

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

High-Level Theories

Uses Software

• ATLAS
• AXIOM
• Blitz++
• Maple
• SPIRAL
• Blitz++ library
• OCaml
• POOMA
• Boost
• MetaOCaml
• MLton
• Camlp4
• BGL

Cites Work

• SPIRAL