Weaving a web

DOI10.1017/S0956796801004129MaRDI QIDQ3150211zbMATH OpenDBLPWikidataFDO

Authors Ralf Hinze, Johan Jeuring

Publication date 2001

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Weaving the exotic web
• Rigidity of webs.
• The string of nets.
• Weaves
• scientific article; zbMATH DE number 877622

Cited in

(4)

• Types as graphs: Continuations in type logical grammar
• A static simulation of dynamic delimited control
• A generic functional representation of sorted trees supporting attribution (Haskell can do it)
• Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching

This page was built for publication: Weaving a web

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