A Binding Scope Analysis for Generic Programs on Arrays

DOI10.1007/11964681_13zbMath1236.68029OpenAlexW1580170210MaRDI QIDQ3623958

Sven-Bodo Scholz, Clemens Grelck, Alex Shafarenko

Publication date: 28 April 2009

Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11964681_13

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Dependently typed array programs don't go wrong

Uses Software

• Blitz++ library

This page was built for publication: A Binding Scope Analysis for Generic Programs on Arrays