Typed path polymorphism

DOI10.1016/J.TCS.2019.02.018MaRDI QIDQ2424892zbMATH OpenOpenAlexFDO

Authors Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso

Publication date 25 June 2019

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2019.02.018

zbMATH Keywords

pattern matching\(\lambda\)-calculustype checkingstatic typingpath polymorphism

Mathematics Subject Classification ID

Data structures (68P05) Functional programming and lambda calculus (68N18)

Recommendations

• Type soundness for path polymorphism
• Efficient type checking for path polymorphism
• Polymorphic regular tree types and patterns
• A typed pattern calculus
• Programming Languages and Systems

Cites work

• scientific article; zbMATH DE number 2185708 (Why is no real title available?)
• scientific article; zbMATH DE number 5852776 (Why is no real title available?)
• scientific article; zbMATH DE number 1183236 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• An extension of system \(F\) with subtyping
• Computer Science Logic
• Efficient and flexible matching of recursive types
• Efficient recursive subtyping
• Efficient type checking for path polymorphism
• First-class patterns
• Functional and Logic Programming
• Fundamental properties of infinite trees
• Lambda calculus with patterns
• Pattern Calculus
• Programming Languages and Systems
• Semantics of typed lambda-calculus with constructors
• Subtyping recursion and parametric polymorphism in kernel Fun
• The rewriting calculus. II
• Type soundness for path polymorphism
• Typed Lambda Calculi and Applications
• Typed path polymorphism
• Types and programing languages
• Variations on the Common Subexpression Problem

Cited in

(5)

• Type soundness for path polymorphism
• Efficient type checking for path polymorphism
• Typed path polymorphism
• Polymorphic regular tree types and patterns
• Pure pattern calculus à la de Bruijn

Describes a project that uses

Uses Software

• cap-typechecking

This page was built for publication: Typed path polymorphism

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