scientific article; zbMATH DE number 5136280

zbMATH Open1139.68017MaRDI QIDQ3430686FDOQ3430686

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

Publication date: 23 March 2007

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Global variables in Haskell
• Title not available (Why is that?)
• Title not available (Why is that?)

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)