Gencel: a program generator for correct spreadsheets

DOI10.1017/S0956796805005794MaRDI QIDQ5472311zbMATH OpenOpenAlexFDO

Authors Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein

Publication date 9 June 2006

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

Full work available at URL https://doi.org/10.1017/s0956796805005794

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Higher-Order Spreadsheets with Spilled Arrays
• Spreadsheet functional programming
• scientific article; zbMATH DE number 869743
• scientific article; zbMATH DE number 2043395
• Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm

Cited in

(5)

• Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
• Spreadsheet functional programming
• Gencel
• Deductive Spreadsheets Using Tabled Logic Programming
• Transforming spreadsheet data types using examples

Describes a project that uses

Uses Software

• Excel

This page was built for publication: Gencel: a program generator for correct spreadsheets

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