scientific article; zbMATH DE number 6917246

DOI10.4230/LIPIcs.TYPES.2015.6zbMath1433.68094arXiv1704.09026MaRDI QIDQ4580227

Eduardo Bonelli, Juan Edi, Andrés Viso

Publication date: 13 August 2018

Full work available at URL: https://arxiv.org/abs/1704.09026

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

zbMATH Keywords

pattern matching\(\lambda\)-calculustype checkingpath polymorphism

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Typed path polymorphism ⋮ Pure pattern calculus à la de Bruijn ⋮ Unnamed Item

Uses Software

• GitHub
• cap-typechecking

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lambda calculus with patterns
• An extension of system \(F\) with subtyping
• Type soundness for path polymorphism
• Subtyping recursion and parametric polymorphism in kernel Fun
• Efficient and flexible matching of recursive types
• First-class patterns
• Pattern Calculus
• Variations on the Common Subexpression Problem
• Efficient recursive subtyping
• Computer Science Logic
• Typed Lambda Calculi and Applications

This page was built for publication: