scientific article; zbMATH DE number 1231610

zbMath0925.68292MaRDI QIDQ4222931

Zena M. Ariola, Amr Sabry

Publication date: 6 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Haskellstate monad

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

On generic context lemmas for higher-order calculi with sharing

Uses Software

• Haskell

This page was built for publication: