The Zipper

DOI10.1017/S0956796897002864MaRDI QIDQ4376491zbMATH OpenOpenAlexWikidataFDO

Authors Gérard Huet

Publication date 11 February 1998

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

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

zbMATH Keywords

functional arraysZipper

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Clowns to the left of me, jokers to the right (pearl)
• Generic Haskell: applications.
• Finger trees: a simple general-purpose data structure
• scientific article; zbMATH DE number 3845635
• scientific article; zbMATH DE number 2154394

Cited in

(45)

• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
• Proofs, upside down. A functional correspondence between natural deduction and the sequent calculus
• Inter-deriving semantic artifacts for object-oriented programming
• A formally verified compiler back-end
• Polynomial functors constrained by regular expressions
• Finiteness and rational sequences, constructively
• Comonadic notions of computation
• Types as graphs: Continuations in type logical grammar
• On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
• Incremental computing with abstract data structures
• A generic functional representation of sorted trees supporting attribution (Haskell can do it)
• A monadic framework for delimited continuations
• A static simulation of dynamic delimited control
• Attribute grammars as recursion schemes over cyclic representations of zippers
• The zipper foldings of the diamond
• A proof-centric approach to mathematical assistants
• Deletion: The curse of the red-black tree
• The locally nameless representation
• An optimal, purely functional implementation of the Garsia-Wachs algorithm
• Constructing language processors with algebra combinators
• Programming language semantics: It’s easy as 1,2,3
• The essence of ornaments
• Recognizing Strategies
• Zipping strategies and attribute grammars
• A survey of strategies in rule-based program transformation systems
• Partial bounding for recursive function synthesis
• Bottom-Up derivatives of tree expressions
• Idris, a general-purpose dependently typed programming language: Design and implementation
• A unified treatment of syntax with binders
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study
• Lazy tree splitting
• Indexed containers
• Efficiently deciding \(\mu\)-calculus with converse over finite trees
• Interleaving strategies
• Backward type inference for XML queries
• From reduction-based to reduction-free normalization
• Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
• Minimalist Grammars and Minimalist Categorial Grammars: Toward Inclusion of Generated Languages
• The next 700 program transformers
• Verification of the Schorr-Waite algorithm -- from trees to graphs
• Continuation passing style for effect handlers
• Doo bee doo bee doo
• Effect handlers via generalised continuations
• Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
• On graph rewriting, reduction, and evaluation in the presence of cycles

This page was built for publication: The Zipper

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