scientific article; zbMATH DE number 1380900

zbMath0939.68556MaRDI QIDQ4705620

Akihiko Takano, Erik Meijer

Publication date: 20 December 1999

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

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items (14)

A principled approach to programming with nested types in Haskell ⋮ Fusion for Free ⋮ Pruning with improving sequences in lazy functional programs ⋮ Shortcut fusion rules for the derivation of circular and higher-order programs ⋮ Programming from metaphorisms ⋮ Filter-embedding semiring fusion for programming with MapReduce ⋮ Structured handling of scoped effects ⋮ Selective strictness and parametricity in structural operational semantics, inequationally ⋮ Functional programs as compressed data ⋮ When is a function a fold or an unfold? ⋮ Fusion of recursive programs with computational effects ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Incremental Computing with Abstract Data Structures ⋮ Semantics and Pragmatics of New Shortcut Fusion Rules

This page was built for publication: