scientific article; zbMATH DE number 2086494

MaRDI QIDQ4736973zbMATH OpenFDO

Authors Dietmar Kreye

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2312/23120018.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A type-theoretic semantics of arrays
• A Compiler for an Array and Vector Processing Language
• Typed compilation of inclusive subtyping
• An array-oriented language with static rank polymorphism
• Extensible encoding of type hierarchies
• Supercompilation for datatypes

Cited in

(3)

• A Binding Scope Analysis for Generic Programs on Arrays
• An array-oriented language with static rank polymorphism
• Languages and Compilers for Parallel Computing

Describes a project that uses

Uses Software

• SmallEiffel

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736973)