Shifting the stage

DOI10.1017/S0956796811000256zbMath1248.68132MaRDI QIDQ2913928

Yukiyoshi Kameyama, Chung-Chieh Shan, Oleg Kiselyov

Publication date: 21 September 2012

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

Gaussian elimination

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (3)

Type-specialized staged programming with process separation ⋮ Delimited control in OCaml, abstractly and concretely ⋮ Reasoning about multi-stage programs

Uses Software

• Vertigo

Cites Work

• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• On typing delimited continuations: Three new solutions to the printf problem
• Automatic autoprojection of recursive equations with global variables and abstract data types
• On the expressive power of programming languages
• A syntactic theory of dynamic binding
• A retrospective on region-based memory management
• Gaussian elimination: a case study in efficient genericity with MetaOCaml
• In search of a program generator to implement generic transformations for high-performance computing
• A modal analysis of staged computation
• Functional unparsing
• Comprehending monads
• Polymorphic type, region and effect inference
• A partial evaluator for the untyped lambda-calculus
• Combinators for program generation
• Monadic regions
• A hybrid approach to online and offline partial evaluation

This page was built for publication: Shifting the stage