scientific article; zbMATH DE number 5136280

MaRDI QIDQ3430686zbMATH OpenFDO

Authors Ján Kollár, Jaroslav Porubän, Peter Václavík

Publication date 23 March 2007

zbMATH Keywords

monadsHaskellenvironment variablesstate transformersimperative functional programminglazy state evaluationprocess functional language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Lazy rewriting and eager machinery
• Efficient intensional implementation for lazy functional languages
• The semantics of lazy functional languages
• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
• scientific article; zbMATH DE number 675533
• \(\eta\)-equivalence in core dependent Haskell

Cited in

(3)

• scientific article; zbMATH DE number 1862079 (Why is no real title available?)
• scientific article; zbMATH DE number 2172811 (Why is no real title available?)
• Global variables in Haskell

Describes a project that uses

Uses Software

• Haskell

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 Q3430686)